Dadas las proposiciones