Designed to make logic interesting and accessible—without sacrificing content or rigor—this classic introduction to contemporary propositional logic explains the symbolization of English sentences and
This clearly written book makes logic interesting and easier to learn without sacrificing content or rigor. It covers symbolization, proofs, counterexamples, and truth trees. These topics are presen