Lecture 6 (Logic)