Ask Question
28 May, 03:43

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

+5
Answers (1)
  1. 28 May, 06:03
    0
    The answer is C. proof by theorem
Know the Answer?
Not Sure About the Answer?
Find 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 you're in doubt about the correctness of the answers or there's no answer, then try to use the smart search and find answers to the similar questions.
Search for Other Answers