document.write( "Question 1042390: (PvQ)&R
\n" ); document.write( "(R&P)>S
\n" ); document.write( "(Q&R)>S
\n" ); document.write( "Therefore,
\n" ); document.write( "S \n" ); document.write( "

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

You can put this solution on YOUR website!
\r
\n" ); document.write( "\n" ); document.write( "

\r\n" );
document.write( " 1.  (P v Q) & R\r\n" );
document.write( " 2.  R & P -> S\r\n" );
document.write( " 3.  Q & R -> S        |  S\r\n" );
document.write( "\r\n" );
document.write( " 4.  P v Q                1  Conjunction Elimination\r\n" );
document.write( " 5.  R                    1  Conjunction Elimination\r\n" );
document.write( "|   6.  P                    ACP, Case 1\r\n" );
document.write( "|   7.  R & P             5, 6 Conjunction Addition\r\n" );
document.write( "|   8.  S                 7, 2 Modus Ponens\r\n" );
document.write( "|   9.  Q                    ACP, Case 2\r\n" );
document.write( "|  10.  Q & R             9, 6 Conjunction Addition\r\n" );
document.write( "|  11.  S                10, 3 Modus Ponens\r\n" );
document.write( "12.     S                 8, 11  Exhaustive cases\r\n" );
document.write( "\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" );