logic-and-proof
Translating English into symbolic logic
taught
Taught in
-
Translating English into symbolic logic
Discrete Mathematics I — Logic, Proof, and Structure
-
Symbolizing whole arguments
Introduction to Logic
Requires
- the-biconditional 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.