The goal of the textbook is to provide the reader with a set of tools and skills that will enable them to identify and evaluate arguments. Students will learn to formalize reasoning logic, mathematical induction, a deduction theorem for propositional logi