An introduction to formal mathematical proof. Topics include logical inference, statements involving quantifiers, indirect proof, and mathematical induction. We investigate proofs in a variety of disciplines but with a particular focus on set theory, combinatorics, and graph theory. Credit hours: 4. Prerequisite: MATH 1149.