Using all 18 rules in natural deduction to answer 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
By OTA: Mia Wood, Ph D (ABD)
OTA Rating: 4.8/5
Your Price: $2.19 (original value ~$19.95)
What's included:
Page generated in 0.0152 seconds