

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 develops formal-proof, truth-table, and truth-tree techniques...
