Proof Writing in Mathematics

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.