http://www.ck12.org Chapter 2. Reasoning and Proof
p→∼r r ∴∼p
13.
∼q→r q ∴∼r
14.
p→(r→s) p ∴r→s
15.
r→q r→s ∴q→s