PHL245H1: Modern Symbolic Logic

Hours: 
36L

An introduction to formal deductive logic. Semantics, symbolization, and techniques of natural deduction in sentential logic. Symbolization, natural deduction, and models in monadic predicate logic. Symbolization and natural deduction with polyadic predicates. Introduction to advanced concepts in first-order logic, such as operations, identity, and models.

Exclusion: 

PHLB50H3, PHL245H5

Breadth Requirements: 
Thought, Belief and Behaviour (2)