Introduction to Logic: Predicate Logic (2nd Revised edition)

Introduction to Logic: Predicate Logic (2nd Revised edition)

By: Howard Pospesel (author)Mixed Media

2 - 4 weeks availability


For courses in Introduction to Logic and Formal Logic. This clearly written volume 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. This new edition includes 'PredLogic,' a CD-ROM-based tutorial for students.

Create a review


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.

Product Details

  • publication date: 19/06/2002
  • ISBN13: 9780131649897
  • Format: Mixed Media
  • Number Of Pages: 282
  • ID: 9780131649897
  • weight: 435
  • ISBN10: 0131649892
  • edition: 2nd Revised edition

Delivery Information

  • Saver Delivery: Yes
  • 1st Class Delivery: Yes
  • Courier Delivery: Yes
  • Store Delivery: Yes

Prices are for internet purchases only. Prices and availability in WHSmith Stores may vary significantly