Introduction to Propositional Logic

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).

Join Today
Introduction to Language Models (LLM's, Prompt Engineering, Encoder/Decoder and more)
▶︎

Introduction to Language Models (LLM's, Prompt Engineering, Encoder/Decoder and more)

MIT Godel Escher Bach Lecture 1
▶︎

MIT Godel Escher Bach Lecture 1

Lecture 1: Introduction to Superposition
▶︎

Lecture 1: Introduction to Superposition

How to Read Logic
▶︎

How to Read Logic

Russell's Paradox - a simple explanation of a profound problem
▶︎

Russell's Paradox - a simple explanation of a profound problem

The Professor Who Taught People How To Think (1962)
▶︎

The Professor Who Taught People How To Think (1962)

The Most Misunderstood Concept in Physics
▶︎

The Most Misunderstood Concept in Physics

Deep Reinforcement Learning
▶︎

Deep Reinforcement Learning

God Says:"DON’T IGNORE THIS IMPORTANT LETTER I SENT YOU"/God Message Now/God Message
▶︎

God Says:"DON’T IGNORE THIS IMPORTANT LETTER I SENT YOU"/God Message Now/God Message

Harvard Professor Explains The Rules of Writing — Steven Pinker
▶︎

Harvard Professor Explains The Rules of Writing — Steven Pinker

16. Learning: Support Vector Machines
▶︎

16. Learning: Support Vector Machines

Understand AI in 14 minutes – with Anthropic's Chloe Lubinski [ARC 2026]
▶︎

Understand AI in 14 minutes – with Anthropic's Chloe Lubinski [ARC 2026]

Toward Artificial Metacognition (extended version of AAAI-2026 talk)
▶︎

Toward Artificial Metacognition (extended version of AAAI-2026 talk)

You Need to Be Bored. Here's Why.
▶︎

You Need to Be Bored. Here's Why.

'Listen Like You Might Be Wrong': Harvard Student Goes Viral For Stunning Speech On Trump Amid Feud
▶︎

'Listen Like You Might Be Wrong': Harvard Student Goes Viral For Stunning Speech On Trump Amid Feud

Lecture 1: Introduction to Cryptography by Christof Paar
▶︎

Lecture 1: Introduction to Cryptography by Christof Paar

She’s 12. She Sings Aretha Franklin… Until Simon TELLS Her to Do It Acapella! 😳
▶︎

She’s 12. She Sings Aretha Franklin… Until Simon TELLS Her to Do It Acapella! 😳

Clara Mattei: capitalism is not natural - it’s enforced
▶︎

Clara Mattei: capitalism is not natural - it’s enforced

Alle lachten über die 120-Kilo-Braut – bis ihre wahre Identität bekannt wurde.
▶︎

Alle lachten über die 120-Kilo-Braut – bis ihre wahre Identität bekannt wurde.

The FASTEST introduction to Reinforcement Learning on the internet
▶︎

The FASTEST introduction to Reinforcement Learning on the internet