Introduction to Formal Logic
Description
An examination of classical propositional logic, covering proof methods, expressive completeness, soundness, and completeness. Also introduction to quantificational logic. Typical terms may not reflect online offerings.
Note: Check with the institution regarding start/end dates, prices, and delivery method. These may vary according to program, section, and/or semester.
Related Programs
Overview
- Institution: University of Waterloo
- Level: University
- Language: English
- Course Code: PHIL240
- Delivery Method: Entièrement en ligne/à distance
Disclaimer:
Check with the institution regarding start/end dates, prices, and delivery method. These may vary according to program, section, and/or semester.
Check with the institution regarding start/end dates, prices, and delivery method. These may vary according to program, section, and/or semester.