Goodreads helps you keep track of books you want to read.
Start by marking “Symbolic Logic: A First Course” as Want to Read:
To see what your friends thought of this book, please sign up.
Hardegree covers truth tables, sentential logic, and predicate logic in a simple and memorable way, with everyday language that is easy to understand. He gives the rules of his system of symbolic logic without using their traditional names for the most part. Most rules are named by the action that is performed in the inference; for example, instead of Addition, in which the reasoner has "P" and then infers "P v Q", Hardegree has "wedge in," and instead of modus ponens and modus tollens, he has " ...more
Jul 30, 2014 Ronald Lett rated it really liked it
Recommends it for: Undergraduates
A basic review of propositional and first-order predicate logic. The author engages the reader well, and offers down-to-earth examples for each new type of structure. Note that the text does not venture beyond basic predicate calculus: it is a good introductory text for students who may be unsure of the nature of mathematical proof, and would like to know what constitutes a sound argument to a mathematician.