Waiting for answer This question has not been answered yet. You can hire a professional tutor to get the answer.

# 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)**