An introductory course in formal logic, dealing with propositional and predicate logic. Techniques of formal deduction and tests for the validity of arguments will be studied. Basic semantic concepts will be discussed.

Upon completion of this course, students will have the knowledge and skills to:

1. Express reasoning problems using first order logical notation.
2. Construct natural deduction proofs in first order logic and translate between calculi.
3. Explain the relationship between rules of deduction and the semantics of logic.
4. Critically assess and compare philosophical views on issues arising from elementary logic.
5. Apply knowledge representation techniques to improve the efficiency of automated solution methods for logical problems.

Assignments (40%); Two 2-hour tests (30% each).

35 hours of lectures and 12 hours of tutorials

Completion of 12 units of MATH or COMP courses.

na