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 law of detachment
C.proof by theorem