SOLUTION: 1. ~X>(~Y>Z) 2. Y>X 3. ~Z conclusion: X

Algebra ->  Proofs -> SOLUTION: 1. ~X>(~Y>Z) 2. Y>X 3. ~Z conclusion: X      Log On


   

Question 1132701: 1. ~X>(~Y>Z)
2. Y>X
3. ~Z
conclusion: X
Answer by solver91311(24713) About Me  (Show Source):
You can put this solution on YOUR website!

1.  ~X -> (~Y -> Z)
2.  Y -> X
3.  ~Z                   | X

4.  (~X & ~Y) -> Z       1   Importation
5.  ~(X V Y)  -> Z       4   De Morgan
6.  X V Y                3,5 Modus Tollens
7.  Assume Y
    8.  Therefore X      2   Modus Ponens
9.  Assume X
    10. Therefore X

John

My calculator said it, I believe it, that settles it