Skip to main content

MAT 210 - Symbolic Logic I

Department: Mathematics

Description: Introduction to proof theory. Formal deductive systems, especially propositional logic and predicate logic. Properties of deductive systems, such as consistency and completeness. MAT 210 and PHI 210 are equivalent; Repeat policy will apply.

Credit Hours: 3

This course has no upcoming offerings. Please contact the department if you have questions about when this will be offered.