— Metalogic

Prerequisites & course information

Course Description: The metalogic of classical propositional and first-order predicate logic. Consistency, soundness and completeness of both propositional and predicate logic. The Löwenheim-Skolem theorem for predicate logic. Undecidablity of predicate logic. Learning Activities: Lecture/Discussion 4 hour(s). Grade Mode: Letter. General Education: Arts & Humanities (AH). Learning Activities: Lecture/Discussion 4 hour(s). Grade Mode: Letter. General Education: Arts & Humanities (AH).