| 1. ~W -> ~Z |
| 2. Q & (S -> W) |
| 3. (S -> ~P) -> ~S |
| 4. (~W & ~Z) & (T & S)
also: ~(W v Z) & (T & S) |
| 5. Q & (S & R)
also: (S & R) & Q |
| 6. S -> R |
| 7. (P & Q) & (P & Q -> ~S) |
| 8. (Z -> W) & (S -> ~W) -> ~(Z & S) |
| 9. S v T -> ~R & ~V
also: S v T -> ~(R v V) |
| 10. R & ~(R -> S) |
| 11. ~(P -> R) & ~(P -> Q)
also: ~((P -> R) v (P -> Q)) also: ~(P -> R v Q) |
| 12. (S v T) v (W v Z) [alternate parentheses ok] |
| 13. (S -> W v Z) & ((W -> S v Z) & (Z
-> S v W))
also: S v (W v Z) -> ((S & W) v (S & Z)) v (W & Z) |