Loyola University Chicago

Mathematics and Statistics

MATH 420: Mathematical Logic

Course Details
Credit Hours: 3
Prerequisites: MATH 313 or MATH 351 or permission of the instructor
Description:  This course will be a mathematical study of the concepts of truth and proof and how they relate to each other. The main topics to be covered are propositional logic, first order predicate logic, computability and undecidability results. Outcomes: Students will develop proof writing skills, expand mathematical literacy, understand the expressive power and limitations of propositional and predicate logics and learn the mathematical meaning of "truth" and "proof".