Formal logic as a tool for mathematical proofs. Propositional calculus: Boolean expressions, logic connectives, axioms, and theorems. Predicate calculus: universal and existential quantification, modeling English propositions. Set theory. Introduction to mathematical induction.