Register to study through Unisa

Formal Logic II - COS2661

Under Graduate Degree Semester module NQF level: 6 Credits: 12
Module presented in English
Pre-requisite: COS1501 (or XOS1501)
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.