Lógica para principiantes

Alianza Editorial
(libro y CD de apoyo)
VII Encuentro Internacional de
Didáctica de la Lógica

Marı́a Manzano Antonia Huertas

Noviembre 2004
1. Resumen Objetivos

Primer libro de lógica

• Alumnos primer ciclo: Filosofı́a e Informática

• Profesores bachillerato (14-17)

• Alumnos bachillerato (parte I y II)

• Autoestudio

RECETA

• Entusiasmar e implicar al alumno

◦ Profesor: adicto

◦ No ofender la inteligencia del lector

◦ El alumno descubre las respuestas y crea

material educativo
 ◦ En clave futuro investigador

• Texto fácil de leer

◦ Hoy se mira, no se lee

◦ Énfasis en la formalización

◦ Ejemplos: Interesantes, divertidos, mundo real

◦ CD-Rom con miles de ejercicios, 2/3 resuel-

tos

• No renunciar a la lógica formal

◦ Definiciones precisas

◦ Glosario de términos

◦ Introducciones intuitivas

◦ Presentación informal de metateoremas (com-

pletud y corrección)
 ◦ Demostraciones en CD-Rom (80 páginas de
metalógica)

• Apoyo en clases prácticas con ordenador

◦ Tarski world

◦ Software propios alumnos

◦ El CD-Rom que acompaña nuestro libro

• Márketing de la lógica
◦ Herramienta aplicable
¦ Informática

¦ I.A.

◦ Interesante teorı́a que

¦ investigar, desarrollar, mejorar, etc.

¦ adaptar a nuevas necesidades de: lenguaje,

informática, matemáticas, economı́a, ética,
ciencia, transmisión de información, etc.
2. LÓGICA PROPOSICIONAL

2.1. Introducción general

¿Qué es la Lógica?

Figura 1: Summa Logicae

Lógica o Lógicas

Pasado, Presente, Futuro

 Lógica = estudio de la consistencia

Consistencia 6= lealtad
Consistencia 6= justicia
Consistencia 6= sinceridad
Inconsistencia 6= estupidez
Inconsistencia 6= irracionalidad
Inconsistencia 6= desacuerdo con la realidad

El barbero de Las Batuecas

Hace pocos dı́as me contaron el caso de un hombre
llamado Roque, barbero en Las Batuecas. Sólo me
habı́an dicho dos frases cuando exclamé: ¡Imposible!

“Roque vive en Las Batuecas.”

“Roque afeita a los habitantes de Las Batuecas

que no se afeitan a sı́ mismos y sólo a ellos.”

¿Me precipité al no creerme lo que me contaban?

 ¡Polı́ticos!

Uno de nuestros insignes polı́ticos manifiesta:

“Es un error censurar, por violentas, la retrans-

misión de las corridas de toros porque lo que ve-
mos en la televisión no afecta en absoluto el com-
portamiento; ni siquiera el de los jóvenes.”

“Deberı́a haber más programas y documentales

que mostraran nuestras costumbres nacionales (bai-
les tı́picos, corridas de toros, concursos de cortar
troncos, etc.) para ası́ fomentar estas costumbres
entre los jóvenes.”

Suponiendo que dice lo que cree, ¿son consistentes

sus creencias?
 Enunciados

Creencias à enunciados

Lengua natural à lenguaje formal

• ambiguedades CHISTES

• bivalencia

“Pernambuco es un estado de Brasil, cuya capital fue

Olinda”

“Todo entero par mayor que dos es igual a la suma

de dos primos”
 Consecuencia

Traducciones y retrotraducciones
Esto es, p ∧ q ² p signifiquen lo que signifiquen
p y q.

Picasso es malagueño

Si Picasso nació en Málaga (p), entonces no es

cierto que naciera en Francia (¬q).

Picasso no nació en Francia.

LUEGO

Picasso nació en Málaga.

 Esquema

{(p → ¬q), ¬q} ² p

