Overview

Full Product Details

Author:   Howard Pospesel ,  Howard Pospesel
Publisher:   Pearson Education (US)
Imprint:   Pearson
Edition:   2nd edition
Dimensions:   Width: 10.00cm , Height: 10.00cm , Length: 10.00cm
Weight:   0.100kg
ISBN:  

9780131649897

ISBN 10:   0131649892
Pages:   304
Publication Date:   11 March 2003
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Mixed media product
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

1. Introduction. 2. Basic Symbolization. 3. Proofs: O and $O. 4. Proofs: $I and QE. 5. Intermediate Symbolization. 6. Intermediate Proofs. 7. Counterexamples. 8. Truth Trees. 9. Property-Logic Refinements. 10. Relational Symbolization. 11. Relational Proofs. 12. Relational CEXes and Trees. 13. Relational-Logic Refinements. 14. Natural Arguments. Appendix 1. Propositional Logic: A Brief Review. Appendix 2. Metatheory. Appendix 3. Using PredLogic. Appendix 4. Solutions to Starred Exercises. Index. Proof Rules. Truth-Tree Rules.

Reviews

The accuracy of the text and the clarity of the explanations are first-rate ... I have taught from it for 12 years! ... [T]he strongest point in favor of Pospesel's two introductory logic texts is their eminent teachability. -- Richard Arthur, Middlebury College

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions