Introduction to Symbolic Logic

3 credits

An introduction to the syntax and semantics of propositional and first-order predicate logic; natural language translations and logical form; truth tables; semantic trees, natural deduction systems. ***Prerequisite: PHIL 150, or PHIL 100, or a mathematics course, or permission of Department Head.*** *Note: Students can only receive credit for one of PHIL 250, PHIL 251, or PHIL 352.