DUE DATE CHANGED TO 2/26
THIS HOMEWORK ASSIGNMENT CANNOT BE TURNED IN LATE!
Because this assignment is due the class before the
test, the solutions will be covered in class the
day it is turned in, hence no late turn-ins will
be allowed.
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/26.
For all proofs, refer to my style guidelines.
This is page 6 from these notes:
http://www.cs.utexas.edu/~schrum2/cs301k/lec/topic05-proofs.pdf
3.1.3, 3.1.5 (pages 94)
3.2.2 (page 106)
Although you can NOT use truth tables, you can prove these
facts using either the methods described in the book chapter,
or using the rules of inference we discussed in class (or a combination).
3.2.9 (page 107)
3.3.6.a. (page 122)
Part a only
3.4.25 (page 135)