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