Mar 28, 2024  
2017-2018 Undergraduate Catalog 
    
2017-2018 Undergraduate Catalog [ARCHIVED CATALOG]

PHL 326 Symbolic Logic II: Predicate Logic

3 Credit(s) DI or DII
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. Prerequisite: PHL 226  or permission of Department Chairperson.