Lógica de enunciados y su lenguaje

Lógica de enunciados y su lenguaje

Xavier Martínez Garsaball

cadetill
18 de noviembre de 2004

Pág. 1/8
Lógica de enunciados y su lenguaje

Índice
1. Los razonamientos............................................................................................................................ 3
2. El lenguaje........................................................................................................................................ 4
2.1. Elementos básicos del lenguaje................................................................................................ 4
2.2. Enunciados................................................................................................................................4
3. Formalización................................................................................................................................... 6
3.1. Consejos para formalizar.......................................................................................................... 6
4. El uso de la conectiva →.................................................................................................................. 7
5. Formalización de frases complejas...................................................................................................8

Pág. 2/8
Lógica de enunciados y su lenguaje

1. Los razonamientos
Los razonamientos son el objetivo de estudio de la lógica y podrían definirse como una secuencia
de frases formuladas de tal forma que de la aceptación de las primeras sigue la aceptación de la
última.
Estos suelen tener la siguiente estructura:

frase1, ....., frasen por lo tanto, frasen+1

Donde las n primeras frases de la estructura se llaman premisas, además, ésta es variable,
pudiendo o no aparecer las frases del principio (pueden estar sobreentendidas) y las palabras por lo
tanto pueden cambiar a otras construcciones como entonces, consiguientemente, en
consecuencia,.....
Ejemplo: “El domingo el supermercado está cerrado. Hoy el
supermercado está abierto. Por lo tanto hoy es domingo.”

Pág. 3/8
Lógica de enunciados y su lenguaje

2. El lenguaje
La riqueza del lenguaje natural, hace que éste sea el vehículo de comunicación por excelencia, pero
esa riqueza hace que éste no sea el más adecuado para el estudio de los razonamientos. Por este
motivo, la lógica recorre a la utilización de un lenguaje formal o simbólico llamado lenguaje de
enunciados (el más simple de todos ellos).

2.1. Elementos básicos del lenguaje

• Los átomos: formalización de una frase declarativa que no se puede descomponer en otras de
más simples. Por convenio, suelen representarse por letras mayúsculas a partir de la P.
Decir que, no todas las frases pueden formalizarse, éstas han de ser declarativas, es decir, si tiene
sentido cuestionarse su veracidad.
Ejemplo: “Cuando es fiesta y los comercios están autorizados a
abrir, entonces las ventas son abundantes si no llueve.”
P: es fiesta
Q: los comercios están autorizados a abrir
R: las ventas son abundantes
S: llueve

• Las conectivas: operadores que permiten la concatenación de átomos para formar construcciones
más complejas. Estas son:

Conectivas
Símbolo Nombre Significado Correspondencia
∧ Conjunción y y, pero
∨ Disyunción o o (no inclusiva)
¬ Negación no no, nunca, ni,...
Implicación o si...entonces si...entonces...,
→
condicional quando...entonces cuando...entonces...

Ejemplo: si consideramos la frase del ejemplo anterior tenemos

(en colores diferentes cada una de ellas):
“Cuando es fiesta y los comercios están autorizados a
abrir, entonces las ventas son abundantes si no llueve.”

2.2. Enunciados
Un enunciado es un conjunto formado por letras que designan átomos conectados por conectivas y
agrupados por paréntesis para establecer el orden.
Por convenio, los enunciados se designan por letras mayúsculas empezando a partir de la A.
Reglas:
• Todo átomo es enunciado

Pág. 4/8
Lógica de enunciados y su lenguaje

• Si A es un enunciado, entonces ¬Α también lo es.

• Si A y B son enunciados, entonces (A ∧ B), (A ∨ B) y (A → B) también lo son.
• Cualquier enunciado se obtiene de las tres reglas anteriores.
Convenciones:
• Prioridad de las conectivas: siendo de mayor a menor, tenemos ¬, ∧ ∨, →
• Eliminar los paréntesis más exteriores y los que la asignación de prioridades especificadas
anteriormente los hagan innecesarios.
Ejemplo: Continuando el ejemplo anterior, el enunciado sería:
P ∧ Q → (¬S → R)

Pág. 5/8
Lógica de enunciados y su lenguaje

