logic
Derived rules: MT, DS, DNE, and De Morgan
taught
Use modus tollens, disjunctive syllogism, double negation elimination, and De Morgan as derived rules, each justified by a basic-rule proof.
Taught in
-
Derived rules: MT, DS, DNE, and De Morgan
Introduction to Logic
Requires
- proof-strategy-nd required
- modus-tollens-form required
- disjunctive-syllogism-form required
- de-morgans-laws required
Required by
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.