Principles of symbolic logic used in determining validity or invalidity of arguments. Fulfills: GE 1, GEMA; LASR. (3 cr. hr.) Frequency code O = offered occasionally
Student Learning Outcomes Upon successful completion of this course, students will be able to:
Express natural language statements in predicate logic using overlapping quantifiers.
Derive proofs using truth tables.
Derive proofs by natural deduction in first-order predicate logic.
