This introductory text on the essentials of symbolic logic, criticizes the idea that formal training is not a precondition of the ability to reason effectively.
Simpson's handbook is a clear and concise primer on introducing symbolic logic as a practice. Computer Science majors and Mathematics majors who need a start on the two disciplines should look into a Symbolic Logic Course or two and completion of this book. Simpson is very easy to understand and his natural deduction methodology is a good way to construct and validate simple proofs without much a priori knowledge. I had a lot of fun and enjoyment reading this book and doing the outlined exercises. Following through on every exercises faithfully (at least once) will greatly increase your confidence in logic and latter comparison of answers may further your delight; however, though he does not allow for answers to be printed in the book, repetition and practice allows for consolidation and revelation. Frequent breaks and repeated trials will yield much progress as with any discipline. Please enjoy! Simpson's introductory is one of my favorites!
A decent introduction to, well, the essentials. I found the author's style pretty opaque and the derivations difficult to follow, but I'm willing to grant some benefit of the doubt having never ready an other symbolic logic books.