Introduction to propositional logic: atoms, operators, truth tables, natural language meaning of logic, inference, and related topics.
00:00 Module introdution
02:57 Basics of propositional logic (logical operators and symbols)
10:04 Understanding propositional logic
21:05 Computiong truth values
28:00 Inference in propositional logic
31:10 Inference rules
The Neuro Symbolic Channel provides the tutorials, courses, and research results on one of the most exciting areas in artificial intelligence and machine learning. With content originally from the AI course taught at Arizona State University, this channel brings you the latest at the intersection of symbolic methods (e.g., logic programming) and deep learning. Learn about the latest algorithms, Python packages, and progress toward larger goals such as artificial general intelligence (AGI).
