document.write( "Question 1187346: 1. (O ⊃ C ) ● (∼S ⊃ ∼D)
\n" ); document.write( " 2. (E ⊃ D) ● (∼E ⊃ ∼C ) / O ⊃ S
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #818363 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( " 1. (O ⊃ C ) ● (∼S ⊃ ∼D)\r\n" );
document.write( " 2. (E ⊃ D) ● (∼E ⊃ ∼C )      / O ⊃ S\r\n" );
document.write( "\r\n" );
document.write( " 3. O ⊃ C                  1, Simplification\r\n" );
document.write( " 4. (∼S ⊃ ∼D) ● (O ⊃ C )  1, Commutation\r\n" );
document.write( " 5. ∼S ⊃ ∼D               4, Simplification\r\n" );
document.write( " 6. ~~D ⊃ ~~S              5, Transposition\r\n" );
document.write( " 7. D ⊃ S                  6, Double negation\r\n" );
document.write( " 8. E ⊃ D                  2, Simplification\r\n" );
document.write( " 9. (∼E ⊃ ∼C) ● (E ⊃ D )  2, Commutation\r\n" );
document.write( "10. ∼E ⊃ ∼C               9, Simplification\r\n" );
document.write( "11. ~~C ⊃ ~~E             10, Transposition\r\n" );
document.write( "13. C ⊃ E                 11, Double negation\r\n" );
document.write( "14. O ⊃ E                 3,13, Hypothetical syllogism\r\n" );
document.write( "15. O ⊃ D                 14,8, Hypothetical syllogism\r\n" );
document.write( "16. O ⊃ S                 16,7, Hypothetical syllogism\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );