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