Mathematics

Lorelai Butler

21 January, 23:58

Given: p is true

Prove: p → q is true

Assume p and ~q are both true. ~q → r, and r → ~p. Therefore, ~p and p cannot be true, so p and ~q cannot be true. 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 theorem