Proof Writing in Mathematics

Prerequisite: A C- or higher in WC&IL II or HON 1000; and MATH 1130 or higher or a score of 570+ in SAT Mathematics or a score of 24+ in ACT Mathematics or an appropriate score on the placement test.

An introductory upper division course in proof writing and mathematical logic which covers sentential logic and first order logic and will include the methodology of writing proofs in mathematics and communicating these proofs effectively to an audience. The course will examine logic from both the syntactic and semantic perspectives. Topics include an introduction to proof methods and the deductive calculus, tautologies and validities, the soundness and completeness theorems, translation of English sentences into logic, inference rules such as universal and existential instantiation and generalization, mathematical induction, and the presentation of a theorem with lemmas and corollaries for publication.

Credit: 3