这是用户在 2024-7-16 14:36 为 https://cs50.harvard.edu/ai/2024/weeks/1/ 保存的双语快照页面，由 沉浸式翻译 提供双语支持。了解如何保存？

Week 1 Knowledge

Propositional Logic. Entailment. Inference. Model Checking. Resolution. First Order Logic.