Cómo convertir una proposición al lenguaje simbólico