CS 2233 Discrete Mathematical Structures – Fall 08
9/12/08
2. Homework
Due 9/22/08 before class
Please refer to the corresponding exercise sections in the textbook (Rosen, 6th edition).
Half the credit for all proofs on this homework assignment will be for the correct
structure and the good documentation of the proofs. So, please make sure that
you specify what type of proof you use, what claim you are proving (what logical
formula does it correspond to?), and document every step in your proof (why can you
infer something from what you wrote before? Why is it true?).
1.6 (page 85)
(a) (2 points) 6
(b) (2 points) Prove 16 using an indirect proof (i.e., a proof by contrapositive)
(c) (2 points) Prove 16 using a proof by contradiction
(d) (3 points) 26
(e) (3 points) 30
1.7 (page 102)
(a) (3 points) 4
(b) (2 points) 6
(c) (2 points) 12