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.