(Image adapted from https://commons.wikimedia.org/wiki/File:8106-1ByrneTP.png, the title page to Oliver Byrne's 1847 edition of Euclid's Elements, public domain.)
Welcome to Prof. Baldwin’s proofs class (more formally, SUNY Geneseo’s spring 2019 Math 239 01, Introduction to Mathematical Proof). Use the links below to explore the course.
- Introduction
- Propositional Logic
- Predicate Logic
- Proof of Conditionals/Biconditionals
- Proof by Contradiction
- Proof by Cases
- Proof by Induction
- Sets
- Functions
- Equivalence Relations
- Infinite Sets