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
1 - Propositional Logic Syntax
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 Propositional Logic, focusing on the syntax. The unique readability theorem. Implementation of a “Formula” Python object and parsing formulas.
- Type
- Chapter
- Information
- Mathematical Logic through Python , pp. 13 - 23Publisher: Cambridge University PressPrint publication year: 2022