CART

(0) items

The Logic Book,9780073535630
This item qualifies for
FREE SHIPPING!
FREE SHIPPING OVER $59!

Your order must be $59 or more, you must select US Postal Service Shipping as your shipping preference, and the "Group my items into as few shipments as possible" option when you place your order.

Bulk sales, PO's, Marketplace Items, eBooks, Apparel, and DVDs not included.

The Logic Book

by ; ;
Edition:
5th
ISBN13:

9780073535630

ISBN10:
007353563X
Format:
Hardcover
Pub. Date:
7/30/2008
Publisher(s):
McGraw-Hill Humanities/Social Sciences/Languages
Includes 2-weeks free access to
step-by-step solutions for this book.
Step-by-Step solutions are actual worked out problems to the questions at the end of each chapter that help you understand your homework and study for your exams. Chegg and eCampus are providing you two weeks absolutely free. 81% of students said using Step-by-Step solutions prepared them for their exams.

Related Products


  • Student Solutions CD to accompany The Logic Book (NAI)
    Student Solutions CD to accompany The Logic Book (NAI)
  • The Logic Book
    The Logic Book
  • The Logic Book
    The Logic Book
  • The Logic Book with Student Solutions CD-ROM
    The Logic Book with Student Solutions CD-ROM
  • The Logic Book with Student Solutions Manual
    The Logic Book with Student Solutions Manual





Summary

This leading text for symbolic or formal logic courses presents all techniques and concepts with clear, comprehensive explanations, and includes a wealth of carefully constructed examples. Its flexible organization (with all chapters complete and self-contained) allows instructors the freedom to cover the topics they want in the order they choose.

Table of Contents

Background
Why Study Logic
Sentences, Truth-Values, and Arguments
Deductive Validity and Soundness
Inductive Arguments
Logical Consistency, Truth, Falsity, and Equivalence
Special Cases of Validity
Sentential Logic: Symbolization and Syntax
Symbolization and Truth-Functional Connectives
Complex Symbolizations
Non-Truth-Functional Connectives
The Syntax of SL
Sentential Logic: Semantics
Truth-Value Assignments and Truth-Tables for Sentences
Truth-Functional Truth, Falsity, and Indeterminacy
Truth-Functional Equivalence
Truth-Functional Consistency
Truth-Functional Entailment and Truth-Functional Validity
Truth-Functional Properties and Truth-Functional Consistency
Sentential Logic: Truth-Trees
The Truth-Tree Method
Truth-Tree Rules for Sentences Containing 'tilde', 'wedge', and 'ampersand'
Rules for Sentences Containing 'horseshoe' and 'triple bar'
More Complex Truth-Trees
Using Truth-Trees to Test for Truth-Functional Truth, Falsity, and Indeterminacy
Truth-Functional Equivalence
Truth-Functional Entailment and Truth-Functional Validity
Sentential Logic: Derivations
The Derivation System SD
Applying the Derivation Rules of SD
Basic Concepts of SD
Strategies for Constructing Derivations in SD
The Derivation System SD+
Sentential Logic: Metatheory
Mathematical Induction
Truth-Functional Completeness
The Soundness of SD and SD+
The Completeness of SD and SD+
Predicate Logic: Symbolization and Syntax
The Limitations of SL
Predicates, Individual Constants, and Quantity Terms of English
Introduction to PL
Quantifiers Introduced
The Formal Syntax of PL
A-, E-, I-, and O-Sentences
Symbolization Techniques
Multiple Quantifiers with Overlapping Scope
Identity, Definite Descriptions, and Properties of Relations, and Functions
Predicate Logic: Semantics
Informal Semantics for PL
Quantificational Truth, Falsehood, and Indeterminacy
Quantificational Equivalence and Consistency
Quantification Entailment and Validity
Truth-Functional Expansions
Semantics for Predicate Logic with Identity and Functors
Formal Semantics of PL and PLE
Predicate Logic: Truth-Trees
Expanding the Rules for Truth-Trees
Truth-Trees and Quantificational Consistency
Truth-Trees and Other Semantic Properties
Trees for PLE
Fine-Tuning the Tree Method
Predicate Logic: Derivations
The Derivation System PD
Applying the Derivation Rules of PD
Basic Concepts of PD
Strategies for Constructing Derivations in PD
The Derivation System PD+
The Derivation System PDE
Predicate Logic: Metatheory
Semantic Preliminaries for PD
Semantic Preliminaries for PLE
The Soundness of PD, PD+, and PDE
The Completeness of PD, PD+, and PDE
The Soundness of the Tree Method
The Completeness of the Tree Method Selected Bibliography Index
Table of Contents provided by Publisher. All Rights Reserved.


Please wait while the item is added to your cart...