{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

Problem_Set_4_solutions

# Problem_Set_4_solutions - V83.0070 Logic Fall 2007 Matt...

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

V83.0070 Logic Fall 2007 Matt Kotzen Problem Set 4 Solutions 5.2E: 1b) Assumption Assumption Assumption 2,3 &I 1,4 E 3-5 I 2-6 I 1d) Assumption Assumption Assumption Assumption 3,4 &I 1,5 E 6 &E 2,7 E 5 &E or 3 R 4-9 E 3-10 I 1f) Assumption Assumption Assumption Assumption Assumption Assumption 1,6 E 4,7 E 8 &E 6-9 I 5,10 E Assumption Assumption 12 R 3 &E 13-15 E

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

View Full Document
2, 5-11, 12-16 E 17 I 1h) Assumption Assumption 1 &E 2,3 E 4 I Assumption Assumption 1 &E 7,8 E Assumption 1 &E 10, 11 E 6, 7-9, 10-12 E 2-5, 6-13 I 2b) On line 4, we need to use &E to get “P” from line 2, then use E to get “S (A&B)” from “P” and line 1, before we use E. 2d) On line 5, E does not permit going from “ ∼∼ M” to “M.” 2f) On line 7, “K” should appear in the subderivation (within the scope of “K”), rather than in the main derivation. 5.4E: 3b) 1 |R&(C& F) Assumption 2 |(R S) ⊃∼ W Assumption 3 |R 1 &E 4 |R S 3 I 5 | W 2,4 E 3d) 1 |(A F)&(F D) Assumption 2 |[(M H) C] A
This is the end of the preview. Sign up to access the rest of the document.
• Spring '08
• KOTZEN
• Montreal Metro, Assumption Assumption Assumption, 1 2 3 4 5 6 7 8 9 3j, 1 2 3 4 5 6 7 8 9 10 11 13j, Matt Kotzen

{[ snackBarMessage ]}