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
7 - Predicate Logic Syntax and Semantics
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
Introduction to first-order Predicate Logic. Syntax and semantics, models and quantification. Implementation of “Term,” “Formula,” and “Model” objects for Predicate Logic in Python.
- Type
- Chapter
- Information
- Mathematical Logic through Python , pp. 109 - 128Publisher: Cambridge University PressPrint publication year: 2022