Reading, Writing and Discovering Proofs

Objectives: To develop the vocabulary, techniques and analytical skills associated with reading and writing proofs, and to gain practice in formulating conjectures and discovering proofs. Emphasis will be placed on understanding logical structures, recognition and command over common proof techniques, and precision in language. Topics Include: rules of formal logic, truth tables, role of definitions, implications, sets, existential and universal quantifiers, negation and counter-example, proofs by contradiction, proofs using the contrapositive, proofs of uniqueness and induction.