PHIL 1115
First-Order Logic
An introduction to formal logic. Study of the formal deductive systems and semantics for both propositional and predicate logic. Some discussion of metatheory. QR 0 Course cr HTBA
Sources
- Course catalogue ↗2026–2027
An introduction to formal logic. Study of the formal deductive systems and semantics for both propositional and predicate logic. Some discussion of metatheory. QR 0 Course cr HTBA