Describe any three inference rules
The Answer to the Question
is below this banner.
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