1

2
3
4
5
6
C

P -> T
~Q
~Q -> L
QvL 2,3 IMP
L
4 Simpl
T
1 Simpl
LvT 5,6 Add

1
2
3
4
C

~D
M -> D
~M -> K
~M 1,2 MT
K
3,4 MP

1
2
3
4
5
6
C

~(HvJ) -> (O*Q)

~H
~J
~H*~J 2,3 Conj
~Hv~J 4 DM
O*Q
1,4 MP
Q
6 Simp

Possible Forms
(MP)
P -> Q
P
Q

(MT)
P -> Q
~Q
~P

(HS)
P -> Q
Q -> R
P ->R

(DS)
PvQ
~P
Q

(Conj)
P
Q
P*Q

(Simp)
P*Q

(Add)
P

PvQ

(CD)
PvQ
P -> R
Q -> S
RvS
(DN)
P = ~ ~P

(Com)
P*Q = Q*P

(Exp)
(P*Q) -> R = P -> (Q -> R)

(Contra)
P -> Q = ~Q -> ~P
(DM)
~(P*Q) = ~Pv~Q
~(PvQ) = ~P*~Q

(Imp)
PvQ = ~P -> Q