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
9 - Deductive Proofs of Predicate Logic Formulas
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
Proofs by deduction in Predicate Logic. Axiom schemas and their instances. Implementation of “Schema” and “Proof” objects for Predicate Logic in Python. Use of tautologies in proofs. The Soundness Theorem for predicate logic.
- Type
- Chapter
- Information
- Mathematical Logic through Python , pp. 143 - 177Publisher: Cambridge University PressPrint publication year: 2022