Proofs
V - Solutions #5
Prove:
G
1.
A
⊃
B
premise
2.
A
⊃
~B
premise
3.
~A
⊃
G
premise
4.
~G
assump, ip
sp1
5.
~~A
mt
3,4
sp1
6.
A
DN
5
sp1
7.
B
mp
1,6
sp1
8.
~B
mp
2,6
sp1
9.
B & ~B
conj
7,8
sp1
10.
G
c.p.
4-9