3.00 Credits
Prerequisites: PHIL 2900, MATH 1710, 1720 or permission of instructorDescription: Development of propositional logic and truth tables, rules of implication, replacement, validity and invalidity, predicate logic, quantification, relation between logic and mathematics.