First Order Mathematical Logic 0486662691

355 75 2MB

English Pages 222 Year 1990

Table of contents :
Cover
Title
Copyright
Preface to the Dover Edition
Preface to the First Edition
Contents
1 INTRODUCTION
1 Rules of Inference
2 Set Theory
3 Axiomatic Theories
4 Predicates and Quantifiers
5 Statement Connectives
6 The Interpretation of Predicates and Quantifiers
7 The Predicate Calculus and First Order Theories
8 The Omission of Parentheses
9 Substitution of a Term for a Variable
10 Removing and Inserting Quantifiers
11 Denials
2 THE PREDICATE CALCULUS
12 Formulation
13 The Statement Calculus
14 The Deduction Theorem
15 The Completeness Theorenl for the Statement Calculus
16 Applications of the Completeness Theorem for the Statement Calculus
17 Quantifiers
18 Equivalence and Replacement
19 Theorem Schemes
20 Normal Forms
21 Equality
3 FIRST ORDER THEORIES
22 Definition and Examples
23 Deduction
24 Number Theory
25 Consistency and Completeness
26 Truth
27 The Completeness Theorem
28 Independence
29 Completeness and Categoricity
30 Decidability
31 Godel's Theorem
Notes
References
Addendum
Index of Symbols
Subject Index

First Order Mathematical Logic
0486662691