Elementary Logic
A course in contemporary formal (symbolic) logic covering both propositional and predicate logic with identity. Students will learn to translate arguments into symbolic notation and then test validity using natural-deduction proof procedures, truth tables, truth trees, and counter examples. Fulfills the Quantitative Reasoning Part B requirement at UW-Madison, as well as the logic requirement at Edgewood College. Assumes a solid background in Algebra.
For a course focused on critical thinking and informal logic, see course #20809264, Introduction to Logic and Critical Thinking (previously called Reason in Communication), which fulfills the Quantitative Reasoning Part A requirement at UW-Madison as well as the logic requirement at Edgewood College.
For a course focused on critical thinking and informal logic, see course #20809264, Introduction to Logic and Critical Thinking (previously called Reason in Communication), which fulfills the Quantitative Reasoning Part A requirement at UW-Madison as well as the logic requirement at Edgewood College.