logic
Modus tollens
taught
If P then Q; not Q; so not P.
Taught in
-
Modus ponens and modus tollens
Introduction to Logic
Requires
- modus-ponens-form required
Required by
- Denying the antecedent required
- Derived rules: MT, DS, DNE, and De Morgan required
- Destructive dilemma required
- Drawing the conclusion a conditional allows required
Local knowledge map
Local knowledge map
Click to expand
Solid arrows are required prerequisites; dashed are recommended or helpful. Lower rows are more foundational. Click any box to jump to that concept.