1.

True or False

a) (x  )(y  )[ x  y  0]

b) (y  )(x  )[ x  y  0]
c) (x  )(y  )[ x  y  0]  (y  )(x  )[ x  y  0]
d) ~ {(x  )(y  )[ y 2  x]}  (y  )(x  )[ y 2  x]
e) (x  )(y  )(z  )[ x 2  y 2  z 2 ]

2. Tell whether the following arguments are valid or invalid.

All students are diligent

All diligent are successful.
 All students are successful.

3. Prove the validity of the following argument.

1. xJ ( x )  yk ( y )
2. x  J ( x)  K ( x)  / yK ( y )

4. State and prove the math induction principle.

5. Prove that for each positive integer n, 3n-2  2(8n ) is divisible by19.