logic-and-proof
Valid arguments and rules of inference
taught
Taught in
-
Valid arguments and rules of inference
Discrete Mathematics I — Logic, Proof, and Structure
-
Conditional elimination and reiteration
Introduction to Logic
Requires
- de-morgans-laws required
- translating-english-to-symbolic-logic required
Required by
- What a proof must do 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.