G. E. Critical Reasoning Requirement
Note that this is a competency requirement; it may also be fulfilled by exam.
The study of arguments, including basic principles of traditional logic together with an introduction to modern sentential logic. Topics include recognizing arguments, premises, conclusions, induction and deduction, fallacies, categorical syllogisms, sentential inference forms. (Every semester)
Sentential and Predicate Logic. Topics include symbolization, truth tables, truth trees, and derivations (natural deduction). Emphasis will be placed upon applications of this formal system to statements and arguments in ordinary language.
40 Logic for Mathematics and Computer Science (3)
Propositional calculus; first-order predicate calculus; mathematical proof; mathematical induction; fundamental set theory; relations and functions; applications to problems in mathematics and computer science. Prerequisite: Mathematics 11 or equivalent. This course satisfies the Logic Competency Requirement. (Every Spring)