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.
Overview
Syllabus
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
Taught by
Insights into Mathematics
Related Courses
-
The Ultimate Guide to Propositional Logic for Discrete Mathematics
5.0 -
Replacing Truth Tables and Boolean Equivalences - N J Wildberger
-
Mathematical Logic
-
The Holy Grail of Propositional Logic - MathFoundations - N J Wildberger
-
A Systematic Approach to Logical Deduction and the Boole-Mobius Transform II - N J Wildberger
-
Inference Rules via the Algebra of Boole - MathFoundations 275
