MAT 231: INTRODUCTION TO LOGIC & SET THEORY

This course introduces to students the foundations of logic, set theory and mathematical symbols, and the axiomatic construction of numerable number systems using Peano’s Postulates and equivalence relations. The course serves as a bridge from the procedural and computational understanding of mathematics to a broad understanding encompassing logical reasoning, generalization, abstraction, axiomatic approach, and symbolical representations needed to produce formal proofs in other upper-level Mathematics courses. Topics include propositional logic, predicates and quantifiers, rules of inference, basic proof methods, naïve set theory, equivalence relations, functions, cardinality of sets, Peano’s postulates, mathematical induction, numerable number systems, and modular arithmetic. Prerequisite: University Placement, or a grade of C or better in MAT 102, MAT 121, or MAT 221.