SOLUTION: 1. (p ⊃ z) • (z ⊃ x) 2. (p ⊃ x) ⊃ ~s 3. n v s : . n

Algebra ->  Proofs -> SOLUTION: 1. (p ⊃ z) • (z ⊃ x) 2. (p ⊃ x) ⊃ ~s 3. n v s : . n      Log On


   

Question 1158177: 1. (p ⊃ z) • (z ⊃ x)
2. (p ⊃ x) ⊃ ~s
3. n v s : . n
Answer by Edwin McCravy(20055) About Me  (Show Source):
You can put this solution on YOUR website!
 1. (p ⊃ z) • (z ⊃ x)
 2. (p ⊃ x) ⊃ ~s
 3. n v s     : .    n

 4. p ⊃ z                  1, Simplification
 5. (z ⊃ x) • (z ⊃ x)     1, Commutation
 6. z ⊃ x                  5, Simplification
 7. p ⊃ x                  4,7, Hypothetical Syllogism
 8. ~s                     2,7, Modus Ponens
 9. s v n                  3, Commutation
10. n                      9,8, Modus Tollens

Edwin