Understanding Symbolic Logic

  • ISBN13:


  • ISBN10:


  • Edition: 5th
  • Format: Paperback
  • Copyright: 2007-04-19
  • Publisher: Pearson

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

Purchase Benefits

  • Free Shipping On Orders Over $35!
    Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • Get Rewarded for Ordering Your Textbooks! Enroll Now
  • We Buy This Book Back!
    In-Store Credit: $31.50
    Check/Direct Deposit: $30.00
List Price: $181.40 Save up to $90.70
  • Rent Book $90.70
    Add to Cart Free Shipping


Supplemental Materials

What is included with this book?

  • The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
  • The Used and Rental copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.


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.

Table of Contents

Sentential Logic
Introduction to Logic Why Study Logic?
What Logic Is All About Induction and Deduction
Form and Validity Truth and Validity
The Nature of Symbolic Logic
The Scope of Symbolic Logic
Definitions Study
The Structure of Sentential Logic Simple and Compound Sentences Sentential Operators
The Structure and Symbolism of Sentential Logic
Definitions Study
Computing Truth Values Truth Tables for the Operators
Computing Truth Values Truth-functional Operators
Non-truth-functional Operators
Definitions Study
Symbolizing English Sentences Simple Sentences Truth-functional and Non-truth-functional
Compounds Symbolizing Truth-functional
English Operators Symbolizing Multiply Complex Sentences
Truth Tables for Testing Validity Constructing Base Columns for Truth Tables
The Truth Table
Test for Validity
Shortcut Validity
Tests Mechanical Decision Procedures
Definitions Study
Further Applications of the Truth Table Method Tautologies, Contradictions, and Contingencies
Logical Implication and Logical
Equivalence Rules of Inference, Logical Implication, and Logical Equivalence
Consistency Four Kinds of Truth Table
Problems and the Relations Between Them
Definitions Study
The Proof Method: Eight Basic
Inference Rules Form and Substitution
Instance The Proof Process Eight Basic
Inference Rules Derivations and Proofs
Constructing Simple Proofs
Constructing More Complex Proofs
Summary of Rules of Inference
Replacement Rules
The Structure of Replacement Rules
The Ten Replacement Rules Constructing Simple Proofs
with Replacement Rules Strategies for More Complex Proofs
Summary of Replacement Rules
Conditional Proof and Indirect Proof
Conditional Proof
Indirect Proof
Discharging Assumptions; Restrictions on C.P. and I.P. Using C.P. and I.P. Proofs of Theorems Invalidity Truth and Proof
Summary of Rules of Conditional Proof and Indirect Proof
Monadic Predicate Logic
Singular Sentences
Singular Sentences and Propositional
Functions Symbolizing Singular Sentences
Quantifiers Universal and Existential Quantifiers
Free and Bound Variables; Scope of a Quantifier Negated Quantifiers
Categorical Propositions
The Four Categorical Propositions
Individuals, Sets, and Properties
Venn Diagrams Symbolizing Categorical Propositions
Negated Categorical Propositions
Deriving C.Q.N. Rules from Q.N. Rules Symbolizing English Categorical Sentences
Summary of Categorical Propositions
Complex Subjects and Predicates Complex
Subjects and Predicates Equivalent Symbolizations
Quantifier Form and Truth-Functional
Compounds of Quantifier Statements Quantifier
Form Truth-functional Compounds and Quantifier
Form Symbolizing Truth-functional Compounds
Proofs in Predicate Logic Preliminary Statement of the Four Quantifier Rules Instances of Quantified Formulas
The Rules of Universal Instantiation (U.I.) and Existential Generalization (E.G.)
The Rules of Existential Instantiation (E.I.) adn Universal Generalization (U.G.)
Flagging Restrictions Constructing Proofs for "Pure"
Quantifier Arguments Constructing Proofs for Arguments Containing Truth-functional Compounds
Constructing Proofs of Quantifier Theorems Statement of the Quantifier Rules, with All Necessary Restrictions
Invalidity in Quantifier Logic
The Natural Interpretation Method Truth Conditions for Quantifier Statements
The Model Universe Method Definitions Exercises
Relational Predicate Logic
Symbolization in Relational Predicate Logic
Table of Contents provided by Publisher. All Rights Reserved.

Rewards Program

Write a Review