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 paper.


  1. Using truth tables show that tex2html_wrap_inline16 is a tautology.
  2. Fill in the missing details to make the following a full dress proof that tex2html_wrap_inline18.
    eqnarray8

    By Metatheorem tex2html_wrap_inline20 , and hence tex2html_wrap_inline18.

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

Stephanie van Willigenburg