logic
Double negation
taught
Not-not-A is equivalent to A.
Taught in
-
Double negation and De Morgan's laws
Introduction to Logic
Requires
- check-equivalence-with-truth-tables required
Required by
- Chains of equivalences 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.