Introduction to Propositional Logic
Offered By: Neuro Symbolic via YouTube
Course Description
Overview
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).
Syllabus
Module introdution
Basics of propositional logic logical operators and symbols
Understanding propositional logic
Computiong truth values
Inference in propositional logic
Inference rules
Taught by
Neuro Symbolic
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