This course is an introduction to formal logic, both propositional and predicate logic including identity. It
covers translation from natural language, truth tables, truth trees, and functions. We also consider the adequacy of the truth tree method.