Propositional logic/Tautologies/Applied sciences/Introduction/Section