LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science

This second edition improves upon the first by offering a more detailed treatment of key topics and by expanding the set of problems and exercises. In particular, four new features deserve mention. First, the book now includes a more thorough exposition of natural deduction, explaining how derivations can be represented as trees of formulas. Second, it provides a detailed explanation of the main proof methods, illustrated with examples. Third, it offers a separate exposition of the logic of...