logic-and-proof
Direct proof
taught
Taught in
-
Direct proof
Discrete Mathematics I — Logic, Proof, and Structure
-
Direct proof, contradiction, and contrapositive, revisited
Group Theory
Requires
- definitions-as-raw-material required
- divisibility-parity-remainders required
Required by
- Combinatorial proof required
- Existence proofs required
- Proof by cases required
- Proof by contradiction required
- Proof by contrapositive required
- Proving set identities two ways 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.