Picasso es uruapano

Si Picasso nació en Uruapan (p), entonces no es

cierto que naciera en Francia (¬q).

Picasso no nació en Francia.

LUEGO

Picasso nació en Uruapan.

 La obscuridad de la noche

Una prueba de la Teorı́a del Big Bang

El gran descubrimiento de este siglo es que el uni-

verso no es inmóvil ni eterno, como supuso la mayorı́a
de los cientı́ficos del pasado. El universo tiene una
historia, no ha cesado de evolucionar, enrareciéndose,
enfriándose, estructurándose. Esta evolución sucede
desde un pasado distante que se sitúa, según las es-
timaciones, hace diez o quince mil millones de años,
cuando el universo está completamente desorganizado,
no posee galaxias, ni estrellas, ni moléculas, ni tan si-
quiera núcleos de átomos...Es lo que se ha llamado
el BIG BANG. Una de las pruebas indirectas de esta
teorı́a se puede plantear ası́:

Si las estrellas fueran eternas (p), entonces la canti-

dad de luz emitida serı́a infinita (q). Si la cantidad de
luz emitida fuera infinita, entonces el cielo deberı́a ser
extremadamente luminoso (r). El cielo es obscuro.

LUEGO: Las estrellas no existieron siempre.

 Esquema
{(p → q), (q → r), ¬r} |= ¬p

Lucrecio, filósofo romano, siglo I a.C

Lucrecio afirmaba que el universo aún estaba en su

juventud. Razonó ası́: He comprobado desde mi in-
fancia, se dijo, que las técnicas se han ido perfeccio-
nando. Han mejorado el velamen de nuestros barcos,
inventado armas más y más eficaces, fabricado instru-
mentos musicales más refinados...¡Si el universo fuera
eterno, todos estos progresos habrı́an tenido tiempo
de realizarse cien, mil, un millón de veces¡

Si el universo fuera eterno (p), entonces todos los pro-

gresos se habrı́an realizado ya (q). Si todos los progre-
sos se hubieran producido ya, el mundo estarı́a aca-
bado, no cambiarı́a (r). El mundo cambia.

LUEGO

El mundo no existe desde siempre

Tipologı́a de razonamientos correctos, clasificados por
los valores de verdad de sus hipótesis y conclusión en
la realidad
Conclusión
Verdadera Falsa
Hipótesis Verdadera 1 2
Falsa 3 4

Tipologı́a de razonamientos incorrectos, clasificados

por los valores de verdad de sus hipótesis y conclusión
en la realidad
Conclusión
Verdadera Falsa
Hipótesis Verdadera 5 6
Falsa 7 8
 Distinciones importantes

Razonamiento concluyente

Válido, con hipótesis compatibles

Revisión de creencias

Encontrar soluciones razonables

NUESTRO PLAN

Soltar lastre

INTUITIVO SEMÁNTICO SINTÁCTICO

Consistencia Satisfacibilidad Consistencia
Consecuencia Consecuencia Deducibilidad

Limitaciones lógica proposicional

Una lógica es como una balanza

Figura 2: Balanza
2.2. El lenguaje de la lógica proposicional

Caracterı́sticas

Inducción y recursión

• Notación uniforme

• Inducción y recursión estructural

Formalización en PL

No traducción literal

• MAFIA

• Tarski

Comprobar con tabla de verdad

 Condicional

• Distinto al orden de los eventos

• Distinto que implicación

Cartas

“Si hay una vocal por una cara, por la otra hay un
número par”.

2 1 A B
Figura 3: Las cartas “sobre la mesa”

¿A cuántas cartas tengo que darle la vuelta para estar

completamente segura de que la ley se cumple?
 Ejercicios del CD

• Fórmulas

• Formalización

• Formalización inversa

Miles de ejemplos

1. El fuego (p) es la causa del humo (q).

2. La magia del cuento se revela (p) sólo cuando Pi-

