Author:
Howard Pospesel

ISBN 13:
9780130258496

ISBN 10:
130258490

Edition:
3

Publisher:
Pearson

Publication Date:
1999-11-06

Format:
Paperback

Pages:
276

List Price:
$60.20

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)