COMP6262 Logic
S16 units6000-level
An introductory course in formal logic, dealing with propositional and predicate logic. Techniques of formal deduction and tests for the validity of arguments will be studied. Basic semantic concepts will be discussed.
- 2024S1
- 2025S1
- 2026S1
- 2027S1
Prerequisites in 2024
No prerequisites
None: anyone in a postgraduate program can enrol.
Incompatible with PHIL2080, COMP2620: you can't count both.
The handbook's original wording (2024–2027)
You are not able to enrol in this course if you have previously completed PHIL2080 or COMP2620 .
What it leads to in 2024
These courses name COMP6262 in their 2024 prerequisites: