CMU Campus
Undergraduate Programs      
Undergraduate Home Admissions and Financial Aid Research Opportunities Other Opportunities Degree Programs Course Descriptions Current Courses Honors Program Applying to Graduate School After Graduation Math Links
Undergraduate Courses 21-300
Basic Logic

Fall : 9 units

Propositional and predicate logic: Syntax, proof theory and semantics up to completeness theorem, Lowenheim Skolem theorems, and applications of the compactness theorem.

Prerequisites: 21-127 and (21-132 or 21-228 or 21-373 or 21-484).