For the following proof, indicate from which steps each inference is drawn and by which rule the inference is made. ~[(A . B) v C] ~(D v ~A) // ~(B v…

For the following proof, indicate from which steps each inference is drawn and by which rule the inference is made.
~[(A . B) v C]
~(D v ~A) // ∴
~(B v D)
~(A . B) . ~C
~C
~D .~~A
~D
~(A . B)
~A v ~B
~~A
~B
~B . ~D
~(B v D)

"Get 15% discount on your first 3 orders with us"
Use the following coupon
"FIRST15"

Order Now