DUE DATE CHANGED TO 2/19 DUE TO INCLEMENT WEATHER
Do the following problems from DJV, and
show all work. Solutions must be hand-written
and turned in at the beginning of
class on 2/19
1.3.2, 1.3.4 (page 33)
2.1.2 (page 63)
2.2.3 (page 72)
For this problem, if the statement is false, you must provide a counter-example.
If the statement is true, you must specify all necessary variable assignments
to demonstrate this fact. Also, remember that we consider the natural numbers to
start with 0.
2.2.5 (page 72)
Use the definition of the abbreviation within a linear equivalence proof.
Also, prove the validity of the following
argument using rules of inference.
Problem X:
1. Q implies P
2. (not Q) implies (not R)
3. R
---------------------------
Therefore P