- Series
- Prentice Hall
- Author
- Virginia Klenk
- Publisher
- Pearson
- Cover
- Softcover
- Edition
- 5
- Language
- English
- Total pages
- 480
- Pub.-date
- April 2007
- ISBN13
- 9780132051521
- ISBN
- 0132051524
- Related Titles

Title no longer available

**For courses in Symbolic Logic**

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.

*U**nderstanding Symbolic Logic, Fifth Edition,* is completely reader-friendly. All concepts and theories are presented in small "bites," helping students to master the concepts of symbolic logic with confidence.

**How do you ensure that your students understand symbolic logic?**

* Understanding Symbolic Logic *is

**Comprehensive coverage, including all the basics of symbolic logic, through relational predicate logic with identity.****A logical****organization.**Each unit has an introduction, providing an overview of what is to come, as well as a set of learning objectives for that unit. Units are divided into separate sections, each covering a particular, limited topic. Most units have a set of definitions at the end, covering the most important concepts of that unit.**Clear and thorough explanations of procedures and lots of in-text examples.**This ensures that your students understand the procedures so that they can apply them. Very detailed explanations are given for the various techniques, as well as many illustrative examples.**Clear and logically organized introduction to predicate logic.****Topics broken down into small, manageable segments, with a clear, linear approach.**-
**A difficulty level that is intuitive to the needs of introductory students.**This text is accessible, but with a range of topics of varying difficulty. -
**Thorough discussion of symbolization, with numerous examples worked out step-by-step.**

**An abundance of exercises ranging****from easy to very challenging.****Answers provided in the back of the book for many of the exercises.**This allows students to immediately check their work.**Guidance through the proof process.**This text has been lauded by reviewers for being very effective in guiding students through the proof process and helping them master it. The method of "working backward" is especially effective.

**New in-text examples have been added and numerous examples have been****updated and clarified.****New exercises have been added.**There are additional exercises for Units 1,4,7,8,9,10,11,12,13,14, and 19.**Improved symbolization.****Clearer explanations for difficult concepts.**i.e. form and substitution instances, arguments vs. assertions, deductive and inductive logic, truth-functional and non-truth-functional operators.**The exercises in Units Seven (The Proof Method: Eight Basic Inference Rules) and Eight (Replacement Rules) split into sets of rules.**This makes it possible for students to practice with just a few rules at once, instead of having to do problems right off the bat with the entire set of rules.- Formulas have been clarified by eliminating braces and using only parentheses and, where needed, brackets.
- Any misprints have been corrected.
- The difference between forms and substitution instances have been clarified and further explained.
**Changes to specific units**- Unit 1:
- Expanded discussion of arguments, especially the distinction between arguments and mere assertions.
- Expanded and clarified section on the difference between deductive and inductive arguments.
- New exercise set, combining material from those two items.

- Unit 4:
- Expanded discussion of the difference between truth-functional and non-truth-functional compounds.
- New section on necessary and sufficient conditions, in the discussion of the conditional.
- An expanded discussion of "unless".

- Unit 6:
- Clarification of the process for testing statements (instances) as opposed to forms.
- Discussion of the connection between the rules in Units 7 and 8 and the concepts of logical implication and logical equivalence.

- Unit 10:
- Expanded discussion of propositional functions and the difference between them and singular sentences.

- Unit 11:
- Expanded discussion of bound variables.

- Unit 12:
- New section explaining the rationale for using the conditional after the universal quantifier and the conjunction after the existential quantifier.

- New section explaining the rationale for using the conditional after the universal quantifier and the conjunction after the existential quantifier.

- Unit 1:

**Improved symbolization.**

**Clearer explanations for difficult concepts.** i.e. form and substitution instances, arguments vs. assertions, deductive and inductive logic, truth-functional and non-truth-functional operators.

**The exercises in Units Seven (The Proof Method: Eight Basic Inference Rules) and Eight (Replacement Rules) split into sets of rules. **This makes it possible for students to practice with just a few rules at once, instead of having to do problems right off the bat with the entire set of rules.

- Unit 1:
- Expanded discussion of arguments, especially the distinction between arguments and mere assertions.
- Expanded and clarified section on the difference between deductive and inductive arguments.
- New exercise set, combining material from those two items.

- Unit 4:
- Expanded discussion of the difference between truth-functional and non-truth-functional compounds.
- New section on necessary and sufficient conditions, in the discussion of the conditional.
- An expanded discussion of "unless".

- Unit 6:
- Clarification of the process for testing statements (instances) as opposed to forms.
- Discussion of the connection between the rules in Units 7 and 8 and the concepts of logical implication and logical equivalence.

- Unit 10:
- Expanded discussion of propositional functions and the difference between them and singular sentences.

- Unit 11:
- Expanded discussion of bound variables.

- Unit 12:
- New section explaining the rationale for using the conditional after the universal quantifier and the conjunction after the existential quantifier.

**I. SENTENTIAL LOGIC**

**II. MONADIC PREDICATE LOGIC**

**III. RELATIONAL PREDICATE LOGIC**

**IV. EXTRA CREDIT UNITS**

*Understanding Symbolic Logic*

*Fifth Edition*

Virginia Klenk

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, Fifth 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, Fifth 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
- "Extra credit" units offer a glimpse into alternative methods of logic and more advanced topics
**New for the Fifth Edition:**Along with revisions for clarity, more examples have been added throughout, especially in sections on translation and relational predicate logic; symbolization has been improved; additional background has been added on the nature of identity relation