"One of the most careful and intensive among the introductory texts that can be used with a wide range of students. It builds remarkably sophisticated technical skills, a good sense of the nature of a formal system, and a solid and extensive background for more advanced work in logic. . . . The emphasis throughout is on natural deduction derivations, and the text's deductive systems are its greatest strength. Lemmon's unusual procedure of presenting derivations before truth tables is very effective." --Sarah Stebbins, The Journal of Symbolic Logic
In general a very good introduction to logic. Perhaps a little outdated now. I generally find natural deduction a bit frustrating when other methods seem to follow a simpler and less error-prone algorithm and are easier to learn! Also the layout of the book is terrible which doesnt do justice to some of the brilliant content. Some terminology is deliberately used in an incorrect way just for this book, for example validity and soundness; there is no good reason to do this and it just adds to someones confusion as they are learning the subject. On the positive side lots of exercises... on the negative side no answers!
Very good beginning textbook on logic. I used it for course I helped teach long ago. Moves at a reasonable pace. Probably easier to learn than most logic books covering symbolic logic, but may still need the help of a teacher or logic friend.
Lemmon is clear, concise, and no nonsense in his presentation of using well-formed formulas and rules to create a comprehensive system of symbolic logic.
Explains in a very clear way how to use propositional calculus in order to verify the validity of an argument. There are still some things I have difficulty with, and I might have to read some more stuff in order to be ready for my exam in logic on Feb 3rd.