document.write( "Question 1130716: (M ∨ R) ⊃ ∼K
\n" ); document.write( "(G ⊃ ∼K) ⊃ C
\n" ); document.write( "G ⊃ (M ∨ R) /C \n" ); document.write( "
Algebra.Com's Answer #747534 by solver91311(24713)\"\" \"About 
You can put this solution on YOUR website!

\n" ); document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "1.  (M or R) -> ~K\r\n" );
document.write( "2.  (G -> ~K) -> C\r\n" );
document.write( "3.  G -> (M or R)           |  C\r\n" );
document.write( "\r\n" );
document.write( " 4.  Assume ~C \r\n" );
document.write( "      5.  ~(G -> ~K)              2,4 Modus Tollens\r\n" );
document.write( "      6.  G and K                 5 Definition of Implication\r\n" );
document.write( "      7.  G                       6 Simplification\r\n" );
document.write( "      8.  K                       6 Simplification\r\n" );
document.write( "      9.  ~(M or R)               1,7 Modus Tollens\r\n" );
document.write( "     10.  ~G                      3,9 Modus Tollens\r\n" );
document.write( "11.  ~C -> (G and ~G)        4,7,10\r\n" );
document.write( "12.  Therefore C             11 Tertium non datur\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" ); document.write( "
\n" );