This is CS50 AI 2023, an older version of the course. See cs50.harvard.edu/ai/2024 for the latest!
Propositional Logic. Entailment. Inference. Model Checking. Resolution. First Order Logic.