Course Number
PHL-231-01
Course Description
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.
Academic Term
Instructor
Cruz Tleugabulova, Maite
Location & Meeting Time
Karp Hall-002+ M/W/F 08:00AM-09:05AM LEC
Credits
1.00
Capacity
20
Total Students
14
Additional Information