TEMA 5.

LÓGICA PROPOSICIONAL O LÓGICA DE ENUNCIADOS

I. DISTINCIÓN ENTRE LENGUAJE NATURAL Y LENGUAJE FORMAL:
• POR SU GÉNESIS:
-El lenguaje natural u ordinario es relativo a una comunidad histórica de hablantes.
-El lenguaje formal es un lenguaje artificial creado para propósitos científicos. De modo general
puede decirse que toda Cª recurre al empleo del lenguaje artificial del que forman parte (los términos
propios de cada una) pero en el caso de las Ciencias formales, Matemáticas y Lógica, el lenguaje
artificial requerido es un lenguaje simbólico o formal.
¿Qué características tienen los lenguajes simbólicos que los hacen óptimos para las tareas
de la lógica y las Matemáticas? ¿De qué deficiencias adolece el lenguaje natural, en cuanto no
formalizado, para esta empresa?
• POR SU SINTÁXIS:
-El lenguaje natural contiene ambigüedades y redundancias. Las reglas que determinan el uso de sus
términos, las reglas gramaticales son ambiguas y, enmuchos casos, no explícitas.
-El lenguaje simbólico emplea símbolos abstractos cuyo comportamiento y propiedades están
completamente determinados por un conjunto de reglas explícitamente formuladas y que no permiten
ambigüedades en su interpretación.
¿Qué ventajas tiene esto para los propósitos de las ciencias formales?
Son Ciencias rigurosas, esto es, deben realizar sus operaciones y cálculos de un modo exacto,
cosa que no sería posible si las reglas que dirigen estas operaciones y los elementos objeto del cálculo
no estuviesen completamente determinados.
Además, la potencia operativa del cálculo depende en gran medida de la formalización del
lenguaje en que se apoya. El uso de un simbolismo adecuado permite un mayor grado de seguridad y
exactitud en el cálculo.
• POR SU SUSTANTIVIDAD:
-El lenguaje natural e incluso el científico es siempre una estructura desde la cual aprehendemos la
realidad, contiene, pues, compromisos ontológicos.
-El lenguaje formal contiene dos grandes categorías de símbolos:
.símbolos constantes= con un sentido fijo dentro del lenguaje en cuestión (+, =).
.símbolos variables= cuyo sentido es oscilante variando en el contexto (x, y).
Esto significa que un lenguaje formal puede ser semánticamente neutro, de hecho, en sí lo es,
pues los símbolos carecen por sí de referencia, esto es, no hacen alusión a nada fuera del sistema, a
nada extralingüístico, son en sí sustantivamente neutros, no afirman nada acerca de los hechos de
experiencia, el que adquieran significado depende de la interpretación a la que los sometamos.
¿qué ventajas tienen esto?
Que al manejar los símbolos no estaremos presuponiendo nada de sus propiedades, salvo
aquello que se especifique en el sistema. Salvamos de este modo el peligro de los supuestos
inadvertidos.
• POR SU SEMÁNTICA:
-Los lenguajes naturales tienen carácter cerrado, pues no sólo contienen predicados lingüísticos, sino
también metalingüísticos. Pueden funcionar como metalenguajes de sí mismos. Cae en paradojas
semánticas.
-En los lenguajes simbólicos es posible establecer con toda nitidez la diferencia entre lenguaje objeto
y metalenguaje. Así, en Lógica, podemos distinguir entre un razonamiento y sus reglas formuladas en
un metalenguaje. De este modo, en los lenguajes formalizados son fácilmente evitables las paradojas
semánticas como la del mentiroso, haciendo la oportuna distinción entre lenguaje y metalenguaje.
La Tª de la verdad para un lenguaje natural siempre tendrá un carácter parcial, pues para
cumplir el requisito de la corrección formal tendrá que excluir predicados como "es verdad". Para los
lenguajes formales es posible dar una Tª de la verdad, pues, además de cumplir el requisito de
corrección formal, son lenguajes susceptibles de la especificación adecuada.
Ventajas de la formalización en las Ciencias formales:
1) Mayor y más perfecto control técnico en la práctica del cálculo.
2) Mejor conocimiento teórico de las leyes que rigen en él.
3) Facilita el descubrimiento de nuevos y variados sistemas de cálculo.
4) Un mismo sistema formal puede ser aplicado a distintos ámbitos de la realidad si resultase eficaz en
su estudio, pues es inssustantivo.
5) No incurre en paradojas semánticas.
6) Puede darse una concepción de verdad para ellos.

