Mathematics

Kaelyn Hatfield

19 June, 12:30

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