SOLUTION: 1. ~ A v ~ S Basic Assumption 2. ~ ~ S Basic Assumption 3. (A => ~ O) & (~ O => A) Basic Assumption 4. (~ O => ~ S) v A Basic Assumption / A => ~ S

Algebra ->  Proofs -> SOLUTION: 1. ~ A v ~ S Basic Assumption 2. ~ ~ S Basic Assumption 3. (A => ~ O) & (~ O => A) Basic Assumption 4. (~ O => ~ S) v A Basic Assumption / A => ~ S       Log On


   

Question 1171729: 1. ~ A v ~ S Basic Assumption
2. ~ ~ S Basic Assumption
3. (A => ~ O) & (~ O => A) Basic Assumption
4. (~ O => ~ S) v A Basic Assumption / A => ~ S



Answer by mccravyedwin(406) About Me  (Show Source):
You can put this solution on YOUR website!
 1. ~ A v  ~ S					Basic Assumption		
 2. ~ ~ S				        Basic Assumption
 3. (A => ~ O) & (~ O => A) 			Basic Assumption		
 4. (~ O => ~ S) v A				Basic Assumption			 
                         / A => ~ S

 5. ~ S v ~ A         1, Commutation 
 6. ~ A               5,2, Disjunctive syllogism
 7. A v (~ O => ~ S)  4, Commutation
 8. ~ O => ~ S        7,6, Disjunctive syllogism                   
 9. A => ~ O          3, Simplification
10. A => ~ S          9,8, Hypothetical syllogism

Edwin