Domina la traducci贸n de expresiones del lenguaje natural al lenguaje simb贸lico de la l贸gica proposicional.