Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Apuntes de Logica PDF
Apuntes de Logica PDF
APUNTES
Ingeniería en Informática
ESCET
Alessandra Gallinari
20062007
i
Prólogo
El contenido de esta publicación es un guión de la asignatura de Lógica
Matemática para la titulación de Ingeniería en Informática de la Escuela Su-
perior de Ciencias Experimentales y Tecnología (ESCET) de la Universidad
Rey Juan Carlos.
Los principales objetivos de la asignatura son:
Agradecimientos
Quiero agradecer al profesor Roberto Muñoz por su indispensable parti-
cipación en la corrección de estas notas.
Gracias también al profesor Ariel Sánchez por su sugerencias y a los
alumnos que han señalado erratas y errores en versiones previas.
Índice General
1 Introducción 1
1.1 El lenguaje de la lógica . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Resumen de la historia de la lógica . . . . . . . . . . . . . . . 5
1.2.1 Lógica y losofía . . . . . . . . . . . . . . . . . . . . . 6
1.2.2 Lógica y matemáticas . . . . . . . . . . . . . . . . . . . 6
1.2.3 Lógica e informática . . . . . . . . . . . . . . . . . . . 7
1.3 Consejos prácticos para el estudio de la asignatura . . . . . . . 8
I Lógica de proposiciones 25
3 Sintaxis de la lógica proposicional 27
3.1 Alfabeto del lenguaje formal de la lógica proposicional . . . . 28
iii
iv
5 Teoría de la demostración 77
5.1 Denición de sistema formal axiomático . . . . . . . . . . . . 78
5.1.1 Subdeducciones y notación de Fitting . . . . . . . . . . 82
5.2 El sistema de deducción natural de Gentzen . . . . . . . . . . 83
5.2.1 Denición del sistema de deducción natural de Gentzen 84
5.2.2 Reglas derivadas del sistema de Gentzen . . . . . . . . 90
5.3 Tableaux sintácticos . . . . . . . . . . . . . . . . . . . . . . . 104
5.4 Completitud, corrección y decidibilidad . . . . . . . . . . . . . 105
5.5 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
v
2.1 Gráca de A × B. . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.2 Gráca de R. . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
vii
viii
Índice de Tablas
ix
Capítulo 1
Introducción
1
2
Ejemplo 1.1.1 Las frases ¾Cómo te llamas? y Por favor, dame tu libro
son dos ejemplos de oraciones a las cuales no podemos asociar un valor de
verdad.
• La minería de datos.
Lista de consejos:
• Bibliografía: tener unos buenos libros de texto facilita enormemente
el estudio de cualquier materia. Esta publicación de apuntes de la asig-
natura es un guión para las clases, no pretende sustituir la bibliografía
recomendada.
9
La tabla 1.1 contiene los símbolos del alfabeto griego. En estos apun-
tes, siguiendo la notación tradicional, se usarán varios de ellos. Con mucha
frecuencia se emplearán los símbolos:
ϕ = minúscula,
Φ = mayúscula,
ψ = psi,
χ = ji.
10
{x : P (x)}.
11
12
A = {x : x ∈
/ x},
y preguntó si A ∈ A.
De la denición de A se sigue que A ∈ A implica que A ∈ / A y, además,
que A ∈/ A implica que A ∈ A.
Por tanto se obtiene la contradicción: A ∈ A si y sólo si A ∈/ A.
El ejemplo de Russell muestra que no toda propiedad determina un con-
junto, hace falta restringir la clase de propiedades que denen conjuntos.
La primera de las restricciones es el axioma de especicación: una pro-
piedad por sí sola no determina un conjunto, sino que selecciona elementos
de un conjunto dado al que es necesario referirse.
Para no incurrir en contradicción con el axioma de especicación, es nece-
sario asumir la no existencia del conjunto universal U, el conjunto de todos
los conjuntos. Si U fuera un conjunto, también A = {x ∈ U : x ∈ / x} tendría
que ser un conjunto.
En respuesta a la paradoja de Russell, se propusieron varias formulaciones
axiomáticas de la teoría de conjuntos.
En nuestra exposición, utilizaremos reglas de construcción de conjuntos
formuladas en términos de la lógica de predicados, a partir de los conceptos
primitivos de conjunto y pertenencia (Zermelo-Fraenkel,1922).
Ejemplos 2.1.1
N := {1, 2, · · · } es el conjunto de los números naturales,
Z := {· · · , −2, −1, 0, 1, 2, · · · } es el conjunto de los números enteros,
F := { pq : p, q ∈ Z y q 6= 0} es el conjunto de las fracciones de
números enteros,
A := {x ∈ R : x2 = 1} = {−1, 1} es el conjunto solución de la ecuación
x2 − 1 = 0.
Notación: los símbolos Q, R y C denotarán, respectivamente, el con-
junto de los números racionales, reales y complejos.
A ∪ B = {x : x ∈ A ó x ∈ B},
A ∩ B = {x : (x ∈ A) y (x ∈ B)}.
A\B = {x : (x ∈ A) y (x ∈
/ B)}.
A × B = {(a, b) : (a ∈ A) y (b ∈ B)}.
y2
0 1 2 3 4
x
P (A) = {∅, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}.
A∪A=A (2.3)
A∩A=A (2.4)
A ∪ (B ∪ C) = (A ∪ B) ∪ C (2.7)
A ∩ (B ∩ C) = (A ∩ B) ∩ C (2.8)
16
Ejemplo 2.2.2 Sean A = {a, b, c}, B = {d, e} y R = {(a, d), (b, e), (c, d), (c, e)}.
Entonces aRd, bRe, cRd y cRe. (Ver gura (2.2))
y2
0 1 2 3 4
x
• codominio de R al conjunto B.
2.4 Funciones
Una función (o aplicación) (n + 1)−aria, f : A1 × A2 × · · · × An −→ B, de
un conjunto no vacío A = A1 × A2 × · · · × An a un conjunto no vacío B se
puede denir como una regla de correspondencia que asigna a cada elemento
(a1 , a2 , . . . , an ) ∈ A un único elemento b = f (a1 , a2 , . . . , an ) ∈ B. Esta de-
nición es muy intuitiva, pero no explica el término regla de correspondencia
con suciente claridad.
La siguiente denición es más general e identica el concepto de función
con una clase particular de relaciones binarias.
g(f (x)) = x2 + 1.
b) Sean D el conjunto de las personas, M el subconjunto de las madres
y A el subconjunto de las abuelas.
Denimos las funciones f : D −→ M y g : M −→ A que asocian a toda
persona y a toda madre, respectivemente, su propia madre.
En este caso la función g ◦ f : D −→ A resulta ser la función que asocia
a toda persona su abuela materna.
22
2.5 Ejercicios
Ejercicio 2.5.1 Sean A = {−1, 0, 3, 7} y B = {−3, −1, 0, 3, 5, 7, 8}. Deter-
minar A ∪ B , A ∩ B y A\B.
Ejercicio 2.5.4 Sean A = {a, b, c}, R = {(a, a), (b, a), (c, b), (c, c)}. Enton-
ces aRa, bRa, cRb y cRc. Representar grácamente la relación R.
Ejercicio 2.5.8 Utilizando la Tabla 1 del ejercicio (2.5.5), denir una rela-
ción de equivalencia en A y determinar las relativas clases de equivalencia.
23
25
Capítulo 3
Sintaxis de la lógica proposicional
Deniciones generales:
• Un alfabeto A es un conjunto de símbolos.
• Una palabra sobre el alfabeto A es una secuencia nita de símbolos
de A. Al conjunto de todas las posibles palabras se le suele denotar
como A∗ .
27
28
3. conectivos binarios:
∧ (y: la conjunción),
∨ (ó: la disyunción),
→ (la implicación o condicional),
↔ (la doble implicación o coimplicación).
NOTACIÓN: Para representar las fórmulas se suelen usar las letras del
alfabeto griego ϕ, ψ, χ, . . .
Ejemplo 3.2.3 La palabra ((p∧q) → r), del ejemplo (3.1.4) es una fórmula
bien construida ya que:
1. p, q, r, son fórmulas atómicas (aplicando (At)),
2. (p ∧ q) es una fórmula proposicional (aplicando (◦)),
3. ((p ∧ q) → r) es una fórmula proposicional (aplicando (◦)).
Además, (p ∧ q) y r son subfórmulas de ((p ∧ q) → r).
Bajo las hipótesis anteriores, se sigue que se verica P (n) para todo número
natural n.
La demostración de la validez del razonamiento de inducción se obtiene
aplicando el principio de inducción al conjunto A = {n ∈ N : P (n) se verica}.
2. Pasos de inducción:
2. (p ∧ (¬(¬((q → r) → (p ∨ (¬(r))))))),
3. (p → (q → r)).
Nivel 1: ¬,
Nivel 2: ∨ y ∧,
Nivel 3: → y ↔ .
Así, por ejemplo, las anteriores fórmulas 1.1, 2.1. y 3.1 se escribirían
como:
1.2. (p ∧ (p → r)) ∨ (q ↔ t),
2.2. p ∧ ¬¬((q → r) → p ∨ ¬r),
3.2. p → (q → r).
c) Se admite el convenio de asociatividad: los conectivos ∨ ∧, → y ↔
se asocian por la derecha:
p∧q∧r es p ∧ (q ∧ r)
p∨q∨r es p ∨ (q ∨ r)
35
p→q→r es p → (q → r).
Así, por ejemplo, las anteriores fórmulas 1.2, 2.2. y 3.2 se escribirían
como:
1.3. (p ∧ (p → r)) ∨ (q ↔ t),
2.3. p ∧ ¬¬((q → r) → p ∨ ¬r),
3.3. p → q → r.
1. (At): ϕ es atómica,
Denición 3.3.7 Dado un árbol con raíz (G, r) se denominan hojas a los
vértices de G distintos de r que tienen grado 1.
A los vértices distintos de la raíz que no son hojas de un árbol con raíz
se les denomina vértices internos.
Los árboles con raíz llevan asociada una terminología de origen botánico
y genealógico: dado un árbol con raíz T, si v es un vértice de T distinto de
la raíz, el padre de v es el único vértice u de T tal que hay una arista de
u a v. Si u es el padre de v, también diremos que v es un hijo de u. Los
antecesores de un vértice son los vértices que nos encontramos en el único
camino que une dicho vértice con la raíz. Los descendientes de un vértice
v son todos aquellos vértices de los que v es antecesor.
Es fácil darse cuenta de que las hojas de un árbol dirigido son los vértices
que no tienen descendientes.
∨
³ ³³HH
³ ³³ H
HH
³
³³ H
∧³³ HH↔
¡@ ¡@
¡ @ ¡ @
¡ @ ¡ @
@→ ¡ @
p¡ ¡@ q t
¡ @
¡ @
¡ @
p r
2. Pasos recursivos:
2. Pasos recursivos:
(¬): f (¬(ϕ)) = f ( ϕ )
(◦): f (ϕ1 ◦ ϕ2 ) = f (ϕ1 ) + f (ϕ2 ) + 1, para cierto conectivo ◦ y ciertas
fórmulas ϕ1 y ϕ2 .
Estas deniciones determinan la función f sobre todo L.
p1
p2
.. o p1 ∧ p2 ∧ · · · ∧ pn → q.
.
pn
q
Observación 3.4.1 Una manera sencilla de vericar la validez de la forma-
lización de una frase del lenguaje natural es de volver a traducir al lenguaje
natural la formalización obtenida.
Así, por ejemplo, consideremos la frase No voy a la playa a menos que
haga mucho calor.
Siendo p = voy a la playa y q = hace mucho calor, la formalización
(p → q) es correcta y la formalización (q → p) no es correcta. En efecto,
la primera se lee como Voy a la playa sólo si hace mucho calor y la se-
gunda como Si hace mucho calor, entonces voy a la playa. En la segunda
formalización se ha intercambiado la condición necesaria (la conclusión) con
la suciente (la premisa).
40
p∧q
(r → s) ∧ ¬t
¬u
o como:
p ∧ q ∧ (r → s) ∧ ¬t → ¬u
41
3.5 Ejercicios
Ejercicio 3.5.1 Determina cuáles de las siguientes frases son proposiciones:
a) ¾Puedes ir a la cafetería?
b) Por favor, sea educado.
c) El jardín es muy grande.
d) ½La organización del evento es un desastre!
e) ½Échame una mano!
Ejercicio 3.5.8 Voy al bar siempre que me apetezca y tenga tiempo libre.
Ejercicio 3.5.11 Todos los alumnos estudian mucho y están alegres. Si los
alumnos están alegres, entonces sacan buenas notas. Por tanto, los alumnos
estudian mucho sólo si están alegres.
44
Ejercicio 3.5.13 [C] Si llueve las calles estarán vacías. Si las calles están
vacías, el comercio obtiene perdidas. Los músicos no podrían sobrevivir si
los comerciantes no les contratasen para componer canciones para publicidad.
Los comerciantes invierten en canciones publicitarias cuando tienen perdidas.
Por tanto, si llueve, los músicos pueden sobrevivir.
Capítulo 4
Semántica de la lógica
proposicional.
Teoría interpretativa
45
46
Ejemplo 4.1.2 Si Σ = {p, q}, podemos representar las cuatro posibles valo-
raciones de Σ :
Σ → {0, 1} Σ → {0, 1} Σ → {0, 1} Σ → {0, 1}
p → 0 p → 0 p → 1 p → 1
q → 0 q → 1 q → 0 q → 1
por medio de las las de la tabla a). De forma similar, si Σ = {p, q, r},
podemos representar las ocho posibles valoraciones de Σ por medio de las
las de la tabla b).
p q r
0 0 0
p q 0 0 1
0 0 0 1 0
a) 0 1 b) 0 1 1
1 0 1 0 0
1 1 1 0 1
1 1 0
1 1 1
(¬): Los valores de verdad del conectivo lógico negación, v¬p , residen en que
la fórmula ¬p es verdadera si y sólo si p es falsa y, recíprocamente,
que ¬p es falsa si y sólo si p es verdadera. Los valores de verdad v¬p
correspondientes al conectivo ¬ se representan en la tercera columna
de la tabla (4.1).
Paso 1: Tenemos que identicar las proposiciones atómicas y los pasos que se
han seguido para construir ϕ. Para eso podemos usar el árbol estruc-
tural ed ϕ.
y la gura (4.1).
La proposiciones atómicas son p, q, r y t y la construcción de ϕ se
obtiene leyendo su árbol de abajo hacía arriba.
50
∨
³ ³³HH
³ HH
³³³
³³ H HH
∧³³ H↔
¡@ ¡@
¡ @ ¡ @
¡ @ ¡ @
¡ @→ ¡ @
p ¡@ q t
¡ @
¡ @
¡ @
p r
p q r t p→r p ∧ (p → r) q ↔ t (p ∧ (p → r)) ∨ (q ↔ t)
Paso 4: Se rellenan todas las columnas siguiendo las valoraciones de los conec-
tivos lógicos de la tabla (4.1) y, en cada la, las valoraciones de las
proposiciones atómicas.
(ϕ)v = 1.
3) Usando una tabla de verdad se puede vericar que vale la ley conmu-
tativa para el conectivo ∧, es decir, que
p∧q ↔q∧p
v |= Φ implica que v |= ϕ.
ϕ1
..
.
ϕn
ϕ
(p → q) ≡ (¬p ∨ q).
57
Ejemplo 4.5.5 La tabla (4.4) contiene una lista de las equivalencias lógicas
más utilizadas (ver ejercicio (4.7.9)).
Vamos ahora a ver cómo se pueden emplear métodos indirectos para ve-
ricar la validez de una fórmula o de un razonamiento.
ϕ : ¬(p ∧ (p ∨ q)) ∨ p
es equivalente a la fórmula
(¬(ϕ1 ∧ ϕ2 ∧ · · · ∧ ϕn ) ∨ ϕ).
((ϕ1 ∧ ϕ2 ∧ · · · ∧ ϕn ) ∧ ¬(ϕ)).
(p → (q → p))
es una tautología.
Aplicando el teorema (4.6.2) (el método de refutación), es suciente ve-
ricar que la fórmula
p ∧ ¬(q → p)
es insatisfacible (es una contradicción).
Para toda valoración tal que ¬(q → p) es falsa, p ∧ ¬(q → p) es falsa. Si
una valoración es tal que ¬(q → p) es verdadera, entonces (q → p) es falsa,
es decir, tiene que ser q verdadera y p falsa. También en este caso nuestra
fórmula p ∧ ¬(q → p) resultaría ser falsa. Se sigue que p ∧ ¬(q → p) no
admite ningún modelo y, por tanto, es insatisfacible.
Fórmulas simplicables
σ σ1
¬> ⊥
¬⊥ >
¬¬ϕ ϕ
Usando árboles con raíz, podemos ahora representar las fórmulas reduci-
bles de la tabla (4.5) por medio del esquema de la tabla (4.6).
α• β• σ•
| |
α1 • β1 • •β2 σ1 •
|
α2 •
Tableaux semánticos
Dado un conjunto nito de fórmulas proposicionales Φ, queremos asociar
a este conjunto un árbol con raíz que nos permita determinar fácilmente
propiedades semánticas del conjunto Φ. Este árbol será el tableau asociado
a Φ.
En el capítulo (3) introducimos el concepto de árbol con raíz y sus pro-
piedades básicas. En este capítulo necesitamos ampliar un poco más la ter-
minología ya introducida.
{p ∧ q → r, ¬r, p} |= ¬q.
Φ = {p ∧ q → r, ¬r, p, ¬¬q}
es insatisfacible.
Por eso, empezamos a construir un árbol de fórmulas T0 con la regla de
inicialización que consiste en dibujar un primer árbol con una única rama
cuyos vértices están etiquetados por las fórmulas de nuestro conjunto Φ. T0
es nuestro tableau inicial:
• p∧q →r
|
• ¬r
T0 |
• p
|
• ¬¬q
• p∧q → rX
|
• ¬r
|
• p
T1
|
• ¬¬q
¬(p ∨ q) • • r
]
• p∧q → rX
|
• ¬r
|
• p
|
• ¬¬q
T2
¬(p ∨ q) X • • r
| ]
¬p •
|
¬q •
]
Las dos ramas de este último árbol están cerradas ya que cada una de
ellas contiene una contradicción, la primera contiene el conjunto {p, ¬p} y
la segunda el conjunto {¬r, r}.
Por tanto el conjunto Φ es insatisfacible y nuestro razonamiento es vá-
lido.
65
Tableaux y razonamientos
Sea Φ → ϕ un razonamiento.
El teorema (4.6.15) asegura que el tableaux asociado a Φ ∧ ¬ϕ es cerrado
si y sólo si el razonamiento es válido.
Por el otro lado, si el tableaux asociado no es cerrado, contendrá una
rama abierta θ que nos permite hallar un contraejemplo a la validez del
razonamiento (toda valoración que satisface θ es un contraejemplo).
El tableaux completo obtenido tiene dos ramas cerradas y dos abierta. Estas
69
p : 1, r : 1, q : 0 y p : 0, r : 1, q : 1.
Ya que hay dos ramas abiertas, ϕ es satisfacible (un modelo es, por ejemplo,
q : 1, p : 1).
• p ∧ (¬p ∨ ¬q)
T (¬ϕ) |
• p
|
• ¬p ∨ ¬q
¬p • • ¬q
]
Hay una rama abierta y, por tanto, ϕ es una contingencia (la valoración
q : 0, p : 1 es un contraejemplo de ϕ).
Convenios:
• > representa una conjunción, una cláusula conjuntiva o una FNC vacía
(siempre verdadera).
ϕ ≡ F N D(ϕ) y ϕ ≡ F N C(ϕ).
F N C(ϕ) ≡ ¬F N D(¬ϕ).
F N D(ϕ) = Φ1 ∨ Φ2 ∨ Φ3 ∨ · · · ∨ Φn .
72
ϕ ≡ ¬p ∨ (p ∧ q) = F N D(ϕ).
• ¬p ∨ (p ∧ q)
T (ϕ)
¬p • •p ∧ q
|
•p
|
•q
¬ϕ ≡ p ∧ (¬p ∨ ¬q) = ϕ.
73
• p ∧ (¬p ∨ ¬q)
T (¬ϕ) |
• p
|
• ¬p ∨ ¬q
¬p • • ¬q
]
y
F N C(ϕ) = ¬F N D(¬ϕ) = ¬((p ∧ ¬p) ∨ (p ∧ ¬q)) ≡
≡ ¬(p ∧ ¬p) ∧ ¬(p ∧ ¬q) ≡ (¬p ∨ p) ∧ (¬p ∨ q).
74
4.7 Ejercicios
Ejercicio 4.7.1 ¾Cuáles de las fórmulas del ejercicio (3.5.5) del capítulo 3
son tautologías? ¾Cuáles son contradicciones?
Para aquellas que sean contingencias, calcula sus modelos y sus contrae-
jemplos.
p→q
p → ((q → r) → s) (q → r) → (p → s) q→r
, , .
(q → r) → (p → s) p → ((q → r) → s) s∨p
r∨t
75
Ejercicio 4.7.10 Elegir de las armaciones siguientes aquella que sea equi-
valente a No es cierto que sea suciente trabajar para ser feliz.
5. Se trabaja o no se es feliz.
76
1. ¬s ∨ ¬p → (t → (p ∨ ¬s))
2. (p → q) → (q → p)
Ejercicio 4.7.16 Con el método de los tableaux, escribe las fórmulas del
ejercicio anterior en su formas normal disyuntiva y conjuntiva.
Capítulo 5
Teoría de la demostración
77
78
` (p → q) → (¬q → ¬p).
{ϕ1 , ϕ2 , . . . , ϕn , ϕn+1 = ϕ}
tal que:
1. Cada fórmula de la sucesión es
tal que:
1. Cada fórmula de la sucesión es
{ϕ1 , ϕ2 , . . . ϕn } ` ϕ
{ϕ1 , ϕ2 , . . . ϕn−1 } ` ϕn → ϕ
{ϕ1 , ϕ2 , . . . ϕn−2 } ` ϕn−1 → (ϕn → ϕ)
..
.
` ϕ1 → (ϕ2 → (· · · → (ϕn → ϕ) . . . ).
82
` (p → q) → (¬q → ¬p)
{p → q} ` ¬q → ¬p
o, también, la deducción
{p → q, ¬q} ` ¬p.
1) ϕ1 (Premisa)
2) ϕ2 (Premisa)
3) ` ϕ3 (R1(1): regla R1 aplicada a ϕ1 )
4) ψ1 (Premisa auxiliar)
5) ` ψ2 (R2(2,1): regla R2 aplicada a ϕ2 y ψ1 )
6) ` ψ3 (R3(5): regla R3 aplicada a ψ2 )
Pronto veremos algunos ejemplos, pero hay que notar que una subdeduc-
ción puede contener a su vez una subdeducción. Por tanto, en la representa-
ción de Fitting pueden aparecer varios rectángulos encajados.
G = (A, F, X, R),
donde
ϕ ∧ ψ, ϕ ∨ ψ, ϕ → ψ, ψ → ϕ
son fbc.
{ϕ, ψ} ` ϕ ∧ ψ
Ejemplo 5.2.2 [UNED1] Usando sólo las dos reglas anteriores pode-
mos demostrar que
p ∧ (q ∧ r) ` p ∧ r.
1) ϕ1 : p ∧ (q ∧ r) (Premisa)
2) ` ϕ2 : ` p (E ∧(1))
3) ` ϕ3 : ` q ∧ r (E ∧(1))
4) ` ϕ4 : ` r (E ∧(3))
5) ` ϕ5 : ` p ∧ r (I ∧(2,4))
ϕ ` (ϕ ∨ ψ) (introducción derecha)
ψ ` (ϕ ∨ ψ) (introducción izquierda)
ϕ∨ψ `ϕ
ϕ ∨ ψ ` ψ,
86
(E ∨) : {ϕ ∨ ψ, ϕ → χ, ψ → χ} ` χ.
{ϕ ∨ ψ, ϕ → χ, ψ → χ} ` χ.
ϕ∨ψ (Premisa)
`χ
87
ϕ (Premisa auxiliar)
..
.
..
.
` ψ ∧ ¬ψ
` ¬ϕ
88
(E¬) : ¬¬ϕ ` ϕ.
ϕ (Premisa auxiliar)
..
.
..
.
`ψ
`ϕ→ψ
(E →) : {ϕ, ϕ → ψ} ` ψ.
1) ϕ → ψ (Premisa)
2) ¬ψ (Premisa)
7) ` ¬ϕ (I ¬(3,5))
2) La validez de la fórmula
ϕ`ψ→ϕ
se puede demostrar en el sistema de deducción natural usando la intro-
ducción de la implicación, según el esquema:
1) ϕ (Premisa)
2) ψ (Premisa auxiliar)
3) ` ϕ (1)
4) ` ψ → ϕ (I → (2,3))
3) La validez de la fórmula
{ϕ → ψ, ϕ → (ψ → χ)} ` ϕ → χ
se puede demostrar en el sistema de deducción natural usando la intro-
ducción de la implicación, según el esquema:
90
1) ϕ → ψ (Premisa)
2) ϕ → (ψ → χ) (Premisa)
3) ϕ (Premisa auxiliar)
4) ` ψ (E → (3,1))
5) ` ψ → χ (E → (3,2))
6) ` χ (E → (4,5))
7) ` ϕ → χ (I → (3,6))
ϕ`ϕ
1) ϕ (Premisa)
2) ¬ϕ (Premisa auxiliar)
3) ` ϕ ∧ ¬ϕ (I ∧ (1,2))
4) ` ϕ (I ¬ (2,3))
91
{ϕ → ψ, ψ → χ} ` ϕ → χ
{ϕ, ϕ → ψ} ` ψ
{ϕ, ¬ϕ} ` ψ
{ϕ → ψ, ϕ → χ} ` ϕ → ψ ∧ χ
• T6: Contraposición
T6.1) ϕ → ψ ` ¬ψ → ¬ϕ
T6.2) ϕ → ¬ψ ` ψ → ¬ϕ
T6.3) ¬ϕ → ψ ` ¬ψ → ϕ
• T7: Interdenición 1
T8.1) ¬(ϕ ∨ ψ) ` ¬ϕ ∧ ¬ψ
93
T8.2) ¬ϕ ∧ ¬ψ ` ¬(ϕ ∨ ψ)
T8.3) ¬(ϕ ∧ ψ) ` ¬ϕ ∨ ¬ψ
De la negación de la conjunción de dos fórmulas se deduce la disyunción
de las negaciones de las mismas.
T8.4) ¬ϕ ∨ ¬ψ ` ¬(ϕ ∧ ψ)
• T9: Interdenición 2
T9.1) ϕ → ψ ` ¬ϕ ∨ ψ
Por ejemplo,
T9.1) de una función derivable es continua se deduce que una función
no es derivable o es continua,
T9.2) de una función no es derivable o es continua se deduce que una
función derivable es continua.
11) ` p → (q → p) (I ¬(1,10))
T10.1) ϕ ∧ ψ ` ψ ∧ ϕ
T10.2) ψ ∧ ϕ ` ϕ ∧ ψ
95
T11.1) ϕ ∧ (ψ ∧ χ) ` (ϕ ∧ ψ) ∧ χ
T11.2) (ϕ ∧ ψ) ∧ χ ` ϕ ∧ (ψ ∧ χ)
T12.1) ϕ ∧ (ψ ∨ χ) ` (ϕ ∧ ψ) ∨ (ϕ ∧ χ)
T12.2) (ϕ ∧ ψ) ∨ (ϕ ∧ χ) ` ϕ ∧ (ψ ∨ χ)
T13.1) ϕ ∧ (ϕ ∨ ψ) ` ϕ
T13.2) ϕ ` ϕ ∧ (ϕ ∨ ψ)
ϕ ∧ (ϕ ∨ ψ) ` ϕ
1) ϕ ∧ (ϕ ∨ ψ) (Premisa)
2) ` ϕ (E ∧(1))
96
• T14: Idempotencia
T14.1) ϕ ∧ ϕ ` ϕ
T14.2) ϕ ` ϕ ∧ ϕ
La demostración de este teorema se propone como ejercicio.
• T19: Idempotencia
T19.1) ϕ ∨ ϕ ` ϕ
T19.2) ϕ ` ϕ ∨ ϕ
{ϕ → ψ, ψ → ϕ} ` ϕ ↔ ψ
T21.1) ϕ ↔ ψ ` ϕ → ψ
T21.2) ϕ ↔ ψ ` ψ → ϕ
De una coimplicación entre dos fórmulas se deducen las implicaciones
de cada una a la otra.
La demostración de este teorema se propone como ejercicio.
`ϕ↔ϕ
{ϕ ↔ ψ, ψ ↔ χ} ` ϕ ↔ χ
Demostración de T25.1:
Tenemos que vericar que
{ϕ → (ψ → χ), ϕ ∧ ψ} ` χ.
1) ϕ → (ψ → χ) (Premisa)
2) ϕ ∧ ψ (Premisa)
3) ` ϕ (E ∧(2))
4) ` ψ → χ (E →(3,1))
5) ` ψ (E ∧(2))
6) ` χ (E →(5,4))
ϕ → (ψ → χ) ` ψ → (ϕ → χ)
Demostración de T26:
1) ϕ → (ψ → χ) (Premisa)
2) ψ (Premisa auxiliar)
3) ϕ (Premisa auxiliar)
4) ` ψ → χ (E →(3,1))
5) ` χ (E →(2,4))
6) ` ϕ → χ (I → (3,5))
7) ` ψ → (ϕ → χ) (I → (2,6))
ϕ ` (ψ → ϕ)
100
Demostración de T27:
1) ϕ (Premisa)
2) ψ (Premisa auxiliar)
3) ` ϕ (Teorema de la identidad, T1(1))
4) ` ψ → ϕ (I → (2,3))
{ϕ → ψ, ¬ψ} ` ¬ϕ
{ϕ ∨ ψ, ¬ψ} ` ϕ
Demostración de T29:
101
1) ϕ ∨ ψ (Premisa)
2) ¬ψ (Premisa)
3) ϕ (Premisa auxiliar)
4) ` ϕ (Teorema de la identidad, T1(3))
5) ψ (Premisa auxiliar)
6) ` ψ ∧ ¬ψ (I ∧ (2,5))
7) ` ϕ (Excontraditione Quodlibet, T4(6))
8) ` ϕ (E ∨ (1,(3,4),(5,7)))
• T30: Dilemas
Demostración de T30:
T30.1) : {ϕ ∨ ψ, ϕ → χ, ψ → χ} ` χ
Es la regla de eliminación de la disyunción (E ∨).
T30.2) : {ϕ ∨ ψ, ϕ → χ, ψ → σ} ` χ ∨ σ
102
1) ϕ ∨ ψ (Premisa)
2) ϕ → χ (Premisa)
3) ψ → σ (Premisa)
4) ϕ (Premisa auxiliar)
5) ` χ (E →(4,2))
6) ` χ ∨ σ (I ∨(5))
7) ψ (Premisa auxiliar)
8) ` σ (E →(7,3))
9) ` χ ∨ σ (I ∨(8))
10) ` χ ∨ σ (E ∨ (1,(4,6),(7,9)))
1) ¬ϕ ∨ ¬ψ (Premisa)
2) χ → ϕ (Premisa)
3) χ → ψ (Premisa)
4) ¬ϕ (Premisa auxiliar)
5) ` ¬χ (Modus Tollens, MT(2,4))
6) ¬ψ (Premisa auxiliar)
7) ` ¬χ (Modus Tollens, MT(3,6))
8) ` ¬χ (E ∨ (1,(4,5),(6,7)))
1) ¬ϕ ∨ ¬ψ (Premisa)
2) χ → ϕ (Premisa)
3) σ → ψ (Premisa)
4) ¬ϕ (Premisa auxiliar)
5) ` ¬χ (Modus Tollens, MT(2,4))
6) ` ¬χ ∨ ¬σ (I ∨(5))
7) ¬ψ (Premisa auxiliar)
8) ` ¬σ (Modus Tollens, MT(3,7))
9) ` ¬χ ∨ ¬σ (I ∨(8))
10) ` ¬χ ∨ ¬σ (E ∨ (1,(4,6),(7,9)))
ϕ : p → (q → p),
En la notación de Fitting:
11) ` p → (q → p) (I ¬(1,10))
{p ∧ q → r, ¬r, p} |= ¬q.
{p ∧ q → r, ¬r, p} ` ¬q,
` (p ∧ q → r) → (¬r → (p → ¬q)).
• Completitud
Se dice que un sistema de demostración axiomático es completo si
es capaz de demostrar cualquier fórmula semánticamente válida (una
tautología) y deducir cualquier consecuencia lógica.
Teorema de Kalmar [A]: toda tautología en teoría interpretativa es
una fórmula válida en teoría de la demostración.
El sistema de Gentzen es completo.
Considerando la denición sintáctica de la teoría de los tableaux para
un conjunto arbitrario de fórmulas (posiblemente innito), se puede
demostrar que el sistema axiomático así obtenido es completo [HLR].
106
• Corrección
Se dice que un sistema de demostración es correcto (consistente,
coherente) si todas las fórmulas demostrables en el sistema son tau-
tologías y todas las fórmulas deducibles en el sistema a partir de un
conjunto de premisas son consecuencia lógica de dichas premisas.
Teorema de Post [A]: toda fórmula válida en teoría de la demostra-
ción es una tautología en teoría interpretativa.
El sistema de Gentzen y la denición sintáctica de la teoría de los
tableaux son sistemas correctos [HLR] y [MH].
• Decidibilidad
Se dice que un sistema de demostración es decidible si proporciona
un procedimiento general y nito (aplicable a cualquier fórmula y que
termine) que permita decidir si una fórmula es válida o deducible a
partir de un conjunto de fórmulas.
Los teoremas anteriores permiten armar que una fórmula proposicio-
nal es un teorema si y sólo si es una tautología.
Por tanto la evaluación de la tabla de verdad es un procedimiento
general y nito de decisión de la validez de una fórmula [A].
Es también posible demostrar que el método de los tableaux, en su
denición más general, tiene las mismas propiedades de generalidad y
nitud [HLR] que las tablas de verdad.
Se sigue que los sistemas formales de la lógica proposicionales son de-
cidibles.
5.5 Ejercicios
Ejercicio 5.5.1 Usando el sistema de deducción natural, demuestra la idem-
potencia de la conjunción (T14), la introducción del coimplicador (T20) y la
eliminación del coimplicador (T21).
Ejercicio 5.5.2 Prueba que las siguientes equivalencias semánticas son tam-
bién coimplicaciones demostrables en el sistema de deducción natural:
1. ¬¬p ≡ p
2. ¬(p ∨ q) ≡ ¬p ∧ ¬q
3. ¬(p ∧ q) ≡ ¬p ∨ ¬q
4. (p → q) ≡ ¬p ∨ q
5. ¬(p → q) ≡ p ∧ ¬q
2. {r → p, ¬q → ¬r, s → q, (p ∧ q) → t, ¬s ∨ p} ` (r ∨ s) → t
3. {p → (q → r), ¬s ∨ p, q} ` s → r
109
Capítulo 6
Sintaxis de la lógica de primer
orden
111
112
Esta nueva lógica tendría que permitir una descripción más na de la rea-
lidad, pudiendo distinguir los objetos o términos (por ejemplo, los hombres)
de sus propiedades o predicados (por ejemplo, la propiedad de ser morta-
les). La lógica proposicional, cuyos elementos básicos son las proposiciones
atómicas, no permite realizar esta distinción.
La lógica de predicados (Gottob Frege, 1879) nos permite dar una descrip-
ción de la realidad más detallada. Por ejemplo, veremos que el razonamiento
anterior se puede formalizar más precisamente como
∀x(H(x) → M (x)),
H(s),
M (s).
3. conectivos binarios:
∧ (y: la conjunción),
∨ (ó: la disyunción),
→ (la implicación o condicional),
↔ (la doble implicación o coimplicación).
NOTACIÓN: El símbolo ◦ se usará para representar un conec-
tivo binario cualquiera.
• Igualdad:
Usaremos el símbolo de igualdad = para expresiones del tipo 4−1 =
3 o mcm(2, 3) = 6.
Por tanto, estamos considerando la lógica de predicados con igual-
dad.
√
Ejemplo 6.1.4 El comando IF x > 0 THEN y = x se escribe
√
como (P (x) → (y = f (x))), donde P (x) : x es positivo, f (x) : x
y x y y son variables en el conjunto de los números reales.
• Los cuanticadores:
• Términos
• Fórmulas
TÉRMINOS FÓRMULAS
(objetos) (hechos)
Fórmulas
atómicas
(relaciones)
Pasos de inducción:
2. (TF): Si f es un símbolo de función de aridad n > 0 y los términos
t1 , t2 , . . . , tn cumplen la propiedad P (hipótesis de inducción), entonces
f (t1 , t2 , . . . , tn ) cumple la propiedad P.
Pasos de inducción:
2. (F¬): Si ϕ es una fórmula que cumple la propiedad P (hipótesis de
inducción), entonces ¬(ϕ) cumple la propiedad P,
122
Nivel 1: ∀ y ∃,
Nivel 2: ¬,
Nivel 3: ∨ y ∧,
Nivel 4: → y ↔.
1. (TAt): es atómico,
f
³ ³³HH
³ HH
³³³
³³ HH
g³³ HHi
¡@ ¡@
¡ @ ¡ @
¡ @ ¡ @
¡ @h ¡ @l
x ¡@ x
¡ @
¡ @
¡ @
a y y
Figura 6.2: Árbol sintáctico del término f (g(x, h(a, y)), i(x, l(y))).
Notar que las etiquetas de las hojas de los árboles sintácticos son los
términos atómicos de las expresiones bien construidas representadas. La
existencia de predicados y funciones que dependen de n variables, hace que
en la lógica de predicados los árboles estructurales no tienen que ser binarios
como es en el caso de la lógica proposicional.
∀
¡@
¡ @ ∃
x ¡@
¡ @
y @∨
¡@
¡ @
¡ @
¡ @
∀ ¡¡ @
@¬
¡@
z¡ @ =
¡@
¡ @
¡ @
a f
z R
³ ³³HH
³ H
³ ³³ HH
g³³ ³³ H
HHi
¡@ ¡@
¡ @ ¡ @
¡ @ ¡ @
¡ @h ¡ @l
x ¡@ x
¡ @
¡ @
¡ @
a y y
f : F −→ A
cuyo dominio sea el conjunto de las fórmulas y cuyo codominio sea un con-
junto dado A, se puede emplear la siguiente denición recursiva:
Paso recursivo:
2. (F¬): f (¬(ϕ1 )) se dene en función de f (ϕ1 ),
Paso recursivo:
2. (F¬): Lib(¬(ϕ1 )) = Lib(ϕ1 ),
129
y
J(x, y) : x juega con y.
∀xJ(x).
P (x, y) : x es el padre de y,
y
Q(x, y) : x quiere mucho a y.
Con estas deniciones, la formalización sería
f (x) : el padre de x,
y
Q(x, y) : x quiere mucho a y.
Con estas deniciones, la nueva formalización sería
1. Universal armativo
∀x(ϕ1 → ϕ2 ),
∀x(¬ϕ2 → ¬ϕ1 ).
2. Universal negativo
∀x(ϕ1 → ¬ϕ2 ).
3. Existencial armativo
∃x(ϕ1 ∧ ϕ2 ).
4. Existencial negativo
∃x(ϕ1 ∧ ¬ϕ2 ).
o como
P (x) : x se levanta,
∀x (P (x) → Q(x)).
2) (Universal negativo)
P (x) : x es emperador,
Q(x) : x es odontólogo.
Con estas deniciones obtenemos la formalización:
∀x (P (x) → ¬Q(x)).
3) (Existencial armativo)
4) (Existencial negativo)
P (x) : x es un gato,
Universal-Existencial
Consideremos la frase
∀xP (x).
¬(∀xP (x)),
∃x(¬P (x)).
Existencial-Universal
Consideremos ahora la frase
∃xP (x).
¬(∃xP (x)),
∀x(¬P (x)).
a : N −→ R.
Q(x, y) : x ayuda a y,
R(x) : x es pobre,
S(x) : x es acionado a la fotografía.
Con estas deniciones el razonamiento dado se puede escribir como:
137
6.5 Ejercicios
Ejercicio 6.5.1 Determina cuáles de las siguientes fórmulas (en forma abre-
viada) son abiertas y cuáles son cerradas. En cada caso, identica las varia-
bles libres y ligadas.
7. Sólo las buenas enfermeras atienden con paciencia a los enfermos tísi-
cos.
8. Los acionados del Madrid son amigos de los acionados del Betis.
Algunos acionados del Madrid son amigos de los acionados del Be-
tis. Algunos acionados del Madrid sólo son amigos de acionados del
Betis.
9. Dos hermanos nunca tienen la misma opinión respecto a todos los as-
pectos de la vida.
141
142
D1 = {0, 1, 2, . . . } = N ∪ {0},
la interpretación
y la asignación
A : xA = 1.
2) Denimos el dominio D2 como el conjunto de todas las posibles pala-
bras que se pueden construir con el alfabeto {∗, @}, la interpretación
g I = + (la concatenación),
y la asignación
xA = ∗@ ∗ .
3) Denimos el dominio
D3 = {. . . , −2, −1, 0, 1, 2, . . . } = Z,
la interpretación
y la asignación
A : xA = 1.
tI,A = cI ,
tI,A = xA ,
Ejemplo 7.2.2 Usando las deniciones del ejemplo anterior 7.1.4, los tér-
minos
t1 = f (g(f (a), f (x)))
y
t2 = {f (g(x, f (g(x, f (a)))))}
se interpretan como se describe a continuación:
1)
tI,A
1 = suc(suc(0) + suc(1)) = 4,
146
tI,A
2 = suc(1 + suc(1 + suc(0))) = 5.
2)
tI,A
1 = f I (f I (∗) + f I (∗@∗)) = f I (∗ ∗ + ∗ @ ∗ ∗) = ∗ ∗ ∗@ ∗ ∗ ∗ .
tI,A
2 = f I (∗@ ∗ +f I (∗@ ∗ +f I (∗))) =
= f I (∗@ ∗ + ∗ @ ∗ ∗ ∗ ∗) = ∗@ ∗ ∗@ ∗ ∗ ∗ ∗ ∗ .
3)
tI,A
1 = ant(ant(1) − ant(1)) = −1,
tI,A
2 = ant(xA − ant(xA − ant(1))) = ant(xA − ant(xA )) = ant(1) = 0.
- si ϕ = P (t1 , . . . , tn ), entonces
ϕI,A = 1 si y sólo si (t1I,A , . . . , tI,A I
n ) ∈ P ,
2. Paso recursivo:
- (F¬): si ϕ = ¬ψ , entonces
ϕI,A
1 ϕI,A
2 ¬ϕI,A
1 ∧ ∨ → ↔
0 0 1 0 0 1 1
0 1 1 0 1 1 0
1 0 0 0 1 0 0
1 1 0 1 1 1 1
la fórmula ϕ se escribe
∃x(x2 = 2)
y tiene valor 1 ya que existe la raíz cuadrada de 2.
En la interpretación (D2 , I2 ) denida por:
la fórmula ϕ se escribe
∃x(x2 = −2)
tiene valor 1 ya que todo número complejo tiene dos raíces cuadradas com-
plejas.
2) Consideremos la fórmula
y tiene valor 1.
Sin embargo, si consideramos la interpretación (D2 , I2 ) denida por:
Denición 7.3.1
• Se dice que una fórmula ϕ es satisfacible bajo una interpretación
(D, I) cuando se verica ϕI,A = 1 para alguna asignación A.
((ϕ1 ∧ ϕ2 ∧ · · · ∧ ϕn ) → ϕ).
ϕ1
..
.
ϕn
ϕ
∀x(H(x) → M (x)),
H(s),
M (s).
|= t = t Reexividad de la igualdad
t = t0 |= t0 = t Simetría de la igualdad
{t = t0 , t0 = t00 } |= t = t00 Transitividad de la igualdad
{ϕ[x/t], t = t0 } |= ϕ[x/t0 ] Sustitutividad de la igualdad
∀xϕ(x) |= ϕ[x/t] Hipótesis universal
ϕ[x/t] |= ∃xϕ(x) Tesis existencial
Ejemplo 7.4.5 [HLR] Se puede vericar (ver ejercicio 7.6.7) que las fór-
mulas de la tabla 7.2 son implicaciones lógicas.
• ϕ ≡ ψ.
• |= ϕ ↔ ψ.
• |= ϕ → ψ y |= ψ → ϕ.
156
Las tablas 7.3 (ver la correspondiente tabla 4.4 para la lógica proposi-
cional) y 7.4 contienen las principales equivalencias relativas a conectivos y
cuanticadores, respectivamente.
Teorema 7.5.7 Sea χ(ϕ) una fórmula que contiene una subfórmula ϕ y
sea χ(ψ) la fórmula obtenida reemplazando la subfórmula ϕ por ψ.
Si ϕ ≡ ψ, entonces
χ(ϕ) ≡ χ(ψ).
Ejemplo 7.5.9 Sea χ : ∀x(P (x, p, q) → Q(f (y))). Sabemos, por interdeni-
ción, que la subfórmula ϕ : P (x, p, q) → Q(f (y)) es equivalente a la fórmula
ψ : ¬P (x, p, q) ∨ Q(f (y)). Entonces
∀x(P (x, f (y), g(u, v)) → Q(y)) ≡ ∀x(¬P (x, f (y), g(u, v)) ∨ Q(y)).
158
7.6 Ejercicios
Ejercicio 7.6.1 Dada la fórmula
ϕ : ∃y(P (y) ∨ ∀x(P (x) → Q(z))),
dene una interpretación tal que ϕ sea válida y una tal que no lo sea. Con-
cluye que esa formula no es semánticamente válida.
Ejercicio 7.6.12 En cada apartado, verica si las dos fórmulas dadas son
equivalentes:
a) ϕ1 : P (x) → ∀xQ(x), ϕ2 : ∀x(P (x) → Q(x)).
b) ϕ1 : ∃xP (x) ∧ Q(x), ϕ2 : ∃x(P (x) ∧ Q(x)).
162
Capítulo 8
Teoría de la demostración
163
164
ϕ(y) ` ∀xϕ(x).
y
..
.
..
.
` ϕ(y)
` ∀xϕ(x)
165
Ejemplo 8.1.1 [A] Para poder deducir que Todos los leones son car-
nívoros en el dominio D de los leones, siendo H(x) : x es carnívoro,
se puede usar la regla (I ∀) y escribir
y
` C(y)
` ∀xC(x)
∀xϕ(x) ` ϕ(t)
ϕ(a) ` ∃xϕ(x),
1) ϕ(b) (Premisa)
2) ∃xϕ(x) → ψ(a) (Premisa)
3) ` ∃xϕ(x) (I ∃(1))
4) ` ψ(a) (E→(3,2)).
{∃xϕ(x), ϕ(y) → ψ} ` ψ,
1) ∃xϕ(x)
1) ∃xϕ(x) (Premisa)
2) ∃xψ(x) (Premisa)
1) ∀xϕ(x) (Premisa)
2) z
3) ` ϕ(z) (E∀(1))
4) ` ∀yϕ(y) (I∀(2,3))
• T33: Conmutatividad
T33.1 :∃x∃yϕ(x, y) ` ∃y∃xϕ(x, y),
T33.2 :∃y∃xϕ(x, y) ` ∃x∃yϕ(x, y).
• Completitud
Recordamos que se dice que un sistema de demostración axiomático es
completo si es capaz de demostrar cualquier fórmula semánticamente
válida y deducir cualquier consecuencia lógica.
Por tanto, el teorema 8.2.1 anterior tiene como consecuencia la com-
pletitud del cálculo de predicados de primer orden.
• Corrección
Recordamos que se dice que un sistema de demostración es correcto
(consistente, coherente) si todas las fórmulas demostrables en el
sistema son semánticamente válidas y todas las fórmulas deducibles en
el sistema a partir de un conjunto de premisas son consecuencia lógica
de dichas premisas.
Por tanto, el teorema 8.2.1 anterior tiene como consecuencia también
la corrección del cálculo de predicados de primer orden.
171
• Decidibilidad
Finalmente, recordamos que se dice que un sistema de demostración es
decidible si proporciona un procedimiento general y nito (aplicable
a cualquier fórmula y que termine) que permita decidir si una fórmula
es válida o deducible a partir de un conjunto de fórmulas.
No existe ningún sistema de demostración en LPO que sea
decidible: Church demostró en 1936 que no existe ningún algoritmo
que permita decidir si una fórmula cualquiera de la lógica de primer
orden es o no es válida, es decir, la validez de fórmulas en LPO es un
problema indecidible (obsérvese que el mismo problema en lógica de
proposiciones sí es decidible: en este caso, para saber si una fórmula es
válida basta con calcular su tabla de verdad).
Aunque la validez de las fórmulas en LPO no es decidible en general,
sí lo es en los siguientes casos particulares:
8.3 Ejercicios
Ejercicio 8.3.1 En el sistema de deducción natural, demuestra las reglas de
descenso cuanticacional T32 y de conmutatividad T33.
` ∃x¬ϕ(x) → ¬∀xϕ(x),
` ∀x¬ϕ(x) → ¬∃xϕ(x),
` ¬∃xϕ(x) → ∀x¬ϕ(x),
` ¬∀xϕ(x) → ∃x¬ϕ(x).
Ejercicio 8.3.3 [MH] Usando los resultados del ejercicio anterior, demues-
tra la validez de las siguientes reglas en el sistema de deducción natural:
[UNED1] http://www.educajob.com/xmoned/temarios_elaborados/
losoa/Delalógica%20cl%E1sica%20a%20la%20l
%F3gica%20simb% F3lica.htm.