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
2 - Propositional Logic Semantics
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
The semantics of propositional formulas: models and truth tables, tautologies and contradictions. Disjunctive Normal Form and the DNF Theorem. Optional: Conjunctive Normal Form and the CNF Theorem, computational search problems, satisfiability, P and NP.
- Type
- Chapter
- Information
- Mathematical Logic through Python , pp. 24 - 40Publisher: Cambridge University PressPrint publication year: 2022