Back to Courses List

Undergraduate Course Details
Number PHL 226
Title Symbolic Logic I: Propositional Logic
Credits 3.0
Distribution DI/DII
Fall 2016 Classes
Sec Ref # Dates Days Times Location Instructor
01 2479 9/7/16 - 12/23/16 WF 10:50am - 12:05pm SB-108 William Cornwell


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.