Lecture 1 (Logic)