Formalizar un lenguaje equivale a especificar su estructura mediante un metalenguaje (un lenguaje que se usa para hablar sobre otro).
En Aprende Lógica formalizamos cuando traducimos expresiones del lenguaje natural al lenguaje formal de la lógica proposicional.
(v. lenguaje formal, lenguaje natural, lenguaje objeto, metalenguaje)
