Logic 108 Upd

is generally understood as an intermediate course in formal symbolic logic , building upon the foundations of propositional and predicate logic. The "108" designation often implies a course that is more rigorous than introductory offerings but still serves a broad audience (philosophy, mathematics, computer science, linguistics). The primary focus is on metatheory , proof strategies , and advanced quantificational logic , including identity and functions.

This paper introduces core concepts of propositional and predicate logic suitable for an introductory undergraduate course (Logic 108). It covers syntax and semantics, proof systems (natural deduction and resolution), soundness and completeness, decidability and complexity, and basic applications in mathematics and computer science. Examples and exercises are included to reinforce learning. logic 108

"Logic 108" typically refers to PHI 108: Logical and Critical Reasoning is generally understood as an intermediate course in