Lesson 1: Propositions and Logical Operators (Connectives)