document.write( "Question 1179972: Use an ordinary proof (not conditional or indirect) to solve the following arguments\r
\n" ); document.write( "\n" ); document.write( "1. O ⊃ (Q • N)
\n" ); document.write( "2. (N Ú E) ⊃ S/ O ⊃ S \n" ); document.write( "
Algebra.Com's Answer #838148 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( "1. O ⊃ (Q • N)\r\n" );
document.write( "2. (N v E) ⊃ S    / O ⊃ S\r\n" );
document.write( "\r\n" );
document.write( "3. O ⊃ (N • Q)    1, commutation\r\n" );
document.write( "4. O ⊃ N          3, simplification\r\n" );
document.write( "5. O ⊃ (N v E)    4, addition\r\n" );
document.write( "6. O ⊃ S          5,2, hypothetical syllogism\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );