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
Methods of proof (direct, contrapositive, contradiction)
Discrete math · STEM / applied
Topic
Methods of proof (direct, contrapositive, contradiction)
Undergraduate Discrete Math — scope drawn from LibreTexts Discrete Mathematics and typical US discrete mathematics syllabi (logic, sets, proofs, combinatorics, graphs).