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.
Answers (1)