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
This note was uploaded on 09/19/2011 for the course PHILOS 12A taught by Professor Fitelson during the Spring '08 term at Berkeley.
 Spring '08
 FITELSON

Click to edit the document details