Course: PHIL 230. Introduction to Formal Logic (3)
Prerequisites: Completion of the lower division writing requirement; GE section B4 Mathematics/Quantitative Reasoning or MATH 210. Introduction to modern deductive logic, including sentential and first-order logic. Students will learn how to translate from English to symbolic language, and will use truth tables, proofs, and other techniques to determine the validity of arguments and identify other logical properties. (Available for General Education, Basic Skills A3 Critical Thinking.)