Así por ejemplo dadas las proposiciones: