Formalizacion-de-enunciados-en-logica-proposicional.pdf