COS2661 - Formal Logic II
This module covers the syntax and semantics of propositional and first-order logic. Students will learn to construct proofs and understand the principles of deduction and resolution in formal logic.
This module covers the syntax and semantics of propositional and first-order logic. Students will learn to construct proofs and understand the principles of deduction and resolution in formal logic.