nocho miente (q) o Blancanieves muerde la man-
zana (r).

3. Leeré a Proust (p), si me voy de vacaciones (q) y

encuentro sus libros en oferta (r).
2.3. Semántica

Objetivos

Deshacernos: traducción/retrotraducción

Por etapas

• Tablas de verdad

• Definiciones: Interpretación, semántica

Exportables a primer orden

• Añoranza tablas de verdad

Metalógica: Reflexividad, Monotonı́a, Corte, Básico

ATRAPAR LA LÓGICA
Arquı́mides y la corona del rey Hierón II de Siracusa

Cuenta la leyenda que el rey Hierón de Siracusa habı́a

encargado una corona de oro macizo al orfebre real
y que cuando éste se la entregó dudó seriamente de
su honestidad, pidiéndole a Arquı́medes que compro-
bara si efectivamente la corona era de oro puro. Na-
turalmente, no podı́a dañar la corona para hacerlo.
Arquı́medes andaba dándole vueltas al asunto hasta
que un dı́a, al entrar en la bañera, observó el agua que
rebosaba y se le ocurrió una forma de medir el volu-
men. Cuentan que se puso tan contento, que salió des-
nudo por las calles de Siracusa gritando ¡eureka! (lo
encontré).

Lo que Arquı́medes pensó fue:

Pesarı́a la corona y medirı́a su volumen midiendo el

del agua que desplazara. Tomarı́a un lingote de oro
macizo que pesara lo mismo y medirı́a también su
volumen. Cuando lo hizo y comprobó que el lingote
de oro y la corona no desplazaban la misma cantidad
de agua supo que habı́an engañado al rey.
p := El peso de la corona y el lingote es el mismo
q := La corona y el lingote tienen igual densidad
r := La corona y el lingote tienen el mismo volumen
s := La corona y el lingote desplazan
la misma cantidad de agua

Hechos:
A := p B := ¬s
Leyes fı́sicas:

C := r ↔ s D := p → (q → r)
Conclusión:
E := ¬q
Fácilmente se comprueba:

{p, ¬s, p → (q → r), r ↔ s} |= ¬q

 p q r s p ¬s r ↔ s p → (q → r) ¬q
0 0 0 0 0 1 1 1 1
0 0 0 1 0 0 0 1 1
0 0 1 0 0 1 0 1 1
0 0 1 1 0 0 1 1 1
0 1 0 0 0 1 1 1 0
0 1 0 1 0 0 0 1 0
0 1 1 0 0 1 0 1 0
0 1 1 1 0 0 1 1 0
1 0 0 0 1 1 1 1 1
1 0 0 1 1 0 0 1 1
1 0 1 0 1 1 0 1 1
1 0 1 1 1 0 1 1 1
1 1 0 0 1 1 1 0 0
1 1 0 1 1 0 0 0 0
1 1 1 0 1 1 0 1 0
1 1 1 1 1 0 1 1 0
Vemos en la tabla de verdad que el único caso en el
que las hipótesis son verdaderas la conclusión también.
 A1 A2 ... An ...
A 1 1 ... 0 ...

A2
A1

¬An Th (A )
...

Teorı́a asociada a A

A1 A2 ... An ...
A1 1 1 ... 0 ...
A2 1 1 ... 0 ...
...

...

...

...

...

...

Am 1 1 ... 0 ...
...

...

...

...

...

...

VAL
...

...

¿Cómo atrapar a VAL?

2.4. Tableaux semánticos

Volver a la idea de ”soltar lastre”

español à lenguaje formal
consistencia intuitiva à satisfacibilidad
consecuencia intuitiva à semántica
verdad à cálculo
¡Estamos locos, vamos a convertir a la lógica en un
juego intrascendente de reglas!

¿Qué es un tableau?

Respuesta 1 Un procedimiento semántico, pero

sistemático, de búsqueda de un modelo que cum-
pla ciertos requisitos.

