Back to Courses List

Undergraduate Course Details
Number PHL 226
Title Symbolic Logic I: Propositional Logic
Credits 3.0
Distribution DI/DII

Description

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.