3. Formalización
Formalizar significa pasar del lenguaje natural al lenguaje propio de la lógica, es decir, en este
caso, el lenguaje de enunciados.
Pasos a seguir para la formalización:
1. Descubrir las frases declarativas simples que formen el texto y asignarles un símbolo.
2. Detectar las conectivas del lenguaje natural y sustituirlas por las del lenguaje de enunciados.
Ejemplo: “Cuando los informáticos hacen bien su trabajo y los
clientes hacen peticiones aceptables, los directivos se muestran
amables con sus subordinados. Cuando los directivos son amables
con sus subordinados, los accionistas minoritarios compran más
acciones. De todo esto se deduce que si los accionistas
minoritarios no compran más acciones, pero los informáticos hacen
bien su trabajo, los clientes no hacen peticiones aceptables.”
I: Los informáticos hacen bien su trabajo
C: Los clientes hacen peticiones aceptables
D: Los directivos se muestran amables con sus subordinados
A: Los accionistas minoritarios compran más acciones
I ∧ C → D, D → A ∴ ¬A ∧ I → ¬C
En el ejemplo anterior se ha añadido un nuevo símbolo, el ∴ que es el símbolo que va entre las
premisas y la conclusión.

3.1. Consejos para formalizar.

• Leer atentamente el texto para identificar los átomos y procurar no incluir dentro de estos
palabras que sean conectivas.
• Los átomos han de ser “positivos”. La negativa ya se obtendrá con la conectiva ¬.
• Prestar atención a las puntuaciones del texto (comas, puntos,....) ya que puede substituir a una
conectiva o indicar el orden de los paréntesis.
• Muchos errores vienen dados de un mal uso de la conectiva → (ahora veremos su uso).
• No hacer suposiciones de lo que se quiere decir y concentrarse en lo que realmente se dice.

Pág. 6/8
Lógica de enunciados y su lenguaje

4. El uso de la conectiva →
Esta se usa para formalizar condiciones de las que existen dos tipos:
1. Condiciones suficientes: son aquellas que expresan que una cosa es condición suficiente para
que se dé otra. Las expresiones “si... entonces...”, “...si...”, “cuando... entonces...”, “siempre
que....”, “es suficiente que....”, etc, denotan una expresión suficiente.
Ejemplo: “Cuando los zapatos son nuevos, me hacen daño” : que los
zapatos sean nuevos, es suficiente para que me hagan daño

2. Condiciones necesarias: son aquellas que expresan que una cosa es un condición necesaria
para que se dé otra. Las construcciones usadas habitualmente son “es necesario... para...”,
“sólo...”, “sólo cuando...”, “es necesario que... para...”.
Ejemplo: “Es necesario que llueva para que hayan buenas cosechas”

Hay que tener presente que:

• A → B significa que 'A es suficiente para B', que con sólo tener A, tenemos B y que cuando se
tiene A, seguro que se tiene B.
• En ningún caso se excluye la posibilidad de tener B sin A
• Se puede afirmar que cuando se de A se dará B, pero no al revés.
• Una frase con el significado de “A es necesario para B” no puede ser formalizada como A →
B porque “A es necesario para B” no es lo mismo que “A es suficiente para B”. No obstante,
“A es necesario para B” puede ser expresado como una condición suficiente de las maneras
siguientes:
• Que “A es necesario para B” quiere decir que “sin A no se tiene B”o lo que es lo mismo,
que “la ausencia de A es suficiente para la ausencia de B”, es decir:
¬A → ¬B
• Que “A es necesario para B” quiere decir que “la presencia de B es suficiente para la
presencia de A”, es decir:
B→A

Pág. 7/8
Lógica de enunciados y su lenguaje

5. Formalización de frases complejas

Para la formalización de frases complejas, es aconsejable el reducir el problema a problemas más
simples (los cuales, a su vez, pueden ser reducidos a otros de más simples). A esta técnica se le
puede llamar análisis descendiente o top-down analysis.
Vamos a verlo con un ejemplo.
Queremos formalizar la frase:
“Cuando tienes recursos potentes y no te faltan conocimientos técnicos,
consigues unos resultados espectaculares siempre que los directivos te den
soporte”

Para ello asignamos:

T: (Tu) tienes recursos potentes
M: Te faltan conocimientos técnicos
R: (Tu) consigues unos resultados espectaculares
D: Los directivos te dan soporte
Globalmente la frase expresa una condición suficiente por el hecho de que:
“Tienes recursos potentes y no te faltan conocimientos técnicos” es condición suficiente para
“Consigues unos resultados espectaculares siempre que los directivos te den suporte”
Si llamamos X a la formalización de la primera frase y Y a la de la segunda, tendremos que
X→Y
Ahora que hemos formalizado toda la frase en 2 más simples, tenemos que formalizar éstas
• Si formalizamos X tendremos:
T ∧ ¬M
• Al formalizar Y, vemos que ésta expresa una condición suficiente por el hecho de que:
“Los directivos te dan soporte” es suficiente para
“Consigues unos resultados espectaculares”
Así, la formalización de Y será:
D→R
Por lo tanto, tenemos que la formalización de la frase completa será:
(T ∧ ¬M) → (D → R)

Pág. 8/8