logic
Proof format: lines, premises, and citations
taught
Write a proof as numbered lines, each a premise, an assumption, or a line justified by a rule citing earlier lines.
Taught in
-
Proof format: lines, premises, and citations
Introduction to Logic
Requires
- why-formal-proofs required
Required by
- Conditional elimination and reiteration required
- The conjunction 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.