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

Algebra.Com
Question 1132701: 1. ~X>(~Y>Z)
2. Y>X
3. ~Z
conclusion: X
Answer by solver91311(24713)   (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
RELATED QUESTIONS

2x+3y-z x=2 y=-3... (answered by ikleyn)
Show that each of the arguments is valid by deriving the conclusion from the given... (answered by Solver92311)
x+y+z =1 {{{x^2+y^2+z^2}}} = 35 {{{x^3+y^3+z^3}}} = 97 (answered by Alan3354)
x/6+y/2+z/6=1/2 x+y+z=5 x/3+y/2+z/6=1 (answered by ikleyn)
x/6+y/2+z/6=1/2 x+y+z=5... (answered by Boreal,MathTherapy)
Construct a regular proof to derive the conclusion of the following argument: 1. X >Y... (answered by Edwin McCravy)
x^2+y^2+z^2=2(x+z-1) then the value of... (answered by ikleyn)
1/x + 2/y - 4/z = 1 2/x + 3/y + 8/z = 0 -1/x + 9/y + 10/z = 5 then solve x, y and... (answered by Fombitz)
solve for x,y and z 1. x+y-2z=5 2. x+z=4 3.... (answered by Alan3354)