MathematicsCoreMTH-LOGIC-091
Inference Rules
modus ponens, modus tollens, hypothetical syllogism, reductio ad absurdum
- Difficulty
- 2 / 5
- Importance
- 4 / 5
- Study time
- 1.5–3 h
- Kind of work
- Theory
Why it matters
Provides the precise language of mathematical statements and the rules of valid reasoning underlying all proofs.
Where it is used
Formal verification, algorithm correctness, database queries, AI knowledge representation, clean reasoning in business decisions.
How you know you have learned it
Explain from memory in your own words + answer 2 transfer questions correctly.
Resources
- How to Prove It — Daniel Velleman Book