(2 credits) Prerequisite(s): PHL 131 or equivalent course in sentential logic. Course covers standard topics in predicate logic, including symbolization and proofs with monadic and relational predicates, demonstrating invalidity in predicate logic, and the logic of identity.