CS486 Applied Logic Assignment 6 Due Thursday, Mar 15, 2001

Reading: Please read Smullyan Chapter IV, p. 43-52 and p. 52-55.

Exercises:

1. Solve the odd exercises in the first group on p. 56.

2. Prove

"x[PxÉC]Û[($x)PxÉC]

from the second group on p. 56.

3. Show that over a finite domain, D={a₁,...,a_n}, the universal quantifier ("x)Px is equivalent to Pa₁ Ù Pa₂ Ù ... Ù Pa_n. Use semantic arguments of the kind on p. 49.