document.write( "Question 1158177: 1. (p ⊃ z) • (z ⊃ x)
\n" ); document.write( "2. (p ⊃ x) ⊃ ~s
\n" ); document.write( "3. n v s : . n \n" ); document.write( "
Algebra.Com's Answer #781316 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( " 1. (p ⊃ z) • (z ⊃ x)\r\n" );
document.write( " 2. (p ⊃ x) ⊃ ~s\r\n" );
document.write( " 3. n v s     : .    n\r\n" );
document.write( "\r\n" );
document.write( " 4. p ⊃ z                  1, Simplification\r\n" );
document.write( " 5. (z ⊃ x) • (z ⊃ x)     1, Commutation\r\n" );
document.write( " 6. z ⊃ x                  5, Simplification\r\n" );
document.write( " 7. p ⊃ x                  4,7, Hypothetical Syllogism\r\n" );
document.write( " 8. ~s                     2,7, Modus Ponens\r\n" );
document.write( " 9. s v n                  3, Commutation\r\n" );
document.write( "10. n                      9,8, Modus Tollens\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );