logic
The conjunction rules
taught
Use conjunction introduction and conjunction elimination.
Taught in
-
The and rules
Introduction to Logic
Requires
- fitch-proof-format required
- conjunction-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.