Proofs II, #9
derive F
1.
(A
&
B)
v
(C
&
~
D)
premise
2.
A
⊃
~
B
premise
3.
C
⊃
(D
v
F)
premise
4.
~A v ~B
C.E, 2
5.
~(A & B)
DeM. 4
6.
(C & ~D)
d.s. 1,5
7.
C
simp 6
8.
(D v F)
m.p. 3,7
9.
~D
simp 6
10.
F
d.s. 8, 9