MATH 3400 - Symbolic Logic

3 credit hours

(Same as PHIL 3400.) The elements of propositional calculus–propositional connectives and their truth functions, validity, proof, and an introduction to quantification theory. Where appropriate and natural, parallels from elementary set theory are introduced. May count for credit in Philosophy.

Click here for the Fall 2024 Schedule of Classes