Respuesta 2 Un procedimiento sintáctico de

prueba de teoremas, esto es, un cálculo deductivo.
 ¿Para qué se usan?
Satisfacibilidad / Insatisfacibilidad
Validez
Consecuencia / Independencia
Búsqueda de solución

Como cálculo deductivo posee ciertas ventajas

1. Son automáticos para la lógica proposicional

2. Son más eficientes que las tablas de verdad

3. Pueden ser fácilmente implementados

4. Generalizables a la lógica de primer orden

5. aprendizaje muy sencillo

 Adecuación y Suficiencia

Theorem 2.1 Adecuación: Si hay un tableau cerrado

para Γ, entonces Γ es insatisfacible.

Theorem 2.2 Suficiencia: Si Γ es insatisfacible, enton-

ces hay un tableau cerrado para Γ.

Corolarios

Adecuación =⇒ Corrección

Si ` A entonces ² A

Suficiencia =⇒ Completud

Si ² A entonces ` A
 Semántica
VAL

Cálculo
TEO

Dos métodos de selección

Las zonas rayadas están

vacías

VAL

TEO

Cálculo correcto y completo

2.5. MAFIA

“ambientados” en el mundo de la Mafia (hechos

delictivos)

descubrir a los traidores a La Familia

Tres apartados:

1. Formalizar los enunciados

p := Pedro es traidor
q := Quiteria es traidor
r := Ramón es traidor
s := Sebastián es traidor

2. Comprobar si los datos son compatibles.

3. Extraer consecuencias de los datos y demos-

trar que son válidas.
Los gemelos

Este caso es de extrema gravedad, hay que evitar que

se ejecute al hijo del padrino, quien acaba de recibir
un besugo con una tarjeta en la que aparece el nombre
de su hijo.

A := Sólo hay tres sospechosos de haber enviado la

“misiva” al padrino, P, Q y R.

B := Sucede que P y R son gemelos idénticos, nadie

es capaz de distinguirlos. Ambos son terriblemente
tı́midos por lo que todas las acciones importantes las
tienen que hacer en comandita.

C := Justamente el opuesto es el caso de Q, que es

tan hosco, que jamás reliza misión alguna acompañado.

D := Pero el dı́a de marras uno de los gemelos lo

pasó completo en el bar, muchos testigos ası́ lo mani-
festaron.
 La formalización es:

A := (p ∨ q) ∨ r

B := p ↔ r

C := q → ¬ (p ∨ r)

D := ¬p ∨ ¬r

Vemos si
{A, B, C, D}
es satisfacible.

Fórmula resultante (ramas abiertas)

¬p ∧ (q ∧ ¬r)

Concluimos que
{A, ..., D} ² ¬p ∧ (q ∧ ¬r)
y lo demostramos
 MAFIA (3). Los gemelos. ARACNE
(María Manzano)
Apartado 2

Para comprobar si son compatibles vemos si fA; B; C; Dg es satisfacible.

(p _ q) _ r
p$r
q ! : (p _ r)
:p _ :r

p :p
r :r

: (p _ r)
:p : (p _ r)
:q :r :q :p
O :r

:p
O :r
O r
O
p_q

p
O q
O :p :r

r
O r
O
p _q p_ q

p q p q
O * O *
1 2

Observamos que son compatibles, hay dos interpretaciones en las que A; :::; D son simultáneamente ver-
daderas.

1 = f:p; q; :rg
2 = f:p; q; :rg

1
 Observamos que son compatibles, hay dos inter-
pretaciones en las que A, ..., D son simultáneamente
verdaderas.

1 = {¬p, q, ¬r}

2 = {¬p, q, ¬r}

Para extraer conclusiones hacemos la interseción

1 ∩ 2 = {¬p, q, ¬r}

La fórmula resultante es:

¬p ∧ (q ∧ ¬r)

Concluimos que

{A, ..., D} ² ¬p ∧ (q ∧ ¬r)

