College of Arts and Science
(same as LINGST 4110; cross-leveled with PHIL 7110, LINGST 7110). Presents the method of truth trees for sentence and predicate logic. Examines proofs concerning the decidability, soundness, and completeness of formal systems. Emphasizes the theory of formal systems. Math Reasoning Proficiency Course. Prerequisites: sophomore standing and PHIL 2700.