PHIL 110 — : Introduction to Logic

This course introduces propositional and predicate logic. Topics include deductive and inductive reasoning, validity, truth tables, translations, quantifiers, and proofs. This course is open to any student, but it may be of particular interest to philosophy, math, and computer science majors.