Lecture 1 Knowledge

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