Answer Key for Suggested Exercises
Note: These answers are just one particular way to construct each proof; there may be
several ways. If you have a proof constructed differently than one of these that you would
like me to check, please post it to the board and I will do so. Thanks
7.1
Part III
1.
1.
~C > (A>C)
2.
~C /~A
3.
A>C 1,2 MP
4.
~A 2,3 MT
2.
1.
F v (D>T)
2.
~F
3.
D /T
4.
D>T 1,2 DS
5.
T 3,4 MP
3.
1.
(K*B)v(L>E)
2.
~(K*B)
3.
~E /~L
4.
L>E 1,2 DS
5.
~L 3,4 MT
4.
1.
P > (G > T)
2.
Q > (T > E)
3.
P
4.
Q / G > E
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document5.
G > T 1, 3, MP
6.
T > E 2, 4, MP
7.
G > E 5, 6, HS
5.
1.
~W > [~W>(X>W)]
2.
~W /~X
3.
~W > (X>W) 1,2 MP
4.
X>W 2,3 MP
5.
~X 2,4 MT
6.
1.
This is the end of the preview.
Sign up
to
access the rest of the document.
 Spring '08
 notsure

Click to edit the document details