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
Pedeferri, Andrea
Location & Meeting Time
Karp Hall-002+ M/W/F 09:15AM-10:20AM LEC
Credits
1.00
Capacity
20
Total Students
20
Additional Information