Introduction to Propositional Logic

Dive into the fundamentals of propositional logic in this 36-minute tutorial from the Neuro Symbolic Channel. Explore atoms, operators, truth tables, and the natural language meaning of logic. Learn about inference and related topics, starting with a module introduction before delving into the basics of propositional logic, including logical operators and symbols. Gain a deeper understanding of propositional logic, discover how to compute truth values, and explore inference in propositional logic along with key inference rules. Originally part of an AI course from Arizona State University, this tutorial offers insights into the exciting intersection of symbolic methods and deep learning, providing valuable knowledge for those interested in artificial intelligence, machine learning, and progress towards artificial general intelligence (AGI).

Module introdution
Basics of propositional logic logical operators and symbols
Understanding propositional logic
Computiong truth values
Inference in propositional logic
Inference rules