document.write( "Question 1132701: 1. ~X>(~Y>Z)
\n" ); document.write( "2. Y>X
\n" ); document.write( "3. ~Z
\n" ); document.write( "conclusion: X \n" ); document.write( "

Algebra.Com's Answer #749801 by solver91311(24713) $\"\"$ $\"About$

You can put this solution on YOUR website!

\n" ); document.write( "

\r\n" );
document.write( "1.  ~X -> (~Y -> Z)\r\n" );
document.write( "2.  Y -> X\r\n" );
document.write( "3.  ~Z                   | X\r\n" );
document.write( "\r\n" );
document.write( "4.  (~X & ~Y) -> Z       1   Importation\r\n" );
document.write( "5.  ~(X V Y)  -> Z       4   De Morgan\r\n" );
document.write( "6.  X V Y                3,5 Modus Tollens\r\n" );
document.write( "7.  Assume Y\r\n" );
document.write( "    8.  Therefore X      2   Modus Ponens\r\n" );
document.write( "9.  Assume X\r\n" );
document.write( "    10. Therefore X                          \r\n" );
document.write( "								\r\n" );
document.write( "

\n" ); document.write( "John
\n" ); document.write( "

\n" ); document.write( "My calculator said it, I believe it, that settles it
\n" ); document.write( "

\n" ); document.write( "

\n" );