document.write( "Question 1179977: 1. (O ⊃ R) ⊃ S\r
\n" ); document.write( "\n" ); document.write( "2. (P ⊃ R) ⊃ ~S / ~R
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #837752 by RBryant(14)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. (O ⊃ R) ⊃ S\r\n" );
document.write( "2. (P ⊃ R) ⊃ ~S   /  ~R\r\n" );
document.write( "----------------------------------------------------------\r\n" );
document.write( "3. ~S ⊃ ~ (O ⊃ R)                       1,   Trans\r\n" );
document.write( "4. (P ⊃ R) ⊃ ~ (O ⊃ R)                 2,3   H.S.\r\n" );
document.write( "5. ~ (P ⊃ R) v ~ (O ⊃ R)                4    Impl\r\n" );
document.write( "6. ~ (~P v R) v ~ (~O v R)               5    Impl\r\n" );
document.write( "7. (~ ~P • ~R) v (~ ~O • ~R)             6    DeM\r\n" );
document.write( "8. (P • ~R) v (O • ~R)                   7    D.N.\r\n" );
document.write( "9. [(P • ~R) v O] • [(P • ~R) v ~R]      8    Dist\r\n" );
document.write( "10. [(P • ~R) v ~R] • [(P • ~R) v O]     9    Comm\r\n" );
document.write( "11. (P • ~R) v ~R                       10    Simp\r\n" );
document.write( "12. ~R v (P • ~R)                       11    Comm\r\n" );
document.write( "13. (~R v P) • (~R v ~R)                12    Dist\r\n" );
document.write( "14. (~R v ~R) • (~R v P)                13    Comm\r\n" );
document.write( "15. (~R v ~R)                           14    Simp\r\n" );
document.write( "16. ~R                                  15    Taut\r\n" );
document.write( "                                                   QED \r\n" );
document.write( "

\n" ); document.write( " \n" ); document.write( "
\n" );