Question 1158177
<pre>
 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</pre>