Create ejemplo_proposicion.hs