- ホーム
- > 洋書
- > 英文書
- > Science / Mathematics
Full Description
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.
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.