An introduction to the analysis of arguments using the theory and techniques of formal logic. The theory underlies most formal systems, including computer applications. Students learn such concepts as deduction and induction and how to prove that arguments are valid or invalid.
Credit Hours: 3 hrs Terms Offered: Fall and Winter