l3soln

# l3soln - CS 245 Winter 2009 Solution Set for Lecture 3...

This preview shows pages 1–3. Sign up to view the full content.

CS 245 Winter 2009 Solution Set for Lecture 3 Nissanke Ch. 3 Exercise 3.3 (p. 30) 1. p q ¬ p q T T T T F F F T T F F T 2. p q ¬ ( p q ) T T F T F T F T T F F T 3. p q ¬ p ∨¬ q T T F T F T F T T F F T 4. p q r q r p ( q r ) T T T T T T T F F F T F T F F T F F F F F T T T T F T F F T F F T F T F F F F T 5. In text. 1

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
Exercise 3.4 (p. 30) In text. Exercise 3.6 (p. 32-33) 1 . p p tautology 2 . p ∧¬ p contradiction 3 . p ( q p ) contingent 4 . p ∧¬ ( q p ) contradiction 5 . p ( q p ) tautology 6 . p q ⇔ ¬ p q tautology 7 . p q ∧¬ q contradiction 8 . p q ∧¬ q contingent 9 . p q ∨¬ q tautology 10 . p ( ¬ q q ) contingent Truth tables to illustrate most of the above answers are given below. The proposition Qn corresponds to the proposition in question n (e.g., Q 2 = p ∧ ¬ p ). The truth tables for questions 7, 8, and 9 are left for the reader (and are quite easy). p
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

### Page1 / 3

l3soln - CS 245 Winter 2009 Solution Set for Lecture 3...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online