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
8 - Getting Rid of Functions and Equality
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
Functions and how they can be replaced by relations. Equality and why it is not essential.
- Type
- Chapter
- Information
- Mathematical Logic through Python , pp. 129 - 142Publisher: Cambridge University PressPrint publication year: 2022