Propositional logic/Variables and logical connectives/Applied sciences/Introduction/Section