MATH 42503 — Symbolic Logic I
Rigorous analyses of the concepts of proof, consistency, equivalence, validity, implication, and truth. Full coverage of truth-functional logic and quantification theory (predicate calculus). Discussion of the nature and limits of mechanical procedures (algorithms) for proving theorems in logic and mathematics. Informal accounts of the basic facts about infinite sets. Prerequisite: MATH 26103 , MATH 28003 , or PHIL 22003 . (Typically offered: Fall) This course is cross-listed with PHIL 42503 .
Prerequisites: MATH 26103, MATH 28003, PHIL 22003