← STEM / applied

Get started Book tutoring

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

Predicates and quantifiers

Discrete math · STEM / applied

Topic

Predicates and quantifiers

Practice by unit: Logic and proof

Undergraduate Discrete Math — scope drawn from LibreTexts Discrete Mathematics and typical US discrete mathematics syllabi (logic, sets, proofs, combinatorics, graphs).

Get started Book tutoring All topics