logic
Checking equivalence with truth tables
taught
Two sentences are equivalent when their columns match on every row of a shared truth table.
Taught in
-
Checking equivalence with truth tables
Introduction to Logic
Requires
- logical-equivalence required
- build-complete-truth-table required
Required by
- Commutative, associative, and distributive laws required
- Conditional and biconditional equivalences required
- Double negation 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.