myUnisa | FAQs
UNISA Logo
Register to study through Unisa

Register to study through Unisa

Undergraduate & honours qualifications | Master's & doctoral degrees | Subjects & modules | Short Learning Programmes | Student policies & rules | Pay your study fees | Credits & exemptions for study units passed at other institutions | Map your qualification | Web registration

Formal Logic III - COS3761
Under Graduate Degree Year module NQF level: 7 Credits: 12
Module presented in English
Pre-requisite: COS2661
Purpose: To enable students to construct a number of different formal languages (such as opaque or transparent propositional languages, firstorder languages, sorted languages, modal languages and non-monotonic logics) and to solve problems of validity and truth for these languages.