Logic is concerned with the evaluation of arguments. This module introduces a natural deduction system for propositional logic, truth-tables, and a number of formal techniques to evaluate arguments. Students will learn how to translate English sentences into symbolic notation in propositional logic and vice versa, and to assess the validity of arguments in this notation. They will also learn practical applications of the formal machinery.