Symbolic Logic
Formal logic: propositional and predicate logic, proofs and models.
PHIL-220 Year 2 3 credits 5 lessons planned
Offered by HSM University · Philosophy
Course content
- 1Propositional logicComing
- 2Truth tablesComing
- 3Natural deductionComing
- 4Predicate logicComing
- 5Models and validityComing
Requirements
Recommended background. You can start any course at any time.
Description
Formal logic: propositional and predicate logic, proofs and models.
Part of the Arts & Social Sciences stream, typically taken in year 2.