document.write( "Question 1171729: 1. ~ A v ~ S Basic Assumption
\n" ); document.write( "2. ~ ~ S Basic Assumption
\n" ); document.write( "3. (A => ~ O) & (~ O => A) Basic Assumption
\n" ); document.write( "4. (~ O => ~ S) v A Basic Assumption / A => ~ S\r
\n" ); document.write( "
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #797194 by mccravyedwin(407)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( " 1. ~ A v  ~ S					Basic Assumption		\r\n" );
document.write( " 2. ~ ~ S				        Basic Assumption\r\n" );
document.write( " 3. (A => ~ O) & (~ O => A) 			Basic Assumption		\r\n" );
document.write( " 4. (~ O => ~ S) v A				Basic Assumption			 \r\n" );
document.write( "                         / A => ~ S\r\n" );
document.write( "\r\n" );
document.write( " 5. ~ S v ~ A         1, Commutation \r\n" );
document.write( " 6. ~ A               5,2, Disjunctive syllogism\r\n" );
document.write( " 7. A v (~ O => ~ S)  4, Commutation\r\n" );
document.write( " 8. ~ O => ~ S        7,6, Disjunctive syllogism                   \r\n" );
document.write( " 9. A => ~ O          3, Simplification\r\n" );
document.write( "10. A => ~ S          9,8, Hypothetical syllogism\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );