This preview shows pages 1–5. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: PHIL12A Section answers, 28 Feb 2011 Julian Jonker 1 How much do you know? Give formal proofs for the following arguments. 1. (Ex 6.18) 1 A B 2 A B Proof: 1 A B 2 A 3 A B Elim: 2 4 B 5 B 6 Intro: 4,5 7 B Intro: 56 8 A B Intro: 7 9 A B Elim: 1, 23, 48 1 2. (Ex 6.25) 1 A B 2 ( A B ) Proof: 1 A B 2 A B 3 A 4 A Elim: 1 5 Intro: 3,4 6 B 7 B Elim: 1 8 Intro: 6,7 9 Elim: 2, 35, 68 10 ( A B ) Intro: 2, 39 2 3. (Ex 6.27) 1 ( A B ) ( C D ) 2 ( B C ) ( D E ) 3 C ( A E ) Proof: 1 ( A B ) ( C D ) 2 ( B C ) ( D E ) 3 ( A B ) 4 A Elim: 3 5 ( B C ) 6 C Elim: 5 7 C ( A E ) Intro: 6 8 D E 9 E Elim: 8 10 A E Intro: 4, 9 11 C ( A E ) Intro: 10 12 C ( A E ) Elim: 2, 57, 811 13 C D 14 C Elim: 13 15 C ( A E ) Intro: 14 16 C ( A E ) Elim: 1, 312, 1315 3 4. 1 A ( B ( C D )) 2 ( A ( B C )) ( A ( B D )) Proof: 1 A ( B ( C D )) 2 A 3 A ( B C ) Intro: 2 4 ( A ( B C )) ( A ( B D )) Intro: 3 5 B ( C D ) 6 C D Elim: 5 7 C 8 B Elim: 5 9 B C Intro: 7, 8 10 A ( B C ) Intro: 9 11 ( A ( B C )) ( A ( B D )) Intro: 10 12 D 13 B Elim: 5 14 B D Intro: 12, 13 15 A ( B D ) Intro: 14 16 ( A ( B C )) ( A ( B D )) Intro: 15...
View Full
Document
 Spring '08
 FITELSON

Click to edit the document details