logic
The disjunction rules
taught
Use disjunction introduction, and disjunction elimination by proof by cases.
Taught in
-
The or rules
Introduction to Logic
Requires
- subproofs-and-conditional-introduction required
- addition-form required
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.