¿A qué equivaldrían los elementos de un lenguaje formal en el lenguaje ordinario?
Respuestas a la pregunta
En este apartado nos interesa examinar dos cosas cómo se construye el lenguaje de la lógica proposicional y cómo se formalizan en él los enunciados del español.
El lenguaje de la lógica proposicional se caracteriza por:
Sólo se formalizan aquellas expresiones lingüísticas que expresan un pensamiento completo; no limitamos al uso declarativo del lenguaje. El lenguaje formal es más pobre que el lenguaje natural, quedan sin formalizar las dudas, los chistes, las preguntas o las exclamaciones.
Lo que antes parecía una desventaja supone ahora una ventaja pues, evita la ambigüedad, es un lenguaje más preciso.
Es un lenguaje que se ocupa de la relación entre los enunciados. La combinación de enunciados simples (atómicos), da lugar a enunciados complejos (moleculares). El valor de verdad de los enunciados complejos depende del valor de verdad de los enunciados simples que lo forman. El valor de los conectores se fija de antemano.
Los enunciados simples, atómicos son aquellos enunciados que no contienen términos de enlace; por eso no se analizan. Expresiones como Todos los árboles son pinos, se considera un enunciado atómico. Pedro baila y María toca la pandereta, e un enunciado molecular.
Los conectores se interpretan como funciones veritativas.
Un enunciado o es verdadero o es falso, se trata de una lógica bivalente.