Understanding Symbolic Logic

Understanding Symbolic Logic

3.81 (100 ratings by Goodreads)
By (author) 

List price: US$94.39

Currently unavailable

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks


Designed for those who have no prior background in logic, philosophy, or mathematics, this comprehensive introduction covers all the standard topics of symbolic logic through relational predicate logic with identity. Understanding Symbolic Logic, Fourth Edition, is completely reader-friendly. All concepts and theories are presented in small "bites," helping you to master the concepts of symbolic logic with confidence. Understanding Symbolic Logic, Fourth Edition, features: *Explanations keyed to the difficulty of the topics covered; *Numerous worked-out examples; many detailed, step-by-step symbolizations; over 50 fully worked-out proofs; additional exercises; and *"Extra credit" units that offer a glimpse into alternative methods of logic and more advanced topics; *New for the Fourth Edition: New explanatory material on logical form and other topics; many updates and clarifications; a new exercise set; and more. Pearson Educationshow more

Product details

  • Hardback | 447 pages
  • 182.88 x 231.14 x 30.48mm | 839.14g
  • Pearson Education Limited
  • Prentice-Hall
  • Harlow, United Kingdom
  • English
  • Revised
  • 4th Revised edition
  • 0130201421
  • 9780130201423

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. Polish Notation for Sentential Logic. 23. Proof Trees for Sentential Logic. 24. Using Venn Diagrams to Prove Validity. 25. Stroke (nand) and Dagger (nor) Operators. 26. Proof Trees for Predicate Logic. Answers to Starred Exercises. Index.show more

Rating details

100 ratings
3.81 out of 5 stars
5 31% (31)
4 37% (37)
3 17% (17)
2 12% (12)
1 3% (3)
Book ratings by Goodreads
Goodreads is the world's largest site for readers with over 50 million reviews. We're featuring millions of their reader ratings on our book pages to help you find your new favourite book. Close X