document.write( "Question 237510: I need help completing this proof for my deductive logic class?\r
\n" ); document.write( "\n" ); document.write( "1. (O . P)--> Q
\n" ); document.write( "2. R --> (Q -->S)
\n" ); document.write( "3. O . R (Conclusion) P --> S \n" ); document.write( "
Algebra.Com's Answer #174688 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.   (O . P) -> Q\r\n" );
document.write( "2.   R -> (Q -> S)\r\n" );
document.write( "3.   O . R               / P -> S\r\n" );
document.write( "-------------------------\r\n" );
document.write( "4.   O                          3     Simplification\r\n" );
document.write( "5.   R . O                      3     Commutation\r\n" );
document.write( "6.   R                          5     Simplification\r\n" );
document.write( "7.   O -> (P -> Q)              1     Exportation\r\n" );
document.write( "8.   P -> Q                     7,4   Modus Ponens\r\n" );
document.write( "9.   Q -> S                     2,6   Modus Ponens\r\n" );
document.write( "10.  P -> S                     8,9   Hypothetical Syllogism\r\n" );
document.write( "
\n" ); document.write( "
\n" );