Propositional logic/Propositions/Applied sciences/Introduction/Section