PHIL 3400 - Symbolic Logic

3 credit hours

(Same as MATH 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 introduced.

Click here for the Spring 2024 Schedule of Classes