logic-and-proof
Truth tables
taught
Taught in
-
Truth tables
Discrete Mathematics I — Logic, Proof, and Structure
-
Truth values and valuations
Introduction to Logic
Requires
- negation-conjunction-disjunction required
Required by
- Computing the truth value of a compound sentence required
- Exclusive or and other connectives required
- Tautologies, contradictions, and contingencies required
- The conditional statement 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.