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 and , you may write down . In the rules of inference, it's understood that symbols like "" and "" may be replaced by any statements, including compound statements.
2. Double Negation. In any statement, you may substitute for or for (and write down the new statement).
3. Modus Tollens. If you know and , you may write down