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 100 or completion of 15 credit hours.*** *Note: Students may receive credit for one of PHIL 290AO or PHIL 352.*