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. (QS,NS)
At a Glance
P (2.0 or higher) in MATH 090/091 or equivalent.