logic-and-proof
De Morgan's laws
taught
Taught in
-
De Morgan's laws
Discrete Mathematics I — Logic, Proof, and Structure
-
Double negation and De Morgan's laws
Introduction to Logic
Requires
- logical-equivalence required
Required by
- Chains of equivalences required
- Derived rules: MT, DS, DNE, and De Morgan required
- Negating quantified statements required
- Valid arguments and rules of inference 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.