| Under Graduate Degree | Year module | NQF level: 6 | Credits: 12 |
| Module presented in English | Module presented online | ||
| Pre-requisite: COS1501 | |||
| Purpose: To introduce students to the syntax of propositional language and the truth functionality of first order logic, enabling them to deal with proofs for validity via deduction and resolution in an interpreted first-order language. | |||