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
5 - Working with Proofs
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
Lemmas and their use in proofs and the “Lemma” Theorem. Modus Ponens, the Deduction Theorem, and proofs by way of contradiction.
- Type
- Chapter
- Information
- Mathematical Logic through Python , pp. 69 - 83Publisher: Cambridge University PressPrint publication year: 2022