|Undergraduate Course Details|
|Title||Symbolic Logic II: Predicate Logic|
|Prerequisites||PHL226 or permission of Department Chairperson|
This course introduces students to predicate logic and its unique form of writing deductive proof. Students will learn how to symbolize English sentences into predicate logic and test arguments, sentences, and sets of sentences in predicate logic for quantificational truth/falsity/indeterminacy, quantificational equivalence, quantificational consistency/inconsistency, quantificational validity/invalidity, and quantificational entailment. The methods used to test for those properties will include natural deductions and truth trees. In addition, students will learn the basics of Aristotelian syllogisms and how to use Venn Diagrams to test these syllogisms for validity/invalidity. Not open to students who have received credit for PHL325. Three lecture hours per week.