http://www.ck12.org Chapter 2. Reasoning and Proof
12.
p→∼r
r
∴∼p13.∼q→r
q
∴∼r14.p→(r→s)
p
∴r→s15.r→q
r→s
∴q→s http://www.ck12.org Chapter 2. Reasoning and Proof
p→∼r
r
∴∼p13.∼q→r
q
∴∼r14.p→(r→s)
p
∴r→s15.r→q
r→s
∴q→s