Description
Introduction to systematic techniques for assessing the validity of arguments: translations, truth tables, propositional calculus, rules of inference, transformation rules, indirect proofs, and abbreviated truth tables. Prerequisite: Grade of C- or higher in MATH 078E. Formerly PHIL 220, Symbolic Logic. |