|
|
|
Feb 01, 2025
|
|
PHI 111 - Symbolic Logic Principles of symbolic logic used in determining validity or invalidity of arguments. Fulfills: GE 1: LASR. (3 cr. hr.)
Frequency code O = offered occasionally
Student Learning Outcomes
Upon successful completion of this course, students will be able to:
- Express natural language statements in predicate logic using overlapping quantifiers.
- Derive proofs using truth tables.
- Derive proofs by natural deduction in first-order predicate logic.
Add to Portfolio (opens a new window)
|
|
|
