|Undergraduate Course Details|
|Title||Symbolic Logic I: Propositional Logic|
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.