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
10 - Working with Predicate Logic Proofs
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
In this chapter we fix a specific axiomatic system and provide several examples of its formal use. These include logical inferences such as syllogisms, proofs of mathematical theorems in structures such as groups and fields, and foundations of mathematics, specifically Peano Arithmetic and Set Theory.
- Type
- Chapter
- Information
- Mathematical Logic through Python , pp. 178 - 210Publisher: Cambridge University PressPrint publication year: 2022