ln2-page14 - CD Ass DD 14 R 12,13 ! O 19 &O 19 &O...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. K ! [( M _ N ) ! ( P Q )] L ! [( Q K ) ! ( S N )] SHOW: ( K L ) !⇠ N K L SHOW: N N SHOW: 6 K L ( M _ N ) ! ( P Q ) ( Q K ) ! ( S N ) M _ N P Q Q Q K S N N 6 Pr Pr CD Ass ID Ass DD 1,8 ! O 2,9 ! O 6 _ I 10,12 ! O 11,15 ! O 6,17 6 I 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. ( M ! N ) ! ( K _⇠ J ) N SHOW: J ! K J SHOW: K SHOW: M ! N M SHOW: N N K _⇠ J ⇠⇠ J K Pr Pr CD Ass DD CD Ass DD 2R 1,6 ! O 4 DN 10,11 _ O 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. F ! [( C ! C ) ! G ] G ! { [ H ! ( E ! H )] ! ( K K ) } SHOW: F F SHOW: 6 ( C ! C ) ! G SHOW: C ! C C SHOW: C C G [ H ! ( E ! H )] ! ( K K ) SHOW: H ! ( E ! H ) H SHOW: E ! H E SHOW: H H K K K K 6 Pr Pr ID Ass DD 1,4 ! O CD Ass DD 8R 6,7 ! O 2,11 ! O CD Ass
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: CD Ass DD 14 R 12,13 ! O 19 &O 19 &O 20,21 6 I Heres a short, interesting problem that involves proving a conclusion without using any premises! 1. 2. 3. 4. 5. 6. SHOW: P ! [( P ! Q ) ! Q ] P SHOW: ( P ! Q ) ! Q P ! Q SHOW: Q Q CD Ass CD Ass DD 2,4 ! O Thats all there is to Unit 2. Time to dance. 14...
View Full Document

This note was uploaded on 11/22/2011 for the course PHIL 110 taught by Professor Bohn during the Spring '08 term at UMass (Amherst).

Ask a homework question - tutors are online