Prove using classical logic that q &#x2192;<!-- → --> r , r &#x2192;<!-- → -->

Roland Manning

Roland Manning

Answered question

2022-06-10

Prove using classical logic that q r , r p c ¬ ( ¬ p q )

Answer & Explanation

Eleanor Luna

Eleanor Luna

Beginner2022-06-11Added 19 answers

Step 1
Assume ( ¬ p q ) and use ( E ) to derive ¬ p and q.
With q derive p, using ( E ) twice.
Step 2
Now use ( E ) to derive and conclude with ¬ ( ¬ p q ) using ( I ).
Note: the names of the rule are those of page 33.

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Discrete math

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?