Description

An introduction to symbolic logic with an emphasis on formal logical languages and natural deduction systems of logical proof. Students learn how to translate reasoning into a symbolic logical language and how to prove arguments valid with the precision of mathematics using formal systems of proof. Excerpts from the Syllabus: This …