← 1.1 Propositions and logical operations