logic-and-proof
Why the domain of discourse matters
taught
Taught in
-
Why the domain of discourse matters
Discrete Mathematics I — Logic, Proof, and Structure
Requires
- universal-quantifier required
- existential-quantifier required
Required by
- Negating quantified statements required
- Nested quantifiers 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.