PHILOS 009 - Symbolic Logic I
- Recent Professors
- Not yet assigned
- Recent Semesters
- No scheduled sections on record
- Class Size
- Not published
- Credits
- 3
- Transfers To
- CSU
- Description
- Students analyze techniques for representing truth-functional statements using letters and symbols, determining the validity of arguments using such statements, and demonstrating validity through formal proofs using a natural deduction system. Covers both sentential and predicate logic.
