Phl 324 Introduction to Formal Logic I

A course in basic formal logic. Major topics include the method of deduction for showing propositional arguments valid and the method of counter-example for showing such arguments invalid. Truth table methods, tests for consistency, and syllogistic arguments are optional topics.