PHIL& 120 — Symbolic Logic
Introduction to first-order symbolic logic. Topics include symbolizing, truth tables, truth trees, proofs for sentence and predicate logic with identity, conditional and indirect proof, and invalidating interpretations. This class may include students from multiple sections. (Quantitative Skills, Natural Sciences, Elective)