Course Description

A study of methods of proof used in mathematics. Formal proof topics include propositional calculus, predicate calculus, and several first order theories. Informal proof topics are drawn from number theory, set theory, and other areas of mathematics. Additional topics include introductions to writing mathematics, searching for mathematical content and sources, and careers in mathematics.

Course Textbook

The course follows from A Primer for Proof and Logic written by Holly P. Hirst and Jeffery L. Hirst.

Course Handouts

System L Handout

System K Handout

System L and System K Summary Sheet

System E and PA Handout