logic
Well-formed formulas
taught
Decide whether a string of symbols is a sentence of the language by the recursive formation rules.
Taught in
-
Well-formed formulas
Introduction to Logic
Requires
- alternative-logic-notations required
Required by
- Scope and parentheses 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.