Aprende a formalizar enunciados del lenguaje natural usando conectivos lógicos
Practica la traduccion paso a paso