document.write( "Question 668746: 1. ~~G
\n" ); document.write( "2. (P•Y)v(X->~W)
\n" ); document.write( "3. (P•Y)->~G
\n" ); document.write( "4. ~W->~G
\n" ); document.write( "/~X \n" ); document.write( "
Algebra.Com's Answer #415817 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.   ~~G\r\n" );
document.write( "2.   (P * Y) v (X -> ~W)\r\n" );
document.write( "3.   (P * Y) -> ~G\r\n" );
document.write( "4.   ~W -> ~G                  /~X\r\n" );
document.write( "-----------------------------------\r\n" );
document.write( "5.   ~~W                      4,1     Modus Tollens\r\n" );
document.write( "6.   ~(P * Y)                 2,1     Modus Tollens\r\n" );
document.write( "7.   X -> ~W                  2,6     Disjunctive Syllogism\r\n" );
document.write( "8.   ~X                       7,5     Modus Tollens\r\n" );
document.write( "
\n" ); document.write( "
\n" );