The Fastest Way to Become a Backend Developer Online
AI Engineer - Learn how to integrate AI into software applications
Overview
Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
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