In this program
- Logic: propositions, truth tables, and logical equivalences
- Predicates and quantifiers
- Methods of proof (direct, contrapositive, contradiction)
- Mathematical induction
- Strong induction
Logic and proof
Logic: propositions, truth tables, and logical equivalences
Discrete math · Standard syllabus
Topic
Logic: propositions, truth tables, and logical equivalences
Undergraduate Discrete Math — scope drawn from LibreTexts Discrete Mathematics and typical US discrete mathematics syllabi (logic, sets, proofs, combinatorics, graphs).