tarrea

El lenguaje formal.

En este apartado nos interesa examinar dos cosas cómo seconstruye 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 expresioneslingüí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ónentre 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 losenunciados 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 seanalizan. 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 funcionesveritativas.
Un enunciado o es verdadero o es falso, se trata de una lógica bivalente.
¿Cómo se construye un lenguaje formal?

Un lenguaje formal consta de un alfabeto básico y de unas reglasprecisas de formación de fórmulas (R. F. F.).

Tabla de símbolos:

Los elementos primitivos de la lógica proposicional son:
Las variables proposicionales: signos que sirven para simbolizar unenunciado cualquiera y que son las letras minúsculas del abecedario, a partir de la p: “p”, “q”, “r”, “s”, “t”, etc. Así, la proposición los alumnos de primero de bachillerato son muy estudiosos, podría...