Prerequisite: PHIL170 or CMSC250; or permission of ARHU-Philosophy department. Credit only granted for: PHIL271, PHIL370, or PHIL371.A review of propositional and predicate logic and related topics and an introduction to the semantics and metatheory of first-order logic.