Introduction to Logic

Catalog description

This course introduces students to formal logic. Students will learn to recognize deductive and inductive arguments. They will translate English statements to the language of propositional deductive logic, construct truth tables, and use proof procedures such as natural deduction to demonstrate the validity of arguments. Common forms of inductive reasoning, such as analogical and probabilistic reasoning, may also be introduced. The formal reasoning skills acquired in this course may benefit students taking professional and graduate school admission tests. Semester(s) Offered: Fall, Spring, Summer