http://www.ck12.org Chapter 2. Reasoning and Proof
12.
p→∼r
r
∴∼p
13.
∼q→r
q
∴∼r
14.
p→(r→s)
p
∴r→s
15.
r→q
r→s
∴q→s
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