Propositional Logic: Introduction to Logic

Howard Pospesel, with an Appendix on Metatheory by William G. Lycan

ISBN 10: 0131649973 / ISBN 13: 9780131649972

Published by Prentice Hall, Upper Saddle River, NJ, 1998

About this Item

Minor wear along the edges. Some rubbing wear to covers. Book may contain some residual odor from prior storage. Seller Inventory # 110062

Bibliographic Details

Title: Propositional Logic: Introduction to Logic

Publisher: Prentice Hall, Upper Saddle River, NJ

Publication Date: 1998

Binding: Soft cover

Condition: Very Good

Edition: 3rd Edition

About this title

Synopsis:

A fun yet challenging introduction to propositional logic, treating the symbolization of English sentences and developing formal-proof, truth-table, and truth-tree techniques for evaluating arguments. Material is organized around natural-deduction formal-proof procedures. Logic is applied to content commonly encountered by undergraduate students, with examples and exercises drawn from comics, newspaper articles, television, and textbooks. Each logical connective is the subject of one chapter, allowing students to master both symbolization and proof moves before tackling the next connective. This third edition contains new exercises and examples, a chapter on truth trees, and an appendix on metatheory. In this edition, derived rules are presented in two stages to facilitate learning. Annotation c. by Book News, Inc., Portland, Or.

From the Back Cover:

Key Benefit: 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 for evaluating arguments. Key Topics: 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 readily relate.