HUNTERTUTORING

Logic and proof

Discrete math · Standard syllabus

Logic: propositions, truth tables, and logical equivalences

Objectives

  • Logic: propositions, truth tables, and logical equivalences
  • Predicates, quantifiers, and methods of proof (direct, contrapositive, contradiction)
  • Mathematical induction and strong induction

Study materials