Question

gGiven: p is true Prove: p → q is true Assume ~q is true. Then ~q → r, and r → s. Since s → ~p, ~q → ~p by the law of syllogism. Therefore, p → q is true.

Answer 1

Given: p is true Prove: p → q is true Assume ~q is true. Then ~q → r, and r → s. Since s → ~p, ~q → ~p by the law of syllogism. Therefore, p → q is true.what kind of prove is this

Answer 2

I would say it's proof by contrapositive, since you proved that \(p\rightarrow q\) is true by proving that \(\neg q\rightarrow\neg p\) is true.