Phl 325 Introduction to Formal Logic II, Predicate Logic

Continuation of Phl 324 Introduction to Formal Logic. Primary emphasis will be on formal methods for dealing with arguments involving the terms "all" and "some." Major topics include the method of deduction for showing predicate logic arguments valid, and the method of counter- example for showing such arguments invalid.