Introduction to Logic
Predicate Logic
Seiten
2003
|
2nd edition
Pearson
9780131649897 (ISBN)
Pearson
9780131649897 (ISBN)
- Keine Verlagsinformationen verfügbar
- Artikel merken
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-13 | 9780131649897 / 9780131649897 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
