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={a1,...,an}, the universal quantifier ("x)Px
is equivalent
to Pa1 � Pa2
� ... � Pan.� Use semantic arguments of the kind on p. 49.