The second quiz will be administered in OS 415.  It will cover Propositional Logic
(to p. 223).  To prepare for the exam, you should memorize the propositional
natural deduction rules summarized on pp. 557-559.  In your natural deduction proofs,
be sure to number lines and supply justifications for  derived lines by citing line
numbers and rules.  An outline of the exam follows:

====================================================================

                                              Name:  _____________________________________

Symbolic Logic Quiz 2
Wednesday, November 14, 2001

The exam is closed book.   Unless stated otherwise, put your answers in your blue book.
Be sure to put your name on this sheet and the blue book, and turn both in at the end
of the exam.  Please do not discuss the exam with anyone until it is returned.

A. Each of the following counts 10 points.  Define:
   (1)
    :
   (7)
 

B. Using the natural deduction system, prove each of the following:
   (1) (10 points)
   (2) (20 points)