Epicuro e a ~D

D ↔ (O ^ B)

M ↔ (Q ^ ~P) v (P ^ ~Q)

(P ^ ~Q) → ~B

(Q ^ ~P) → ~O

M

____________________

~D