Book contents
- Frontmatter
- Dedication
- Contents
- Preface
- 0 Introduction and Overview
- Part I Propositional Logic
- 1 Propositional Logic Syntax
- 2 Propositional Logic Semantics
- 3 Logical Operators
- 4 Proof by Deduction
- 5 Working with Proofs
- 6 The Tautology Theorem and the Completeness of Propositional Logic
- Part II Predicate Logic
- Cheatsheet Axioms and Axiomatic Inference Rules Used in This Book
- Index
4 - Proof by Deduction
from Part I - Propositional Logic
Published online by Cambridge University Press: 25 August 2022
Book contents
- Frontmatter
- Dedication
- Contents
- Preface
- 0 Introduction and Overview
- Part I Propositional Logic
- 1 Propositional Logic Syntax
- 2 Propositional Logic Semantics
- 3 Logical Operators
- 4 Proof by Deduction
- 5 Working with Proofs
- 6 The Tautology Theorem and the Completeness of Propositional Logic
- Part II Predicate Logic
- Cheatsheet Axioms and Axiomatic Inference Rules Used in This Book
- Index
Summary
An introduction to deductive proofs. Inference rules and their specializations. Implementation of a “Proof” object in Python. The Soundness Theorem.
- Type
- Chapter
- Information
- Mathematical Logic through Python , pp. 53 - 68Publisher: Cambridge University PressPrint publication year: 2022