Skip to content

First Course in Mathematical Logic

Best in textbook rentals since 2012!

ISBN-10: 0486422593

ISBN-13: 9780486422596

Edition: 2002

Authors: Patrick Suppes, Shirley A. Hill

List price: $15.95
Blue ribbon 30 day, 100% satisfaction guarantee!
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!

Description:

This text comprises the sentential theory of inference, inference with universal quantifiers, and applications of the theory of inference developed to the elementary theory of commutative groups.
Customers also bought

Book details

List price: $15.95
Copyright year: 2002
Publisher: Dover Publications, Incorporated
Publication date: 6/17/2010
Binding: Paperback
Pages: 288
Size: 5.50" wide x 8.50" long x 1.00" tall
Weight: 0.682
Language: English

Shirley A. Hill is a professor of sociology at the University of Kansas, where she studies family diver�sity, social inequality, and health care. She is the author of Race, Work, and Family: New Century Values Among African American Men and Women (co-edited with Marlese Durr; Rowman & Littlefield, �2006); Black Intimacies: A Gender Perspective on Families and Relationships (AltaMira, �2005); African American Children: Their Socialization and Development in Families (SAGE, �1999); and other books and articles. Her current research focuses on racial disparities in educational attainment.

Preface
Symbolizing Sentences
Sentences
Sentential Connectives
The Form of Molecular Sentences
Symbolizing Sentences
The Sentential Connectives and Their Symbols
Or
Not
If ... then ...
Grouping and Parentheses
The Negation of a Molecular Sentence
Elimination of Some Parentheses
Summary
Logical Inference
Introduction
Rules of Inference and Proof
Modus Ponendo Ponens
Proofs
Two-Step Proofs
Double Negation
Modus Tollendo Tollens
More on Negation
Adjunction and Simplification
Disjunctions as Premises
Modus Tollendo Ponens
Sentential Derivation
More About Parentheses
Further Rules of Inference
Law of Addition
Law of Hypothetical Syllogism
Law of Disjunctive Syllogism
Law of Disjunctive Simplification
Commutative Laws
De Morgan's Laws
Biconditional Sentences
Summary of Rules of Inference
Table of Rules of Inference
Truth and Validity
Introduction
Truth Value and Truth-Functional Connectives
Conjunction
Negation
Disjunction
Conditional Sentences
Equivalence: Biconditional Sentences
Diagrams of Truth Value
Invalid Conclusions
Conditional Proof
Consistency
Indirect Proof
Summary
Truth Tables
Truth Tables
Tautologies
Tautological Implication and Tautological Equivalence
Summary
Terms, Predicates, and Universal Quantifiers
Introduction
Terms
Predicates
Common Nouns as Predicates
Atomic Formulas and Variables
Universal Quantifiers
Two Standard Forms
Universal Specification and Laws of Identity
One Quantifier
Two or More Quantifiers
Logic of Identity
Truths of Logic
A Simple Mathematical System: Axioms for Addition
Commutative Axiom
Associative Axiom
Axiom for Zero
Axiom for Negative Numbers
Universal Generalization
Theorems with Variables
Theorems with Universal Quantifiers
Index