II.ANÁLISIS FORMAL DEL LENGUAJE ORDINARIO

Este análisis no puede recoger todas las dimensiones del lenguaje natural, sino sólo aquellas
que tiene en común con el lenguaje básico de la Cª, esto es, la dimensión enunciativa o aseverativa;
pero tampoco completa, pues dejaremos fuera los enunciados en que se hace uso de los términos
"necesario", "suficiente" o "probable", que son objeto de estudio de nuevas ramas de la lógica (lóg.
modal y lóg. de la probabilidad); pero tampoco tendremos en cuenta aquella parte del lenguaje natural
que incluye predicados metalingüísticos (por ejm. "verdadero") para respetar el criterio de corrección
formal a la hora de dar una definición de la verdad.
1.Análisis de la función denotativa del lenguaje natural:
El uso del lenguaje nos permite designar:
a) objetos o individuos del universo mediante nombres propios.
b) propiedades o notas de los objetos incluídas las relaciones, mediante nombres comunes. [por
"nombre común" entenderemos no sólo los así llamados en la gramática ordinaria, sino también los
adjetivos y verbos].
En terminología lógica, llamaremos :
-términos sujetos a los n.propios
-términos predicados a los n.comunes: predicados absolutos o monádicos(si la nota designada es una
cualidad que puede convenir a un sólo sujeto); predicados relativos o poliádicos (si la nota es una
relación entre varios objetos).
2.Análisis de la función atributiva del lenguaje natural:
Al hacer uso del lenguaje atribuimos propiedades a objetos, o relaciones de objetos, mediante
la composición de sujeto y predicado para formar enunciados de estructura simple.
-Un enunciado es un segmento lingüístico que tiene sentido completo y es susceptible de V o F.
Para formalizar los enunciados atómicos elegiremos 2 tipos de símbolos distintos:
-denotativos de objetos individuales : a,b,c, (ctes individuales)
-denotativos de propiedades y relaciones: P,Q,R, (letras predicativas)
y se estima que tales símbolos desempeñan en el lenguaje formal las funcione4s respectivas de los
nombres propios y comunes en el lenguaje natural.
Los enunciados atómicos se componen por yuxtaposición de los símbolos correspondientes,
yendo delante el símbolo predicativo por desempeñar una función lógicamente principal (Pa), y si se
trata de una relación el orden de las constantes individuales será el que tengan habitualmente en el
lenguaje ordinario (Pab).

III. LÓGICA DE 1er ORDEN Y LÓGICA DE ENUNCIADOS COMO LÓGICA BIVALENTE O

CLÁSICA lógica de juntores o enunciados.
lógica elemental o de 1er. orden lógica de cuantores o predicados:
-monádica: pred. absolutos
-poliádica o de relac: pred.relat.

lógica de orden superior : admite la cuantificación de las letras predicativas.

Lógica de enunciados como lógica bivalente o clásica:

Tanto la lógica de juntores como la lógica de cuantores son lógicas bivalentes, es decir, se
ajustan al principio de bivalencia (= todo enunciado es V o F, pero no ambas cosas a la vez). Las
lógicas que admiten este pº son denominadas lógicas clásicas. A estas podemos contraponer las lógicas
no-clásicas o multivalentes (= el nº de los valores de verdad de los enunciados puede ser superior a
dos, por ejm. V,F, Indeterminado).
Podemos exponer ahora las condiciones de verdad para cada uno de los juntores.
Negador Conjuntor

Disyuntor Implicador

Coimplicador

IV.DISTINCIÓN ENTRE SISTEMA DE DEDUCCIÓN NATURAL Y SISTEMA

