Mar 28, 2024  
2019-2020 Undergraduate Catalog 
    
2019-2020 Undergraduate Catalog [ARCHIVED CATALOG]

PHL 226 Symbolic Logic I: Propositional Logic

3 Credit(s)
This introductory course examines truth-functional logic, a branch of deductive logic. Students will learn how to symbolize English sentences into propositional logic and test arguments, sentences, and sets of sentences in proportional logic for truth-functional truth/falsity/indeterminacy, truth-functional equivalence, truth-functional consistency/inconsistency, truth-functional validity/invalidity, and truth-functional entailment. The methods used to test for those properties will include truth tables, natural deduction, and truth trees. Not open to students who have received credit for PHL325. Three lecture hours per week.