**You are here:**

### Pricing and Purchase Info

$181.40

^{®}points

Prices and offers may vary in store

### about

** ** This comprehensive introduction presents the fundamentals of symbolic logic clearly, systematically, and in a straightforward style accessible to readers. Each chapter, or unit, is divided into easily comprehended small “bites” that enable learners to master the material step-by-step, rather than being overwhelmed by masses of information covered too quickly. The book provides extremely detailed explanations of procedures and techniques, and was written in the conviction that anyone can thoroughly master its content. ** ** A four-part organization covers sentential logic, monadic predicate logic, relational predicate logic, and extra credit units that glimpse into alternative methods of logic and more advanced topics. ** ** For individuals interested in the formal study of logic.

### Details & Specs

The following ISBNs are associated with this title:

ISBN - 10:0132051524

ISBN - 13:9780132051521

### Customer Reviews of Understanding Symbolic Logic

### Extra Content

Table of Contents

**I. SENTENTIAL LOGIC**

**1. Introduction to Logic**

**2. The Structure of Sentential Logic**

**3. Computing Truth Values**

**4. Symbolizing English Sentences**

**5. Truth Tables for Testing Validity**

**6. Further Applications of the Truth Table Method**

**7. The Proof Method: Eight Basic Inference Rules**

**8. Replacement Rules**

**9. Conditional Proof and Indirect Proof**

**II. MONADIC PREDICATE LOGIC**

**10. Singular Sentences**

**11. Quantifiers**

**12. Categorical Propositions**

**13. Complex Subjects and Predicates**

**14. Quantifier Form and Truth-Functional Compounds of Quantifier Statements**

**15. Proofs in Predicate Logic**

**16. Invalidity in Quantifier Logic**

**III. RELATIONAL PREDICATE LOGIC**

**17. Symbolization in Relational Predicate Logic**

**18. Proofs and Invalidity for Relational Predicate Logic**

**19. Identity and Definite Descriptions**

**20. Proofs Involving Identity**

**IV. EXTRA CREDIT UNITS**

**21. Well-Formed Formulas for Sentential Logic**

**22. Proof Trees for Sentential Logic**

**23. Using Venn Diagrams to Prove Validity**

**24. Proof Trees for Predicate Logic**

**Answers to Starred Exercises**

**Index**