20+Practice+Midterm+Solutions

20+Practice+Midterm+Solutions - Handout #20 April 18, 2011...

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

View Full Document Right Arrow Icon
Handout #20 CS103 April 18, 2011 Robert Plummer Practice Midterm Solutions 1. Propositional Logic (20 points) 1. (W P) I 2. I (C S) 3. S U 4. ¬C ¬U 5. U Simplification, 4 6. S Modus tollens, 3, 5 7. C Simplification, 4 8. C S Conjunction, 6,7 9. (C S) De Morgan's, 8 10. I Modus tollens, 9, 2 11. (W P) Modus tollens, 10, 1 12. W P De Morgan's, 11 13. W Simplification, 12 2. Proof with Quantifiers (20 points) 1. x ( P(x) y(S(y) L(x, y)) ) 2. x (P(x) y(C(y) ¬L(x, y))) 3. Let c be an object such that ( P(c) y(S(y) L(c, y)) Exist. Inst., 1 4. P(c) Simplification, 3 5. y (S(y) L(c, y)) Simplification, 3 6. Suppose a is an arbitrary object 7. Suppose S(a) 8. S(a) L(c, a) Universal Inst., 5 9. L(c, a) Modus ponens, 6, 7 10. P(c) y(C(y) L(c, y)) Universal Inst., 2 11. y(C(y) L(c, y)) Modus ponens, 4, 10 12. C(a) L(c, a) Universal Inst., 11 13. C(a) Modus tollens, 12, 9 14. x(S(x) ¬ C ( x ) ) G e n e r a l C o n d i t i o n a l P r o o f , 6 - 1 4
Background image of page 1

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

View Full DocumentRight Arrow Icon
2 3. Equivalences (16 points) Each of the sentences in the left column is equivalent to a sentence in the right column.
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 06/01/2011 for the course EE 103 taught by Professor Plummer during the Spring '11 term at Stanford.

Page1 / 4

20+Practice+Midterm+Solutions - Handout #20 April 18, 2011...

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

View Full Document Right Arrow Icon
Ask a homework question - tutors are online