3 Prerequisite:MATH 1710, 1720, PHIL 3900 or permission of instructor Description: Development of propositional logic and truth tables, rules of implication, replacement, validity and invalidity, predicate logic, quantification, relation between logic and mathematics.