|
Mar 28, 2024
|
|
|
|
PHIL 307 - 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.
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: 5/3/2012
Add to Portfolio (opens a new window)
|
|