logic
Theorems: proofs with no premises
taught
Prove a sentence from no premises at all, such as excluded middle.
Taught in
-
Theorems: proofs with no premises
Introduction to Logic
Requires
- proof-strategy-nd required
Required by
- Longer 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.