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.
Cruz Tleugabulova, Maite
Location & Meeting Time
Synchronous Online-ONLI M/W/F 09:20AM-10:25AM LEC