Propositional logic/Logical connectives/Applied sciences/Introduction/Section