1.5 Soundness and Completeness
Soundness, completeness, and the relationship between semantic validity and formal provability.
Tag
Propositional Logic
6 notes
1.4 Normal Forms
Conjunctive normal form, disjunctive normal form, and systematic conversion of propositional formulas.
1.3 Logical Equivalence
Logical equivalence, truth preserving transformations, and basic laws for rewriting propositional formulas.
1.2 Semantics: Truth Tables
Truth values, valuations, and evaluation of propositional formulas using truth tables.
1.1 Syntax: Variables, Connectives
Definition of propositional variables, logical connectives, and formation rules for well formed formulas.
Chapter 1. Propositional Logic
Foundations of propositional logic including syntax, semantics, equivalence, normal forms, and proof systems.