Designed to make logic interesting and accessible withoutsacrificing content or rigor this classic introduction tocontemporary propositional logic explains the symbolization of Englishsentences and develops formal-proof, truth-table, and truth-tree techniquesfor evaluating arguments. Organizes content around natural-deduction formal-proof procedures, truth tables, and truth trees. Also presents logical statement connectives gradually, one per chapter, and finally, increases readers' awareness of the arguments they read and hear every day by providing examples of actual arguments to which they can readilyrelate.
An introduction to propositional logic (specifically, proofs, truth tables, and truth trees) that uses examples culled from newspapers, magazines, television, etc. in an attempt to show students how to assess the worth of arguments. The CD-ROM contains Proplogic 1.0, a tutorial program that illustrates how to symbolize, construct proofs of validity, build truth tables, and create truth trees. Annotation c. Book News, Inc., Portland, OR (booknews.com)