Publication Date

Spring 2018


This text is intended to serve as an IBL style workbook to be used in an undergraduate introductory proof writing course. It covers direct, contrapositive, contradiction, biconditional, existence, uniqueness, induction, and set equality proofs while also covering fundamental topics from number theory, elementary real analysis, functions, and sets with infinite cardinality. It is assumed that the audience has attained a degree of mathematical maturity and has had some exposure to sets and logic, but knowledge of calculus or linear algebra is not required.

Document Format


Creative Commons License

Creative Commons Attribution-Noncommercial 4.0 License
This work is licensed under a Creative Commons Attribution-Noncommercial-Share Alike 4.0 License.

Educational Audience

College Lower Division, College Upper Division

Writing Mathematical Proofs 2017.pdf (484 kB)
pdf of previous edition of text - Spring 2017 (4697 kB)
zip file containing LaTeX version of Spring 2018 text

Included in

Mathematics Commons