Credit Hours: 3Formulation of precise definitions and their negations using propositional and predicate logic; argument analysis and proof techniques including induction; number theory; and sets, relations, functions, directed graphs and elementary counting arguments. Requirement(s): Passing score on placement test or prerequisite course Prerequisite: MTH 1000 or MTH 1001 or MTH 1010 or MTH 1702