Math 2090.03 N Assignment 1
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
- 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
Stephanie van Willigenburg