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

Add to Portfolio (opens a new window)

PHIL 251 - Introduction to Formal Logic


Description:
An introduction to formal logic, focusing on propositional and predicate calculus. Logical operators, symbolization, truth functions, truth tables, natural deduction (including conditional and direct proofs), and quantifiers. Formerly PHIL 307, students may not receive credit for both.

Credits: (5)

Learner Outcomes:
Upon successful completion of this course, the student will be able to:

  • Symbolize English statements into formal logic, using the propositional and predicate calculus.
  • Classify and compare statements, and determine validity of arguments, by using the truth table method – for both the propositional and predicate calculus.
  • Use the method of natural deduction to derive the conclusions of valid arguments, in both the propositional and predicate calculus.

Learner Outcomes Approval Date:
1/9/20

Anticipated Course Offering Terms and Locations:
Fall Locations: Ellensburg



Add to Portfolio (opens a new window)