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.
Credits
3
Notes
Course may be taken for graduate credit.