This clearly written book makes logic interesting and easier to learn without sacrificing content or rigor. It 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. Logic is applied to materials with which readers will be familiar; both examples and exercises are drawn from newspapers, television, and other popular sources. For individuals intrigued by the formal study of logic.
|Publisher:||Prentice Hall Professional Technical Reference|
|Edition description:||Older Edition|
|Product dimensions:||5.87(w) x 0.50(h) x 9.00(d)|
Table of Contents1. Introduction.
2. Basic Symbolization.
3. Proofs: "O and $O.
4. Proofs: $I and QE.
5. Intermediate Symbolization.
6. Intermediate Proofs.
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.