logic
Conditional and biconditional equivalences
taught
Rewrite conditionals and biconditionals with the equivalences A→B ≡ ¬A∨B, contraposition, and ↔ as two conditionals.
Taught in
-
Conditional and biconditional equivalences
Introduction to Logic
Requires
- check-equivalence-with-truth-tables required
- the-biconditional 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.