[Calendar Home Page] Wilfrid Laurier University - 2004-2005 Undergraduate Academic Calendar

Course Description

PY204 Formal Logic 0.5

An introduction to first order logic, including the propositional calculus and quantification theory. The basic notions studied are consistency, validity, proof, truth and counter-example. The relationship between natural language and formal logic will be discussed.†

[Table of Contents] [Index] [Glossary]
[Courses by Subject] [Courses by Name] [Calendar Search]

Official electronic version updated at 10:33 a.m. March 31, 2005

LAURIER Home COMMENTS M Watson, Editor Course Timetable Class Timetable Registrar's Site]