AXIOMÁTICO
Sistema de deducción natural:
Se apoya en una serie de reglas de inferencia que se aproximan al uso "natural" u ordinario de
las partículas lógicas.
Extrae consecuencias derivables de ciertas hipótesis inicialmente aceptadas sin exámen previo
por parte del lógico. Cualquiera que sea el contenido de estas hipótesis, su establecimiento es
indiferente. Todo el interés del análisis y el control lógico se centra en la extracción de conclusiones.
Método axiomático:
Se somete a control lógico las hipótesis iniciales. Dicho control se efectúa escogiendo de
acuerdo con un determinado criterio de racionalidad determinados enunciados de la Tª, a la que se da
el nombre de axiomas o postulados y no son admitidos en la Tª otros enunciados que los que se
deduzcan de los axiomas por inferencia lógica. A los enunciados así deducidos se les llama Teoremas.
• Definición de teorema: fórmula del sistema convencionalmente elegida. No tiene el sentido
tradicional de proposición inmediatamente evidente. Así, desde el p. de vista estrictamente formal,
un axioma es un teorema obtenido mediante una demostración de 0 premisas. La distinción entre
teorema y axioma queda así trivializada.
• Definición de teoría axiomatizada: Tª deductivamente ordenada en axiomas y teoremas según
reglas de inferencia.
• Definición de sistema formal axiomático: la Tª científica de que se trate, además de axiomatizada
va acompañada de formalización, con lo que adquiere el máximo rigor.
• Definición de deducción natural (de Gentzen): es una Tª formal pero no axiomática, puesto que no
se explicitan los axiomas o fórmulas primitivas del sistema.
V.CATEGORÍAS DEL LENGUAJE FORMAL DE LA LÓGICA DE ENUNCIADOS:
Para especificar completamente un lenguaje formal es necesario establecer:
1) Una tabla de símbolos abstractos (entre los que habrá ctes y variables).
2) Una relación de las reglas de formación de fórmulas que permitan distinguir las fbfs de manera
mecánica.
3) Una relación de las reglas de transformación de fórmulas que permitan pasar de una expresiones
a otras.
1) Tabla de sómbolos formales (como el alfabeto de los lenguajes naturales):
a) Símbolos lógicos o juntores: ¬,v, ^ , --- , ----
b) Símbolos no-lógicos o letras enunciativas: p.q.r.s,..
c) Símbolos auxiliares: (,)
2) Relación de las reglas de formación de fórmulas (como la gramática de los lenguajes naturales):
Reglas que permiten decidir de manera mecánica su una expresión está bien o mal formada.
1. Definición de fórmula atómica: una letra enunciativa es una f. atómica. 2. Definición de
f.b.f: es una serie de n símbolos (siendo n>1) tal que se atienen a las siguientes reglas de formación:
R.1. Una f.atómica es una fbf
R.2. Si A es una fbf entonces ¬A es una fbf.
R.3. Si A y B son fbf entonces: A ^B, AvB, A---B, A----B, son fbf.
3) Reglas de transformación de fórmulas:
También podemos denominarlas reglas de cálculo deductivo. En este sentido podemos
distinguir:
-deducción natural (se aproxima a la deducción intuitiva).
-deducción no-natural o deducción axiomática.
Nosotros primero utilizaremos un sistema de deducción natural, en concreto el ideado por
Gentzen en 1934. El sistema consta de 8 reglas básicas, 2 para cada uno de los 4 juntores, una será de
introducción y la otra de eliminación (las de introducción, introducen en la conclusión un juntor que no
aparecía en las premisas, las de eliminación, eliminan de la conclusión un juntor que aparecía en las
premisas).
EN o Doble negación IN o Reduc. al Absurdo

ED o Prueba por casos ID o Adición

EC o Simplificación IC o Producto

EI o Modus Ponens II o Teorema de la deducción

Se observará que no hay reglas básicas para el Coimplicador. Esto se debe a que éste puede ser
transformado en una conjunción de implicaciones:

A esta lista de reglas básicas cabe añadir una lista de reglas derivadas que facilitan y abrevian la
resolución de los argumentos, aunque el uso de las reglas básicas es, principio, suficiente para resolver
todos los problemas deductivos en lóg. de juntores. Las reglas derivadas, en realidad consisten en
combinaciones rutinarias de las reglas básicas, por ello, todas pueden ser fundadas o reducidas
deductivamente a una serie ordenada de aplicaciones de las reglas básicas.
Ejm: SH (Silogismo hipotético) MT (modus Tollens)

VI. LÓGICA DE ENUNCIADOS COMO SISTEMA FORMAL AXIOMÁTICO:

