Introduction to Logic
Predicate Logic
Seiten
2003
|
2nd edition
Pearson
978-0-13-164989-7 (ISBN)
Pearson
978-0-13-164989-7 (ISBN)
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.
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.
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.
| Erscheint lt. Verlag | 11.3.2003 |
|---|---|
| Sprache | englisch |
| Maße | 100 x 100 mm |
| Gewicht | 100 g |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
| ISBN-10 | 0-13-164989-2 / 0131649892 |
| ISBN-13 | 978-0-13-164989-7 / 9780131649897 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
