Understanding Symbolic Logic

ISBN-10: 0130201421
ISBN-13: 9780130201423
Edition: 4th 2002 (Revised)
Authors: Virginia Klenk
List price: $94.40
30 day, 100% satisfaction guarantee

If an item you ordered from TextbookRush does not meet your expectations due to an error on our part, simply fill out a return request and then return it by mail within 30 days of ordering it for a full refund of item cost.

Learn more about our returns policy

what's this?
Rush Rewards U
Members Receive:
coins
coins
You have reached 400 XP and carrot coins. That is the daily max!
You could win $10,000

Get an entry for every item you buy, rent, or sell.

Study Briefs

Limited time offer: Get the first one free! (?)

All the information you need in one place! Each Study Brief is a summary of one specific subject; facts, figures, and explanations to help you learn faster.

Add to cart
Study Briefs
Calculus 1 Online content $4.95 $1.99
Add to cart
Study Briefs
Algebra Online content $4.95 $1.99
Add to cart
Study Briefs
Introduction to Logic Online content $4.95 $1.99
Add to cart
Study Briefs
Business Math Formulas Online content $4.95 $1.99

Customers also bought

Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading

Book details

List price: $94.40
Edition: 4th
Copyright year: 2002
Publisher: Prentice Hall PTR
Publication date: 11/20/2001
Binding: Hardcover
Pages: 447
Size: 7.25" wide x 9.25" long x 0.75" tall
Weight: 1.738
Language: English

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
Questions
Exercises
The Structure of Sentential Logic Simple and Compound Sentences Sentential Operators
The Structure and Symbolism of Sentential Logic
Definitions Study
Questions
Exercises
Computing Truth Values Truth Tables for the Operators
Computing Truth Values Truth-functional Operators
Non-truth-functional Operators
Definitions Study
Questions
Exercises
Symbolizing English Sentences Simple Sentences Truth-functional and Non-truth-functional
Compounds Symbolizing Truth-functional
English Operators Symbolizing Multiply Complex Sentences
Exercises
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
Questions
Exercises
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
Questions
Exercises
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
Definitions
Exercises
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
Exercises
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
Definitions
Exercises
Monadic Predicate Logic
Singular Sentences
Singular Sentences and Propositional
Functions Symbolizing Singular Sentences
Definitions
Exercises
Quantifiers Universal and Existential Quantifiers
Free and Bound Variables; Scope of a Quantifier Negated Quantifiers
Definitions
Exercises
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
Definitions
Exercises
Complex Subjects and Predicates Complex
Subjects and Predicates Equivalent Symbolizations
Exercises
Quantifier Form and Truth-Functional
Compounds of Quantifier Statements Quantifier
Form Truth-functional Compounds and Quantifier
Form Symbolizing Truth-functional Compounds
Definitions
Exercises
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
Exercises
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

×
Free shipping on orders over $35*

*A minimum purchase of $35 is required. Shipping is provided via FedEx SmartPost® and FedEx Express Saver®. Average delivery time is 1 – 5 business days, but is not guaranteed in that timeframe. Also allow 1 - 2 days for processing. Free shipping is eligible only in the continental United States and excludes Hawaii, Alaska and Puerto Rico. FedEx service marks used by permission."Marketplace" orders are not eligible for free or discounted shipping.

Learn more about the TextbookRush Marketplace.

×