Skip to main content
Courses

MATH-M 384: LOGIC (3 credits)

About

Construction and study of formal mathematical languages. Definitions of, and relationships between, the notions of truth and provability of a formal sentence. Proof systems for logical systems such as propositional logic and syllogistic logic. Soundness, completeness, and decidability.

Resources