MATH 468 Symbolic Logic

Introduction to truth, validity and argument. Methods of deduction, propositional functions and quantifiers, logic of relations, deductive systems, and propositional calculus.