Dive into a comprehensive 18-minute video lecture on propositional logic, essential for understanding artificial intelligence foundations. Explore classic logic syntax and world-based semantics, covering key concepts such as satisfaction, implication, rules, and logic programs. Learn about consistency and entailment while gaining insights into the intersection of symbolic methods and deep learning. Access accompanying slides for enhanced learning, and benefit from expert instruction by Paulo Shakarian from Arizona State University. Ideal for those interested in neuro-symbolic AI, this tutorial serves as a crucial stepping stone towards grasping advanced concepts in artificial general intelligence (AGI).