dicc
ejer
even
lecc
pers
Formalizar
Traducir del lenguaje natural al lenguaje formal.
El lenguaje formal al que se traduzca puede ser:
Lenguaje proposicional o de enunciados.
Lenguaje de predicados.
Lenguaje matemático.
Lenguaje científico.
....
--