PHIL 2502 FORMAL LOGIC
The formal study of arguments, including deductive validity and soundness, logical entailment, translating statements and arguments in English into propositional logic and predicate logic, truth tables, and derivations.
Prerequisite
MATH*0901 or MATH*0902 or Placement out of these Developmental Math Courses