Book contents
- Frontmatter
- Dedication
- Contents
- Preface
- 0 Introduction and Overview
- Part I Propositional Logic
- Part II Predicate Logic
- 7 Predicate Logic Syntax and Semantics
- 8 Getting Rid of Functions and Equality
- 9 Deductive Proofs of Predicate Logic Formulas
- 10 Working with Predicate Logic Proofs
- 11 The Deduction Theorem and Prenex Normal Form
- 12 The Completeness Theorem
- 13 Sneak Peek at Mathematical Logic II: Gödel’s Incompleteness Theorem
- Cheatsheet Axioms and Axiomatic Inference Rules Used in This Book
- Index
12 - The Completeness Theorem
from Part II - Predicate Logic
Published online by Cambridge University Press: 25 August 2022
Book contents
- Frontmatter
- Dedication
- Contents
- Preface
- 0 Introduction and Overview
- Part I Propositional Logic
- Part II Predicate Logic
- 7 Predicate Logic Syntax and Semantics
- 8 Getting Rid of Functions and Equality
- 9 Deductive Proofs of Predicate Logic Formulas
- 10 Working with Predicate Logic Proofs
- 11 The Deduction Theorem and Prenex Normal Form
- 12 The Completeness Theorem
- 13 Sneak Peek at Mathematical Logic II: Gödel’s Incompleteness Theorem
- Cheatsheet Axioms and Axiomatic Inference Rules Used in This Book
- Index
Summary
The Completeness Theorem and the Compactness Theorem for Predicate Logic. Henkin constants. The Löwenheim–Skolem Theorem.
- Type
- Chapter
- Information
- Mathematical Logic through Python , pp. 231 - 255Publisher: Cambridge University PressPrint publication year: 2022