This course is an introduction to formal mathematics. In this course the study of formal logic is used to write rigorous proofs of mathematical statements. Concepts from Sets, Logic, formal Proofs, and an introduction to other topics in higher mathematics will be studied. It will stress the development of proof writing skills and includes techniques like direct proof, proof by contradictions, proof by contrapositive, rules of inference, induction and more! Q.E.D. an abbreviation of the latin phrase quod erat demonstrandum, loosely translated to “what was to be demonstrated” is a declaration that one has established a mathematical truth. Explore the wonderful world of formal mathematics and you too can declare Q.E.D!