Class Schedule Home

PHIL& 120 SYMBOLIC LOGIC • 5 Cr.

Department

Philosophy

Description:

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