Propositional Logic and the Algebra of Boole - N J Wildberger

Explore the foundations of classical Propositional Logic in this comprehensive video lecture. Delve into the systematic approach to reasoning using atomic statements, connectives, and truth values. Examine a Lewis Carroll puzzle to illustrate logical concepts. Learn about propositional formulas, equivalences, and techniques for simplification. Discover how George Boole's mathematical approach transforms true and false into 1 and 0, leading to the Algebra of Boole. Gain insights into tautologies, contradictions, and satisfiability in logical statements. Master the use of truth tables and equivalences as analytical tools in Propositional Logic.

Introduction
Lewis Carroll Logic puzzle
Atomic ingredients
Truth values: either true T or falseF
Composite propositions
Propositional formulas
Equivalent formulas
Equivalences are useful
Three main techniques for simplifying formulas in PL