logic
Subproofs and conditional introduction
taught
Open a subproof with an assumption, close it with conditional introduction, and cite only lines still available.
Taught in
-
Subproofs and conditional introduction
Introduction to Logic
Requires
Required by
- Contradiction and the negation rules required
- The biconditional rules required
- The disjunction rules 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.