Students engage in an introductory examination of contemporary symbolic or formal logic. Students explore the fundamentals of good reasoning by learning sentence and predicate logic. Students translate English sentences into logical notation, and use truth tables and derivations to demonstrate the validity of arguments.
Students engage in an introductory examination of contemporary symbolic or formal logic. Students explore the fundamentals of good reasoning by learning sentence and predicate logic. Students translate English sentences into logical notation, and use truth tables and derivations to demonstrate the validity of arguments.