Description |
1 online resource (467 p.) |
Contents |
Front Cover -- Valid Forms for Sentential Logic -- Rules for Predicate Logic -- Title Page -- Copyright Page -- Contents -- Preface to the Thirteenth Edition -- Preface to the Twelfth Edition -- Chapter One: Introduction -- 1 The Elements of an Argument -- 2 Deduction and Induction -- 3 Deductive Argument Forms -- 4 Truth and Validity -- 5 Soundness -- 6 Consistency -- 7 Contexts of Discovery and Justification -- 8 The Plan of This Book -- Part One: Sentential Logic -- Chapter Two: Symbolizing in Sentential Logic -- 1 Atomic and Compound Sentences -- 2 Truth-Functions -- 3 Conjunctions |
|
4 Non-Truth-Functional Connectives -- 5 Variables and Constants -- 6 Negations -- 7 Parentheses and Brackets -- 8 Use and Mention -- 9 Disjunctions -- 10 "Not Both" and "Neither . . . Nor" -- 11 Material Conditionals -- 12 Material Biconditionals -- 13 "Only If" and "Unless" -- 14 Symbolizing Complex Sentences -- 15 Alternative Sentential Logic Symbols -- Chapter Three: Truth Tables -- 1 Computing Truth-Values -- 2 Logical Form -- 3 Tautologies, Contradictions, and Contingent Sentences -- 4 Logical Equivalences -- 5 Truth Table Test of Validity -- 6 Truth Table Test of Consistency |
|
7 Validity and Consistency -- 8 The Short Truth Table Test for Invalidity -- 9 The Short Truth Table Test for Consistency -- 10 A Method of Justification for the Truth Tables -- Chapter Four: Proofs -- 1 Argument Forms -- 2 The Method of Proof: Modus Ponens and Modus Tollens -- 3 Disjunctive Syllogism and Hypothetical Syllogism -- 4 Simplification and Conjunction -- 5 Addition and Constructive Dilemma -- 6 Principles of Strategy -- 7 Double Negation and DeMorgan's Theorem -- 8 Commutation, Association, and Distribution -- 9 Contraposition, Implication, and Exportation |
|
10 Tautology and Equivalence -- 11 More Principles of Strategy -- 12 Common Errors in Problem Solving -- Chapter Five: Conditional and Indirect Proofs -- 1 Conditional Proofs -- 2 Indirect Proofs -- 3 Strategy Hints for Using CP and IP -- 4 Zero-Premise Deductions -- 5 Proving Premises Inconsistent -- 6 Adding Valid Argument Forms -- 7 The Completeness and Soundness of Sentential Logic -- 8 Introduction and Elimination Rules -- Chapter Six: Sentential Logic Truth Trees -- 1 The Sentential Logic Truth Tree Method -- 2 The Truth Tree Rules -- 3 Details of Tree Construction |
|
4 Normal Forms and Trees -- 5 Constructing Tree Rules for Any Function -- Part Two: Predicate Logic -- Chapter Seven: Predicate Logic Symbolization -- 1 Individuals and Properties -- 2 Quantifiers and Free Variables -- 3 Universal Quantifiers -- 4 Existential Quantifiers -- 5 Basic Predicate Logic Symbolizations -- 6 The Square of Opposition -- 7 Common Pitfalls in Symbolizing with Quantifiers -- 8 Expansions -- 9 Symbolizing "Only," "None but," and "Unless" -- Chapter Eight: Predicate Logic Semantics -- 1 Interpretations in Predicate Logic -- 2 Proving Invalidity |
Notes |
Description based upon print version of record |
|
3 Using Expansions to Prove Invalidity |
Subject |
Logic.
|
|
Logic
|
Form |
Electronic book
|
Author |
Hausman, Alan
|
|
Boardman, Frank
|
ISBN |
9781624669361 |
|
1624669360 |
|