docoo
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.
  • ....
--