para comprobarlo hacemos un árbol.
 MAFIA (3). Los gemelos. ARACNE
(María Manzano)
Apartado 3

Para extraer conclusiones hacemos la interseción

1 \ 2 = f:p; q; :rg

La fórmula resultante es:

:p ^ (q ^ :r)
Concluimos que
fA; :::; Dg ² :p ^ (q ^ :r)
para comprobarlo hacemos un árbol.

(p _ q) _ r
p$r
q ! : (p _ r)
:p _ :r
: (:p ^ (q ^ :r))

::p : (q ^ :r)

:p
O p :p
:r
r :r
p :p
:p
O :r
O
r
O :r
O

: (p _ r)
:q :p
:r

r
O
p_ q

p
O q
O ::r
O
:q

r
O
p_ q

p q
O O

Así que vimos que

fA; :::; Dg ² :p ^ (q ^ :r)

Puesto que
fA; :::; D; : [:p ^ (q ^ :r)]g
es insatisfacible.

1
2.6. Otros cálculos proposicionales

Resolución

• Dual del de tableaux

◦ forma normal conjuntiva

◦ conjunción abre rama, disjunción en la misma

• Reglas

◦ Expansión clausular: reglas de los tableaux

◦ Simplificación clausular

• Eliminación Regla de resolución

• Varias estrategias

• Automatizable, implementable
 Deducción natural

1. Una prueba con deducción natural consiste en

una lista finita de fórmulas

las premisas (o hipótesis)

fórmulas intermedias

la conclusión

2. reglas del cálculo (principales estrategias de razo-

namiento informal)

3. Tienen dos reglas para cada conector (introducción

y eliminación)

4. Contienen subpruebas o subdeducciones

