21-300 Basic Logic

9 units, Carnegie Mellon University

Propositional and predicate logic: Syntax, proof theory and semantics up to completeness theorem, Lowenheim Skolem theorems, and applications of the compactness theorem. (Three 50 minute lectures)

Prerequisites: 15-251 or 21-373 or 21-228

Offered: Fall 2026, Fall 2025

Courseweave needs JavaScript to show sections, workloads and planning tools.