Formalizar

Traducir del lenguaje natural al lenguaje formal.

El lenguaje formal al que se traduzca puede ser:

• Lenguaje lógico.
• Lenguaje matemático.
• Lenguaje científico.
• ....