PHIL 213: Deductive Logic

Deductive Logic

PHIL 213: Deductive Logic
3

4

12 credits

English 099

This course is an introduction to sentential and predicate logic, with a special emphasis on the translation of natural language into formal language. This course covers syntax, symbolization, semantics, and formal deduction systems for first-order sentential and predicate logic.