|
|
Nov 28, 2024
|
|
PHL 231 - Symbolic LogicCourse Units: 1.0 (TBD: Staff) An introduction to modern symbolic logic, focusing on translation, semantics and syntax for propositional and predicate logic. You will learn to translate natural language into the language of logic and vice versa, and study key concepts such as validity, consistency, proof, soundness and completeness. CC: HUM, QMR
Add to Portfolio (opens a new window)
|
|
|