Introduction to Logic: Propositional Logic

Pospesel, Howard; Lycan, William G.

ISBN 10: 0131649973 / ISBN 13: 9780131649972

Published by Prentice Hall, 1997

About this Item

mostly clean, unmarked pages, clean covers, good binding. Seller Inventory # 4650 11282023

Bibliographic Details

Title: Introduction to Logic: Propositional Logic

Publisher: Prentice Hall

Publication Date: 1997

Binding: Soft cover

Condition: Good

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 Publisher:

An introduction to the fundamental branch of symbolic logic -- the logic of statements.