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.