Share
Explore BrainMass

Using the 18 Rules of Natural Deduction in Proofs

* represents dot and > represents horse shoe

#1
1. Av(B*C)
2. A>B / B

#2
1.A=B
2.AvB
3.A>(B>C) /C

#3
1. M*T
2.(M*D)>K
3.(K*T)>~D /~D

#4
1.(A*B)>(C*D)
2.(DV~A)> E*F
3.~F /~B

$2.19