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

Question

30 December, 14:46

+4

Answers (1)

Know the Answer?

Shaun Neal · Answer 1

The answer is C. proof by theorem

Given: p is trueProve: p _ q is trueAssume 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 contradictionB. proof by law of detachmentC. proof by theorem