document.write( "Question 1179973: Use an ordinary proof (not conditional or indirect) to solve the following arguments.\r
\n" ); document.write( "\n" ); document.write( "1. (O ⊃ R) ⊃ S
\n" ); document.write( "2. (P ⊃ R) ⊃ ~S/ ~R \n" ); document.write( "
Algebra.Com's Answer #809761 by Edwin McCravy(20055)\"\" \"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 ⊃ ~(P ⊃ R)        2, transposition\r\n" );
document.write( " 4. S ⊃ ~(P ⊃ R)          3, double negation\r\n" );
document.write( " 5. (O ⊃ R) ⊃ ~(P ⊃ R)    1,4, hypothetical syllogism\r\n" );
document.write( " 6. (~O v R) ⊃ ~(P ⊃ R)   5, material implication\r\n" );
document.write( " 7. (~O v R) ⊃ ~(~P v R)   6, material implication    \r\n" );
document.write( " 8. (~O v R) ⊃ (~~P • ~R)  7, deMorgan's law\r\n" );
document.write( " 9. (~O v R) ⊃ (P • ~R)    8, material implication\r\n" );
document.write( "10. ~(~O v R) v (P • ~R)   9, material implication\r\n" );
document.write( "11. (~~O • ~R) v (P • ~R)  10, deMorgan's law\r\n" );
document.write( "12. (O • ~R) v (P • ~R)    11, double negation\r\n" );
document.write( "13. (O v P) • ~R           12, distribution\r\n" );
document.write( "14. ~R • (O v P)           13, commutation\r\n" );
document.write( "15. ~R                     14, simplification\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );