National Open University Library

Image from Google Jackets

The logic book / Merrie Bergmann, James Moor, Jack Nelson

By: Bergmann, MerrieContributor(s): Moor, James | Nelson, JackMaterial type: TextTextBOATON BURR RIDGE MC GRAW HILL COMPAINES 2004Edition: 4th edDescription: xiii, 642 [8] p. : ill. ; 1 CD-ROM (4 3/4 in.)ISBN: 0072401893; 9780072401899Subject(s): Logic, Symbolic and mathematical | Predicate (Logic)DDC classification: BC135
Contents:
Chapter 1: Basic Notions of Logic -- 1.1 Background -- 1.2 Why Study Logic -- 1.3 Sentences, Truth-Values, and Arguments -- 1.4 Deductive Validity and Soundness -- 1.5 Inductive Arguments -- 1.6 Logical Consistency, Truth, Falsity, and Equivalence -- 1.7 Special Cases of Validity -- Chapter 2: Sentential Logic: Symbolization and Syntax -- 2.1 Symbolization and Truth-Functional Connectives -- 2.2 Complex Symbolizations -- 2.3 Non-Truth-Functional Connectives -- 2.4 The Syntax of SL -- Chapter 3: Sentential Logic: Semantic -- 3.1 Truth-Value Assignments and Truth-Tables for Sentences -- 3.2 Truth-Functional Truth, Falsity, and Indeterminacy -- 3.3 Truth-Functional Equivalence -- 3.4 Truth-Functional Consistency -- 3.5 Truth-Functional Entailment and Truth-Functional Validity -- 3.6 Truth-Functional Properties and Truth-Functional Consistency -- Chapter 4: Sentential Logic: Truth-Tree -- 4.1 Introduction -- 4.2 Truth-Tree Rules for Sentences Containing 'tilde', 'wedge', and 'ampersand' -- 4.3 Rules for Sentences
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)

Chapter 1: Basic Notions of Logic -- 1.1 Background -- 1.2 Why Study Logic -- 1.3 Sentences, Truth-Values, and Arguments -- 1.4 Deductive Validity and Soundness -- 1.5 Inductive Arguments -- 1.6 Logical Consistency, Truth, Falsity, and Equivalence -- 1.7 Special Cases of Validity -- Chapter 2: Sentential Logic: Symbolization and Syntax -- 2.1 Symbolization and Truth-Functional Connectives -- 2.2 Complex Symbolizations -- 2.3 Non-Truth-Functional Connectives -- 2.4 The Syntax of SL -- Chapter 3: Sentential Logic: Semantic -- 3.1 Truth-Value Assignments and Truth-Tables for Sentences -- 3.2 Truth-Functional Truth, Falsity, and Indeterminacy -- 3.3 Truth-Functional Equivalence -- 3.4 Truth-Functional Consistency -- 3.5 Truth-Functional Entailment and Truth-Functional Validity -- 3.6 Truth-Functional Properties and Truth-Functional Consistency -- Chapter 4: Sentential Logic: Truth-Tree -- 4.1 Introduction -- 4.2 Truth-Tree Rules for Sentences Containing 'tilde', 'wedge', and 'ampersand' -- 4.3 Rules for Sentences

There are no comments on this title.

to post a comment.

Powered by Koha

//