MATH 52603 — 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. Graduate degree credit will not be given for both MATH 42503 and MATH 52603 . Prerequisite: MATH 26103 , MATH 28003 , or PHIL 22003 . (Typically offered: Fall) This course is cross-listed with PHIL 52503 .
Prerequisites: MATH 26103, MATH 28003, PHIL 22003