A → (B → C) ` B → (A → C)

1. A → (B → C) premisa
2. B hipótesis
3. A hipótesis
4. B→C (E →), 1, 3
5. C (E →), 2, 4
6. A→C (I →), 3, 5
7. B → (A → C) (I →), 2, 6

Aquı́ tenemos un ejemplo de subprueba dentro de una

subprueba, por ello hay dos hipótesis, una para abrir
cada subprueba. Curiosamente se aplica la misma re-
gla (I →) a las dos subpruebas (lı́neas 6 y 7). Es
importante recordar que una vez cerrada una sub-
prueba sólo se la puede citar como un todo, en ningún
caso podemos citar fórmulas “sueltas” de la subprueba
fuera de ella.
3. CONJUNTOS Y DIAGRAMAS

3.1. Teorı́a básica de conjuntos

Presentación muy básica e intuitiva, instrumental

Remitimos a nuestro libro: El Universo matemático

en http://logicae.usal.es

Conjuntos

• Pertenecia, igualdad, subconjunto

• Álgebra de conjuntos

• Universo de individuos

Español en Teorı́a de conjuntos

3.2. Diagramas de Venn

¿Hay un razonamiento visual, diagramático?

Representar los conjuntos abstractos A, B y C

A U
5 2 6
1
3 4
B
7
8
C

Hoja de trébol

Razonamiento diagramático

Lógica de relatores monarios (Silogı́stica)

 Sintaxis de los diagramas

1. Rectángulo

2. Curva cerrada

3. Sombreado

4. Cruces
Como objetos auxiliares:

5. Lı́neas, para unir las cruces

6. Para nombrar las curvas y el rectángulo se usarán

letras.

La información se suma mediante superposición

 Por ejemplo:

U U U

&
P Q P Q P Q

Diagrama inconsistente

La superposición de los diagramas correspondientes a

P 6= ∅, P ⊆ Q y P ⊆∼ Q es inconsistente.

U U U

P Q P Q P Q

P 6= ∅ P⊆Q P ⊆∼ Q
El resultado final es el siguiente:

P Q

Diagrama final
 Razonamiento diagramático

Mediante diagramas de Venn determinamos si es co-

rrecto el razonamiento siguiente:

Hipótesis 1 J ∩ R 6= ∅

Hipótesis 2 E∩J=∅

Conclusión (J ∩ R)∩ ∼ E 6= ∅
J U J U J U

R R R
E E E

Hipótesis 1 Hipótesis 2 Conclusión negada

J U
Consistente
Diagrama
R
Inconsistente F
E Correcto F
Razonamiento
Diagrama final Incorrecto
3.3. SILOGÍSTICA AVENTURERA

Lo veremos con un ejemplo: (Silvina Merino)

La Isla del Tesoro (Robert L. Stevenson)

Baso mis razonamientos en la novela de aventuras

“La isla del tesoro”, de Robert L. Stevenson, cuyo
argumento se puede resumir...

HIPÓTESIS 1 A := Todos los piratas enrolados

en La Española saben de la existencia de un tesoro

HIPÓTESIS 2 B := Nadie que sepa de la existen-

cia de un tesoro obra desinteresadamente

CONCLUSIÓN C := Hay piratas que obran desin-

teresadamente, pero no van enrolados en La Española
 Formalización

Universo de discurso: Piratas

Ex := x es un pirata enrolado en La Española

Sx := x sabe de la existencia del tesoro

Dx := x obra desinteresadamente

HIPÓTESIS 1 A := ∀x(Ex → Sx)

HIPÓTESIS 2 B := ¬∃x(Sx ∧ Dx)
CONCLUSIÓN C := ∃x(Dx ∧ ¬Ex)

Es la formalización en el lenguaje de primer orden de

predicados monarios.
 Representación en Teorı́a de Conjuntos

Sea
D D EE
A = A, E A, S A, DA
una estructura adecuada al lenguaje del silogismo

HIPÓTESIS 1 E A∩ ∼ S A = ∅
HIPÓTESIS 2 S A ∩ DA = ∅
CONCLUSIÓN DA∩ ∼ E A 6= ∅

Es la representación en la estructura A

Resolución mediante diagramas de Venn

Identificación silogismos
 SILOGÍSTICA AVENTURERA (3): La Isla del Tesoro ARACNE

Explicación 3

Silogismo 1

Hipótesis 1 Hipótesis 2 Conclusión negada

Consistente F
Diagrama
Inconsistente
Correcto
Razonamiento
Incorrecto F
Diagrama final.

Contraejemplo

Sea ­ ­ ®®
A = A, E A , S A , DA
una estructura adecuada al lenguaje del silogismo, cuyo universo lo constituyen los piratas y E A , S A , DA son los
conjuntos de piratas enrolados en La Española, que saben de la existencia del tesoro y que obran desinteresadamente,
respectivamente. Hagamos:

A ={1, 2, 3}
E A = {1}
S A = {1, 2}
DA = ∅

Fácilmente se comprueba que

E A ∩ ∼ S A = {1} ∩ {3} = ∅
S A ∩ DA = {1, 2} ∩ ∅ = ∅
pero
DA ∩ ∼ E A = ∅ ∩ {2, 3} = ∅

1
 Contraejemplo

Sea
D D EE
A = A, E A, S A, DA
una estructura adecuada al lenguaje del silogismo,
cuyo universo lo constituyen los piratas y E A, S A, DA
son los conjuntos de piratas enrolados en La Española,
que saben de la existencia del tesoro y que obran des-
interesadamente, respectivamente. Hagamos:
A ={1, 2, 3}
E A = {1}
S A = {1, 2}
DA = ∅
Fácilmente se comprueba que
E A∩ ∼ S A = {1} ∩ {3} = ∅
S A ∩ DA = {1, 2} ∩ ∅ = ∅
pero
DA∩ ∼ E A = ∅ ∩ {2, 3} = ∅
 Identificación del silogismo

Cuarta
figura MODO
A
AE O
P M E
M S O
S P

Era uno de los silogismos seleccionados como correc-

tos, pero no lo es.