Math 2090.03 N Assignment 3
due March 5th, 1999
INSTRUCTIONS: This assignment is due March 5th 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
Any axiom may be used. Lower numbered theorems may be used in the proof of a higher numbered
- Give a full dress proof that ( 3.76 d)) using
proof technique 4.1.
- Give a full dress proof of modus ponens ( 3.77), i.e. using the Deduction Theorem (4.4).
- Give a full dress proof that using Proof
by Cases (4.5). You are allowed to use theorems upto and including Theorem 3.40.
Stephanie van Willigenburg