Introduction to Logic: Predicate Logic Paperback - 2002 - 2nd Edition
by Pospesel, Howard
- Used
Description
Standard delivery: 2 to 8 days
Details
- Title Introduction to Logic: Predicate Logic
- Author Pospesel, Howard
- Binding Paperback
- Edition number 2nd
- Edition 2
- Condition UsedVeryGood
- Pages 304
- Volumes 1
- Language ENG
- Publisher Pearson, Upper Saddle River, NJ
- Date June 19, 2002
- Bookseller's Inventory # 0WOPQ10044F0
- ISBN 9780131649897 / 0131649892
- Weight 0.95 lbs (0.43 kg)
- Dimensions 9 x 5.9 x 0.7 in (22.86 x 14.99 x 1.78 cm)
- Library of Congress subjects Predicate (Logic)
- Library of Congress Catalog Number 2001059600
- Dewey Decimal Code 160
About New Legacy Books New Jersey, United States
Fast shipping and order satisfaction guaranteed. A portion of your purchase benefits charities, First Aid and Fire Stations!
From the rear cover
This clearly written, new edition by Howard Pospesel extends to general statements the system developed in Propositional Logic, revised Third Edition. This new edition covers symbolization, proofs, counterexamples, and truth trees. These topics are presented in graded steps, beginning with the symbolization of categorical propositions and concluding with the properties of relations.
Examples and exercises are drawn from such sources as newspapers, television broadcasts, films, books, and exams. The book enhances students' ability to recognize and evaluate the predicate arguments they encounter outside the logic classroom. Logic is made accessible without sacrificing rigor.
Among the new and revised elements in the Second Edition:- Many new exercises and examples
- A chapter on truth trees
- New sections treating possible-world counterexamples, intensional contexts, quantifier scope, and quantifier order
- An appendix on metatheory by William G. Lycan
PredLogic, Windows-based software provides an environment in which students symbolize sentences, construct proofs of validity, devise counterexamples, and create truth trees. The program enables students to catch errors as they are made, and it offers hints for solving problems.
