[Calendar Home Page] Wilfrid Laurier University - 2002/2003 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]

DRAFT electronic version updated at 1:45 p.m. January 30, 2003

[LAURIER Home Page] [COMMENTS] M. Watson, Editor [Course Timetable] Course Timetable