logic
From English passage to verdict
taught
Take an English passage all the way: reconstruct, symbolize, test by table, then prove it or give a countermodel.
Taught in
-
From English to verdict
Introduction to Logic
-
Cumulative review
Introduction to Logic
Requires
- longer-formal-proofs required
- short-method-for-validity required
- diagram-longer-arguments required
Required by
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.