Symbolic Logic I

Catalog description

An exposition of the ideas and techniques of modern symbolic logic including several formal systems to distinguish between valid and invalid arguments and discussion of the foundations of arithmetic and set theory. Satisfies the LAS and Compass Curriculum Quantitative and Qualitative Reasoning requirement as a logic course when taken by a student who has either 1) successfully completed MATH 1040 (or a mathematics course that has college algebra as a prerequisite), OR 2) scored 87% or higher on the College Algebra placement test and scored 50% or higher on the Business Calculus placement test.