due January 29th, 1999

INSTRUCTIONS: This assignment is due January 29th 1999, in class. Groups may hand in a single assignment paper. The maximum group size is 4.

The assignments must have the name and York number of all group members listed at the top of the paper.

- Using truth tables show that is a tautology.
- Fill in the missing details to make the following a full dress proof that .

By Metatheorem , and hence .

- Give a full dress proof that . You may use any of the axioms given in Chapter 3.