Solution to Describe any three inference rules - Sikademy
Author Image

Archangel Macsika

Describe any three inference rules

The Answer to the Question
is below this banner.

Can't find a solution anywhere?

NEED A FAST ANSWER TO ANY QUESTION OR ASSIGNMENT?

Get the Answers Now!

You will get a detailed answer to your question or assignment in the shortest time possible.

Here's the Solution to this Question

1. Modus Ponens. If you know P and P\to Q, you may write down Q. In the rules of inference, it's understood that symbols like "P" and "Q" may be replaced by any statements, including compound statements.


2. Double Negation. In any statement, you may substitute P for  \neg\neg P or  \neg\neg P for P (and write down the new statement).


3. Modus Tollens. If you know \neg Q  and P\to Q , you may write down  \neg P.

Related Answers

Was this answer helpful?

Join our Community to stay in the know

Get updates for similar and other helpful Answers

Question ID: mtid-5-stid-8-sqid-659-qpid-544