SOLUTION: I have to construct a proof in propositional logic. 1.(Z>C) � A 2. D v (C>D) 3. ~ D /~ZvP The > represents the horseshoe meaning if then, only if.

Question 1030684: I have to construct a proof in propositional logic.
1.(Z>C) � A
2. D v (C>D)
3. ~ D /~ZvP
The > represents the horseshoe meaning if then, only if.
Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!


 1.(Z>C) � A
 2. D v (C>D)
 3. ~ D        /~ZvP

 4. D v (~C v D)      2, Material implication    

 5. D v (D v ~C)      4, Commutation

 6. (D v D) v ~C      5, Association

 7. D v ~C            6, Tautology or Idempotent 

 8. ~C                7, 3, Disjunctive syllogism  

 9.  Z > C            1, Simplification

10. ~Z                9,8, Modus Tollens

11. ~Z v P            10, Addition    

Edwin

RELATED QUESTIONS
Proof by Natural Deduction � Propositional Logic. Use a direct proof to show that the... (answered by robertb)

Construct a proof using any basic rules and replacement rules. 1.(A v F) horseshoe ~(B � (answered by Edwin McCravy)

can i have help solving this proof please? Construct a regular proof to derive the... (answered by jim_thompson5910)

What is the proof of: 1. D horseshoe Q 2. ~D v ~Q /... (answered by tinbar)

I am having trouble solving the following propositional logic proofs. 1. Conclusion:... (answered by jim_thompson5910)

Here is a proof that I have been unable to solve. I can solve it using Indirect Proof... (answered by richard1234)

Hi there, I'd love some help on answering these Logic Proof Questions: 1. 1. T > O (answered by math_tutor2020)

Construct a proof in Natural Deduction for the following argument. Show the proof. Do... (answered by jim_thompson5910)

I need help finishing this proof. A v (~B v ~C), A -> (D -> E), ~(~B v ~D) :. C -> (D -> (answered by jim_thompson5910)