Sistema formal L para el cálculo de enunciados. Definición:
1) Alfabeto de símbolos:
-símbolos lógicos: ¬, ----
-símbolos no-lógicos: p,q,r.
-símbolos auxiliares: (, )
2) Conjunto de fbf. Regla inductiva:
1. pi es una fbf para todo i>1
2. si A y B son fbf entonces ¬A y A----B son fbfs.
3. el conjunto de todas las fbf es el generado por 1 y 2.
3) Axiomas. Los esquemas de axioma son:
L1 A----(B----A) Carga de premisas
L2 [A----(B----C)]----[(A----B)----(A----C)] Distributiva de la implicación
L3 [(¬A)----(¬B)]----(B----A) Contraposición.
4) Reglas de deducción
A----B MP A ^B como ¬(A----B)
A AvB como ¬A----B
B A------B como (A----B) ^(B----A)
Nota:
• Por lo que atañe a 1: ¬ y ---- es un conjunto adecuado de conectivas porque:
-toda función de V está representada por alguna fbf de L.
-toda forma enunciativa será lógicamente equivalente a alguna fbf de L.
• Por lo que atañe a 3: Los axiomas si se consideran como formas enunciativas son tautologías. El
conjunto de axiomas que hemos escogido no es el único posible pero es adecuado para demostrar
el teorema de adecuación y el de corrección para la lógica de enunciados.

Explicación de la naturaleza deductiva de L:

Demostración en L:
Sucesión finita de fbf Ai,A2.........An tal que para todo i (1< i < n), o Ai es un axioma o se deduce de
los miembros anteriores de la sucesión Aj,Ak (j<i, k<i) como consecuencia directa aplicando la regla
de deducción MP.
Diremos que es una demostración de An en L y que An es un Teorema de L.
Demostración del Metateorema de corrección:
-Todo teorema de L es una tautología si (lógicamente deducibles) A entonces (verdad lógica).
-Demostración por inducción matemática sobre el nº de fbf de L miembros de una sucesión finita que
constituya una demostración de A en L.
-Paso base: suponemos que la demostración A tiene que ser un axioma. Y todos los axiomas de L son
tautologías.
-Hipótesis de inducción: todos los teoremas de L que poseen demostraciones de menos de n pasos son
tautologías.
Suponemos que la demostración de A contiene n fbfs (siendo n > 1). Entonces:
Caso 1 - A es un axioma, y por tanto, una tautología.
Caso 2 - A se deduce mediante MP de 2 fbfs anteriores en la demostración. Éstas deberán tener la
forma B---A y B. B---A y B son teoremas de L cuyas demostraciones son sucesiones de menos de n
fbfs (pues están antes en la demostración). Así pues, B y B---A son tautologías por hipótesis de
inducción y puesto que el MP transmite la tautologicidad de las premisas a la conclusión A es una
tautología.
Demostración del teorema de adecuación para L:
Si A entonces A
Demostración por reducción al absurdo:
- Supongamos que A no es un teorema de L ( ) y sí es una tautología ( )
-Entonces, la extensión L* obtenida añadiendo ¬A a L es cconsistente.
-Así pues, existe una valoración v que da a todo teorema de L* el valor de V, en particular v(¬A)=V
pero si A es una tautología esto no puede ser,
-Pt, hemos llegado a una contradicción v(¬A)=V y v(¬A)=F
A debe ser un teorema de L( A).
Una vez demostrados los teoremas de corrección y adecuación para L podemos afirmar que
este sistema formal cumple el principal requisito: que las fbfs derivables en él sean precisamente las
lógicamente verdaderas.
Esto, a su vez, nos proporciona un método automático para decidir si una fbf de L es o no un
teorema de L, pues para ello bastará con considerarla como forma enunciativa y construir su tabla de
verdad. Es A sii A. Pt L es decidible.
La demostración de la consistencia de L es uy fñacil a partir del teorema de corrección:
supongamos que L no sea consistente. Por ejm: existe una fbf A tal que A y ¬A entonces por
Teorema de corrección A y ¬A serán tautologías. Esto es imposible, pt, L es consistente ( por Red.
Abs).
Nota: Def. de valoración : valoración de L es una función v cuyo dominio es el conjunto de fbfs de L y
cuyo rango es el conjunto {v,f}, tal que para fbfs cualesquiera A y B de L se cumple :
1) v(A) = v(¬A)
2) v(A---B)=F sii v(A)=V y v(B)=F