Lecture 3 (Logic)