Introduction to Logic and Proof

Revised: November 2006

Course Description

An introduction to the principles of logic and the methods of proof necessary for the successful study of mathematics. Two semester hours.

Objectives

   1. To introduce students to principles of logic and methods of proof used in mathematical reasoning.

   2. To provide students with practice in communicating mathematical ideas and arguments, both verbally and orally.

Text

Ted Sundstrom, Mathematical Reasoning: Writing and Proof, Prentice Hall, 2003.

Grading Procedure

Grading procedures and factors influencing course grade are left to the discretion of individual instructors, subject to general university policy.

Attendance Policy

Attendance policy is left to the discretion of individual instructors, subject to general university policy.

Course Outline

• Chapter 1: Logic and Proofs (MWF18 days; TR 12 days)
        Sections 1-6 - Propositions and connectives, conditionals, biconditionals, quantifiers, mathematical proofs, proofs involving quantifiers.
• Chapter 2: Set Theory (MWF 9 days; TR 6 days)
        Sections 1,2,4 - Introduction to set theory and set operations, mathematical induction.

* Note: Because it is a two-hour course, classes typically meet MWF or TR for only ten weeks with final examination following a week later.