Question

Analyze the proof below and answer the question that follows.

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 type of proof is illustrated above?

A.
proof by contradiction
B.
proof by contraposition
C.
proof by law of detachment
D.
proof by law of syllogism

help