Predicate Logic
Language: English
Published by Prentice-Hall, Inc. Upper Saddle River, NJ 1976, 1976
- First Edition
- Softcover
- Used
Seller: Table of Contents, Omaha, NE, U.S.A.Table of Contents
AbeBooks seller since August 22, 1998
Condition: Used
US$ 8.50
Quantity: 1 available
Add to basketItem description from seller
18th Printing Paperback Good+. 8vo, 203, Trade paperback. General wear. Text is clean and unmarked.
Seller Inventory # 034604
- Title
- Predicate Logic
- Author
- Pospesel, Howard
- Publisher
- Prentice-Hall, Inc. Upper Saddle River, NJ 1976
- Publication year
- 1976
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 0134862252
- ISBN 13
- 9780134862255
- Edition
- First Edition.
This clearly written book makes logic interesting and easier to learn without sacrificing content or rigor. It 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. Logic is applied to materials with which readers will be familiar; both examples and exercises are drawn from newspapers, television, and other popular sources. For individuals intrigued by the formal study of logic.
"Synopsis" may belong to another edition of this title.
From the Back 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.
"About the title" may belong to another edition of this title.
Table of Contents
Omaha, NE, U.S.A.
AbeBooks seller since August 22, 1998
Shipping rates within U.S.A.
| Item | 5 to 14 business days | 3 to 6 business days |
|---|---|---|
| First item | US$ 5.50 | US$ 12.00 |
Payment methods
- Cash
- Check
- Invoice
- Money Order
Store description
General merchandise. All genres. Large inventory of children's literature and charity cook books.
Specialty
Iowa, Children's Illustrated, Cook Books, NebraskaSeller's business information
Table of Contents
NE, U.S.A.
Terms of sale
Check or money order. Credit card payments through Abebooks. Invoice sales only for institutions, i.e., libraries, historical societies, schools, etc. International sales no longer use Global Priority - U.S. costs have gone too high. International purchases will be sent First Class International - and cost adjusted for buyer if actual cost is significantly lower than the rate set.
Shipping terms
Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.