Lenguaje formalizado de la lógica proposicional.

El lenguaje natural y el lenguaje formalizado.

Existen dos tipos fundamentales de lenguaje: el natural y el formalizado. El lenguaje natural es el lenguaje usado en la familiar, en la vida cotidiana. Tiene una amplia gama expresiva, es decir, sirve para comunicar informaciones, formular órdenes, expresar deseos, sentimientos, etc. Pertenecen a este lenguaje, por ejemplo, el español, el ingles, etc. El lenguaje formalizado es el lenguaje usado en la actividad científica. Solo sirve para formular conocimientos. Es un lenguaje especializado. Pertenecen a este lenguaje, por ejemplo, el lenguaje lógico y el matemático.