Propositional logic/Universally valid/1/Exercise