Ask Question
24 July, 23:06

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

+1
Answers (1)
  1. 25 July, 01:57
    0
    The answer is C. proof by theorem
Know the Answer?
Not Sure About the Answer?
Get an answer to your question ✅ “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 ...” in 📙 Mathematics if there is no answer or all answers are wrong, use a search bar and try to find the answer among similar questions.
Search for Other Answers