logic
The biconditional rules
taught
Use biconditional introduction (two subproofs) and biconditional elimination.
Taught in
-
The biconditional rules
Introduction to Logic
Requires
Required by
- Strategy for formal proofs 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.