Propositional Logic and the Algebra of Boole - N J Wildberger
Offered By: Insights into Mathematics via YouTube
Course Description
Overview
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
Related Courses
Introduction to LogicStanford University via Coursera Think Again: How to Reason and Argue
Duke University via Coursera Language, Proof and Logic
Stanford University via edX Artificial Intelligence: Knowledge Representation And Reasoning
Indian Institute of Technology Madras via Swayam Mathematical Logic and Algorithms Theory
Tomsk State University of Control Systems and Radioelectronics via iversity