Introduction to Logic : Predicate Logic

Introduction to Logic : Predicate Logic

by Howard Pospesel

Paperback(Older Edition)


Product Details

ISBN-13: 9780134862255
Publisher: Prentice Hall Professional Technical Reference
Publication date: 01/29/1976
Edition description: Older Edition
Pages: 224
Product dimensions: 5.87(w) x 0.50(h) x 9.00(d)

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.
Proof Rules.
Truth-Tree Rules.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews