First Course in Mathematical Logic

Valutazione media 4,38
( su 13 valutazioni fornite da GoodReads )
 
9780486422596: First Course in Mathematical Logic

Starting with symbolizing sentences and sentential connectives, this work proceeds to the rules of logical inference and sentential derivation, examines the concepts of truth and validity, and presents a series of truth tables. Subsequent topics include terms, predicates, and universal quantifiers; universal specification and laws of identity; axioms for addition; and universal generalization. 1964 edition. Index.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti:

1. Symbolizing Sentences 1.1 Sentences 1.2 Sentential Connectives 1.3 The Form of Molecular Sentences 1.4 Symbolizing Sentences 1.5 The Sentential Connectives and Their Symbols--Or; Not; If . . . then . . . 1.6 Grouping and Parentheses. The Negation of a Molecular Sentence 1.7 Elimination of Some Parentheses 1.8 Summary 2. Logical Inference 2.1 Introduction 2.2 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 2.3 Sentential Derivation 2.4 More About Parentheses 2.5 Further Rules of Inference Law of Addition Law of Hypothetica Syllogism Law of Disjunctive Syllogism Law of Disjunctive Simplification Commutative Laws De Morgan's Laws 2.6 Biconditional Sentences 2.7 Summary of Rules of Inference. Table of Rules of Inference 3. Truth and Validity 3.1 Introduction 3.2 Truth Value and Truth-Functional Connectives Conjunction Negation Disjunction Conditional Sentences Equivalence: Biconditional Sentences 3.3 Diagrams of Truth Value 3.4 Invalid Conclusions 3.5 Conditional Proof 3.6 Consistency 3.7 Indirect Proof 3.8Summary 4. Truth Tables 4.1 Truth Tables 4.2 Tautologies 4.3 Tautological Implication and Tautological Equivalence 4.4 Summary 5. Terms, Predicates, and Universal Quantifiers 5.1 Introduction 5.2 Terms 5.3 Predicates 5.4 Common Nouns as Predicates 5.5 Atomic Formulas and Variables 5.6 Universal Quantifiers 5.7 Two Standard Forms 6. Universal Specification and Laws of Identity 6.1 One Quantifier 6.2 Two or More Quantifiers 6.3 Logic of Identity 6.4 Truths of Logic 7. A Simple Mathematical System: Axioms for Addition 7.1 Commutative Axiom 7.2 Associative Axiom 7.3 Axiom for Zero 7.4 Axiom for Negative Numbers 8. Universal Generalization 8.1 Theorems with Variables 8.2 Theorems with Universal Quantifiers Index

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Suppes, Patrick/ Hill, Shirley A.
Editore: Dover Pubns (2002)
ISBN 10: 0486422593 ISBN 13: 9780486422596
Nuovi Quantità: > 20
Da
Paperbackshop-US
(Commerce, GA, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Pubns, 2002. PAP. Condizione libro: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Codice libro della libreria V0-9780486422596

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 7,17
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,67
In U.S.A.
Destinazione, tempi e costi

2.

Suppes, Patrick
Editore: Dover Publishers
ISBN 10: 0486422593 ISBN 13: 9780486422596
Nuovi Quantità: > 20
Da
INDOO
(Avenel, NJ, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publishers. Condizione libro: New. Brand New. Codice libro della libreria 0486422593

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 7,64
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,22
In U.S.A.
Destinazione, tempi e costi

3.

Patrick Suppes
Editore: Dover Publications Inc. (2003)
ISBN 10: 0486422593 ISBN 13: 9780486422596
Nuovi Quantità: 1
Da
PBShop
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications Inc., 2003. PAP. Condizione libro: New. New Book.Shipped from US within 10 to 14 business days. Established seller since 2000. Codice libro della libreria IB-9780486422596

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 8,03
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,67
In U.S.A.
Destinazione, tempi e costi

4.

Patrick Suppes, Shirley Hill
Editore: Dover Publications Inc., United States (2010)
ISBN 10: 0486422593 ISBN 13: 9780486422596
Nuovi Paperback Quantità: 1
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Dover Publications Inc., United States, 2010. Paperback. Condizione libro: New. Reprint. 211 x 145 mm. Language: English . Brand New Book. In modern mathematics, both the theory of proof and the derivation of theorems from axioms bear an unquestioned importance. The necessary skills behind these methods, however, are frequently underdeveloped. This book counters that neglect with a rigorous introduction that is simple enough in presentation and context to permit relatively easy comprehension. It 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. Throughout the book, the authors emphasize the pervasive and important problem of translating English sentences into logical or mathematical symbolism. Their clear and coherent style of writing ensures that this work may be used by students in a wide range of ages and abilities. Codice libro della libreria AAC9780486422596

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 12,14
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

5.

Patrick Suppes, Shirley Hill
Editore: Dover Publications Inc., United States (2010)
ISBN 10: 0486422593 ISBN 13: 9780486422596
Nuovi Paperback Quantità: 1
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Dover Publications Inc., United States, 2010. Paperback. Condizione libro: New. Reprint. 211 x 145 mm. Language: English . Brand New Book. In modern mathematics, both the theory of proof and the derivation of theorems from axioms bear an unquestioned importance. The necessary skills behind these methods, however, are frequently underdeveloped. This book counters that neglect with a rigorous introduction that is simple enough in presentation and context to permit relatively easy comprehension. It 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. Throughout the book, the authors emphasize the pervasive and important problem of translating English sentences into logical or mathematical symbolism. Their clear and coherent style of writing ensures that this work may be used by students in a wide range of ages and abilities. Codice libro della libreria AAC9780486422596

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 12,14
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

6.

Patrick Suppes
Editore: Dover Publications (2010)
ISBN 10: 0486422593 ISBN 13: 9780486422596
Nuovi Paperback Quantità: 1
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications, 2010. Paperback. Condizione libro: New. Codice libro della libreria 0486422593

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 10,26
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,75
In U.S.A.
Destinazione, tempi e costi

7.

Suppes, Patrick; Hill, Shirley
Editore: Dover Publications
ISBN 10: 0486422593 ISBN 13: 9780486422596
Nuovi PAPERBACK Quantità: 1
Da
Movie Mars
(Indian Trail, NC, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications. PAPERBACK. Condizione libro: New. 0486422593 Brand New Book. Ships from the United States. 30 Day Satisfaction Guarantee!. Codice libro della libreria 14529323

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 9,97
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,67
In U.S.A.
Destinazione, tempi e costi

8.

Patrick Suppes
ISBN 10: 0486422593 ISBN 13: 9780486422596
Nuovi Paperback Quantità: 1
Da
Grand Eagle Retail
(Wilmington, DE, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Paperback. Condizione libro: New. 162mm x 16mm x 215mm. Paperback. Starting with symbolizing sentences and sentential connectives, this work proceeds to the rules of logical inference and sentential derivation, examines the concepts of truth and validity,.Shipping may be from multiple locations in the US or from the UK, depending on stock availability. 288 pages. 0.313. Codice libro della libreria 9780486422596

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 15,50
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

9.

Patrick Suppes, Shirley Hill
Editore: Dover Publications Inc.
ISBN 10: 0486422593 ISBN 13: 9780486422596
Nuovi Paperback Quantità: 1
Da
THE SAINT BOOKSTORE
(Southport, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Dover Publications Inc. Paperback. Condizione libro: new. BRAND NEW, First Course in Mathematical Logic, Patrick Suppes, Shirley Hill. Codice libro della libreria B9780486422596

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 10,04
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 6,87
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

10.

Patrick Suppes; Shirley Hill
Editore: Dover Publications (2010)
ISBN 10: 0486422593 ISBN 13: 9780486422596
Nuovi Paperback Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications, 2010. Paperback. Condizione libro: New. book. Codice libro della libreria 0486422593

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 18,12
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro