1.

Prove the validity of the following argument

x A( x)  y [ B ( y )  C ( y )]
x D( x)  y B(y)
x [A( x )  D( x)] /  x [A( x)  D( x)]  y C ( y )

2. Tell whether the ff. argument are valid or invalid.

A) No mathematician is illogical
No illogical person is responsible
 No mathematician is responsible

B) All mortals are prone to errors

No god is prone to error
 No mortal is god.

3. Prove by Math induction

a) Prove that (1  2) 2 n  (1  2) 2 n is an even integer and that

(1  2) 2 n  (1  2) 2 n  b 2 for some positive integer b and for all n > 1.
4n (2n)!
b) Prove that  for all natural numbers n>1.
n  1 (n !)2
c) Prove that (Binomial Theorem) if x and y are two variables and n is a
natural number, then
( x  y ) n  C (n,0) x n  C (n,1) x n 1 y  ...  C (n, r ) x n r y r  ...  C ( n, n) y n ,
n!
where C (n, r )  .
r !(n  r )!