document.write( "Question 227925: I need help finishing this proof.
\n" ); document.write( "Pv~R,~R->S,~P|- S&~R\r
\n" ); document.write( "\n" ); document.write( "1 (1) Pv~R A
\n" ); document.write( "2 (2) ~R->S A
\n" ); document.write( "3 (3) ~P A \n" ); document.write( "

Algebra.Com's Answer #169325 by jim_thompson5910(35256) $\"\"$ $\"About$

You can put this solution on YOUR website!

\r\n" );
document.write( "1.  P v ~R \r\n" );
document.write( "2.  ~R -> S\r\n" );
document.write( "3.  ~P             / S & ~R \r\n" );
document.write( "---------------------------\r\n" );
document.write( "4.  ~R                     1,3    Disjunctive Syllogism\r\n" );
document.write( "5.  S                      2,4    Modus Ponens\r\n" );
document.write( "6.  S & ~R                 5,4    Conjunction\r\n" );
document.write( "

\n" ); document.write( "

\n" );