natural deduction ex1 - Exercises for Natural Deduction 1....

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

View Full Document Right Arrow Icon
Exercises for Natural Deduction 1. (P v S) (E F) 2. (P v T) (G H) 3. (P v U) (E v G) 4. P / F v H 5. P v S ______ 6. E F ______ 7. P v T _______ 8. G H _______ 9. P v U ________ 10. E v G ________ 11. (E F) • (G H) _______ 12. F v H ________
Background image of page 1

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

View Full DocumentRight Arrow Icon
Background image of page 2
1. (P v S) (E F) 2. (P v T) (G H) 3. (P v U) (E v G) 4. P / F v H 5. P v S 4, Add 6. E F 1, 5, MP 7. P v T 4, Add 8. G H 2, 7, MP 9. P v U 4, Add 10. E v G 3, 9, MP 11. (E F) • (G H) 6, 8, Conj 12. F v H 10, 11, CD
Background image of page 3

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

View Full DocumentRight Arrow Icon
1. (R H) • (S I) 2. (~H • ~L) (R v S) 3. ~H • (K T) 4. H v ~L / I v M 5. ~H ______ 6. ~L ______ 7. ~H • ~L ______ 8. R v S ______ 9. H v I ______ 10. I ______ 11. I v M _____
Background image of page 4
1. (R H) • (S I) 2. (~H • ~L) (R v S) 3. ~H • (K T) 4. H v ~L / I v M 5. ~H 3, Simp
Background image of page 5

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

View Full DocumentRight Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 11/26/2011 for the course COMPUTER S 1003 taught by Professor Angelosstavrou during the Spring '11 term at King Saud University.

Page1 / 15

natural deduction ex1 - Exercises for Natural Deduction 1....

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

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