Lenguaje formalizado

       Lenguaje formalizado

Cuando un lenguaje formal posee una semántica, es decir, cuando existe una interpretación que satisface sus fórmulas válidas, entonces se convierte en un lenguaje formalizado. Los lenguajes formalizados son unos instrumentos especializados necesarios para las ciencias al evitar las ambigüedades y las vaguedades del lenguaje ordinario.

Ejemplos de lenguajes formalizados: la lógica proposicional, la teoría de conjuntos, el álgebra de Boole, etc.

Fuente: Lenguaje Formalizado