document.write( "Question 1035372: 1. S.R
\n" ); document.write( "2. S>X
\n" ); document.write( "3. X>~R /:. (X.S).(~RvW) \n" ); document.write( "

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

You can put this solution on YOUR website!

\n" ); document.write( "

\r\n" );
document.write( "1.  S & R\r\n" );
document.write( "2.  S -> X\r\n" );
document.write( "3.  X -> ~R  | :. (X & R) & (~R v W)\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "Contradictory premises.  \r\n" );
document.write( "\r\n" );
document.write( "4  R         1 Conjunction Elimination\r\n" );
document.write( "5  S         1 Conjunction Elimination\r\n" );
document.write( "6  X         5, 2 Modus Ponens\r\n" );
document.write( "7  ~R        6, 3 Modus Ponens\r\n" );
document.write( "\r\n" );
document.write( "7 contradicts 4\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" );