SOLUTION: ~R>P (~P^S)^Z/R^S

Algebra ->  Proofs -> SOLUTION: ~R>P (~P^S)^Z/R^S      Log On


   

Question 1038285: ~R>P
(~P^S)^Z/R^S
Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!
 1. ~R>P
 2. (~P^S)^Z   / R^S

 3. ~P^S      2, Simplification
 4. ~P        3, Simplification
 5. ~P>~~R    1, Transposition
 6. ~P>R      5, Double negation
 7. R         6,4, Modus ponens
 8. S^~P      3, Comutation
 9. S         8, Simplification
10. R^S       7,9, Conjunction
    
Edwin