Prerequisites/Corequisites:
Credit Hours: Min: 3; Max:
Description: This course is an introduction to formal symbolic logic. Includes a study of truth tables and natural deduction, in both propositional as well as predicate logic. Topics in the philosophy of logic covered as time permits.