logic
Longer formal proofs
taught
Combine basic and derived rules in longer proofs.
Taught in
-
Longer proofs
Introduction to Logic
Requires
- derived-dilemma-and-syllogism-rules required
- theorems-with-no-premises required
Required by
- From English passage to verdict 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.