Symbolic Logic Proof?
Any help is greatly appreciated thanks. I need help finishing this proof using any of the 18 implication and explication rules (MT,MP,DS,HS,Simp, Conj, Add, CD, Double Negation,DeMorgan's,Commutation,Associat… Contraposition, Implication, Exportation, Tautology, and Equivalence)
1. A
2. If A then B
3. If C then D
...
Therefore, B or D
More Questions From This User See All
Answers & Comments
Verified answer
1. A
2. A > B
3. C > D
4. B.........1,2, MP
5. B v D....4, Add