Proofs II, #3
derive (A
⊃
B)
1.
M v Q
premise
2.
~(Q v S)
premise
3.
(M
⊃
~A)
premise
4.
~Q & ~S
DEM
2
5.
~Q
simp
4
6.
M
d.s.
1, 5
7.
~A
m.p.
3,6
8.
~A v B
disj
7
9.
(A
⊃
B)
C.E.
8