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]](toc.gif) ![[Index]](index.gif) ![[Glossary]](glossary.gif)
|
![[Courses by Subject]](crssbsub.gif) ![[Courses by Name]](crssbnme.gif) ![[Awards by Category]](awrdbctg.gif) ![[Awards by Name]](awrdbnme.gif) ![[Calendar Search]](search.gif)
|
Official electronic version updated on October 15, 1999
![[LAURIER HOME]](home.gif)
![[COMMENTS]](mailbutt.gif)
Comments to the Editor: M. Watson, Office of the Registrar