Logica Simbolica para Informaticos

Pascual Julian Iranzo

Departamento de Informatica
Universidad de CastillaLa Mancha
EDITORIAL RAMA
i
ii

Indice general
PR

OLOGO XV
1. INTRODUCCI

ON A LA L

OGICA 1
1.1. Que es la logica . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. De que trata la logica . . . . . . . . . . . . . . . . . . . . . . 3
1.3. Correccion, Verdad y Analiticidad . . . . . . . . . . . . . . . 5
1.4. Presentacion de los sistemas logicos . . . . . . . . . . . . . . . 9
1.5. Resumen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.6. Cuestiones y Problemas . . . . . . . . . . . . . . . . . . . . . 13
I L

OGICA DE PROPOSICIONES 15
2. SEM

ANTICA 17
2.1. El lenguaje formal de la logica de enunciados . . . . . . . . . 17
2.1.1. Traduccion del lenguaje natural al lenguaje formal . . 23
2.2. Conectivas, tablas de verdad y funciones de verdad . . . . . . 25
2.2.1. Signicado de las conectivas . . . . . . . . . . . . . . . 25
2.2.2.

Algebra de Boole y operadores booleanos . . . . . . . 30
2.2.3. Tablas de verdad y funciones de verdad . . . . . . . . 31
2.3. Valoracion y equivalencia logica . . . . . . . . . . . . . . . . . 34
2.4. Conjuntos adecuados de conectivas . . . . . . . . . . . . . . . 40
2.5. Argumentacion, validez y consecuencia logica . . . . . . . . . 42
2.6. Resumen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2.7. Cuestiones y Problemas . . . . . . . . . . . . . . . . . . . . . 45
3. C

ALCULO AXIOM

ATICO Y PROPIEDADES FORMA-

LES 49
3.1. Sistema formal . . . . . . . . . . . . . . . . . . . . . . . . . . 49
iii
iv

INDICE GENERAL
3.2. Lenguaje objeto y metalenguaje . . . . . . . . . . . . . . . . . 51
3.3. El sistema formal axiomatico L . . . . . . . . . . . . . . . . . 53
3.4. El concepto de deduccion formal . . . . . . . . . . . . . . . . 57
3.5. Teorema de la deduccion . . . . . . . . . . . . . . . . . . . . . 61
3.6. Propiedades formales de la logica de enunciados . . . . . . . . 65
3.6.1. Correccion . . . . . . . . . . . . . . . . . . . . . . . . 65
3.6.2. Consistencia . . . . . . . . . . . . . . . . . . . . . . . 67
3.6.3. Completitud . . . . . . . . . . . . . . . . . . . . . . . 70
3.6.4. Deducibilidad y consecuencia logica . . . . . . . . . . 71
3.6.5. Decidibilidad . . . . . . . . . . . . . . . . . . . . . . . 72
3.7. Ley de intercambio . . . . . . . . . . . . . . . . . . . . . . . . 73
3.8. Otros sistemas formales . . . . . . . . . . . . . . . . . . . . . 76
3.9. Resumen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
3.10. Cuestiones y Problemas . . . . . . . . . . . . . . . . . . . . . 79
4. C

ALCULO DE DEDUCCI

ON NATURAL 81
4.1. Metodos de Prueba y Deduccion Natural . . . . . . . . . . . . 82
4.1.1. Metodos de prueba de los matematicos . . . . . . . . . 82
4.1.2. Estrategias de deduccion natural . . . . . . . . . . . . 84
4.2. El Sistema de Deduccion Natural . . . . . . . . . . . . . . . . 85
4.2.1. Reglas de construccion de una deduccion . . . . . . . 86
4.2.2. Reglas de inferencia basicas . . . . . . . . . . . . . . . 88
4.2.3. Reglas de inferencia derivadas . . . . . . . . . . . . . . 94
4.3. Consejos para la resolucion de argumentos . . . . . . . . . . . 97
4.4. Equivalencia entre el sistema L y el de deduccion natural . . . 99
4.5. Otros sistemas de deduccion natural . . . . . . . . . . . . . . 101
4.6. Resumen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
4.7. Cuestiones y Problemas . . . . . . . . . . . . . . . . . . . . . 103
II L

OGICA DE PREDICADOS 107

5. SEM

ANTICA 109
5.1. Nombres, functores y relatores . . . . . . . . . . . . . . . . . 110
5.2. Cuanticadores . . . . . . . . . . . . . . . . . . . . . . . . . . 113
5.3. Lenguaje formal de primer orden, L . . . . . . . . . . . . . . 115
5.3.1. Vocabulario . . . . . . . . . . . . . . . . . . . . . . . . 116
5.3.2. Terminos y formulas . . . . . . . . . . . . . . . . . . . 117
5.3.3. Ocurrencia libre y ligada de una variable . . . . . . . 120
5.4. Teora de modelos . . . . . . . . . . . . . . . . . . . . . . . . 121

INDICE GENERAL v
5.4.1. Interpretaciones . . . . . . . . . . . . . . . . . . . . . 121
5.4.2. Traduccion del lenguaje natural al lenguaje formal
e interpretaciones . . . . . . . . . . . . . . . . . . . . . 124
5.4.3. Valoracion, satisfacibilidad, equivalencia logica y verdad132
5.4.4. Formulas cerradas y verdad en una interpretacion . . 138
5.4.5. Verdad logica . . . . . . . . . . . . . . . . . . . . . . . 140
5.4.6. Consecuencia logica y Modelos . . . . . . . . . . . . . 142
5.4.7. Independencia . . . . . . . . . . . . . . . . . . . . . . 145
5.5. Resumen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148
5.6. Cuestiones y Problemas . . . . . . . . . . . . . . . . . . . . . 150
6. C

ALCULO AXIOM

ATICO Y PROPIEDADES FORMA-

LES 155
6.1. El sistema formal axiomatico K
L
. . . . . . . . . . . . . . . . 155
6.2. Teorema de la deduccion . . . . . . . . . . . . . . . . . . . . . 159
6.3. Propiedades formales de la logica de predicados . . . . . . . . 162
6.3.1. Correccion y consistencia . . . . . . . . . . . . . . . . 163
6.3.2. Completitud . . . . . . . . . . . . . . . . . . . . . . . 166
6.3.3. Deducibilidad y consecuencia logica . . . . . . . . . . 168
6.3.4. Relaciones entre sintaxis y semantica . . . . . . . . . . 169
6.3.5. El problema de la indecidibilidad . . . . . . . . . . . . 170
6.4. Resumen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 174
6.5. Cuestiones y Problemas . . . . . . . . . . . . . . . . . . . . . 175
7. C

ALCULO DE DEDUCCI

ON NATURAL 177
7.1. Metodos de Prueba y Deduccion Natural . . . . . . . . . . . . 177
7.2. Reglas de inferencia . . . . . . . . . . . . . . . . . . . . . . . 179
7.2.1. Sustituciones . . . . . . . . . . . . . . . . . . . . . . . 179
7.2.2. Reglas de inferencia basicas . . . . . . . . . . . . . . . 182
7.2.3. Reglas de inferencia derivadas . . . . . . . . . . . . . . 185
7.3. Consejos para la resolucion de argumentos . . . . . . . . . . . 188
7.4. Equivalencia entre el sistema K
L
y el de deduccion natural . 190
7.5. Resumen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 192
7.6. Cuestiones y Problemas . . . . . . . . . . . . . . . . . . . . . 193
III EXTENSIONES Y OTRAS L

OGICAS 197
8. EXTENSIONES DE LA L

OGICA DE PREDICADOS 199

8.1. Logica de Predicados con Identidad . . . . . . . . . . . . . . . 199
vi

INDICE GENERAL
8.1.1. Sistema axiomatico . . . . . . . . . . . . . . . . . . . . 200
8.1.2. Sistema de deduccion natural . . . . . . . . . . . . . . 201
8.1.3. Traduccion del lenguaje formal al lenguaje natural:
cuanticadores numericos . . . . . . . . . . . . . . . . 205
8.2. Tipos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 206
8.2.1. Logica heterogenea . . . . . . . . . . . . . . . . . . . . 206
8.2.2. Tipos y lenguajes de programacion . . . . . . . . . . . 210
8.3. Orden Superior . . . . . . . . . . . . . . . . . . . . . . . . . . 218
8.3.1. Logica de predicados de orden superior y expresividad 218
8.3.2. Logica de predicados de segundo orden . . . . . . . . . 220
8.3.3. Orden superior y metateora . . . . . . . . . . . . . . 221
8.3.4. Orden superior y lenguajes de programacion . . . . . . 223
8.4. Resumen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225
8.5. Cuestiones y Problemas . . . . . . . . . . . . . . . . . . . . . 228
9. OTRAS L

OGICAS 233
9.1. Logica Clasica y Otras Logicas . . . . . . . . . . . . . . . . . 233
9.2. Problemas Expresivos y la Necesidad de Otras Logicas . . . . 236
9.3. Logicas Multivalentes . . . . . . . . . . . . . . . . . . . . . . 237
9.3.1. Logica trivalente . . . . . . . . . . . . . . . . . . . . . 238
9.3.2. Logica borrosa . . . . . . . . . . . . . . . . . . . . . . 241
9.4. Logica Modal . . . . . . . . . . . . . . . . . . . . . . . . . . . 242
9.4.1. Sintaxis . . . . . . . . . . . . . . . . . . . . . . . . . . 243
9.4.2. Semantica de los mundos posibles . . . . . . . . . . . . 244
9.4.3. Calculos deductivos . . . . . . . . . . . . . . . . . . . 253
9.5. Logica Temporal . . . . . . . . . . . . . . . . . . . . . . . . . 254
9.6. Logica Intuicionista . . . . . . . . . . . . . . . . . . . . . . . . 256
9.7. Logica no Monotona . . . . . . . . . . . . . . . . . . . . . . . 258
9.8. Resumen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 263
9.9. Cuestiones y Problemas . . . . . . . . . . . . . . . . . . . . . 266
A. FUNDAMENTOS MATEM

ATICOS 271
A.1. Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 271
A.2. Relaciones y Funciones . . . . . . . . . . . . . . . . . . . . . . 273
A.3. N umeros Naturales y Principio de Induccion Matematica . . 277
B. NOTACIONES PARA LOS OPERADORES L

OGICOS 281

INDICE GENERAL vii

C. REGLAS DE INFERENCIA 283
C.1. Reglas de inferencia basicas . . . . . . . . . . . . . . . . . . . 283
C.2. Reglas de inferencia derivadas . . . . . . . . . . . . . . . . . . 285
C.3. Formulas logicamente equivalentes . . . . . . . . . . . . . . . 287
BIBLIOGRAF

IA 289

INDICE ALFAB

ETICO 293
viii

INDICE GENERAL

Indice de guras
2.1. Representacion arborescente de una forma enunciativa. . . . . 21
2.2. Puertas logicas y circuito combinacional. . . . . . . . . . . . . 32
3.1. Jerarqua de lenguajes y dise no en capas. . . . . . . . . . . . 53
4.1. Pasos en la construccion de la deduccion del Ejemplo 20. . . . 88
5.1.

Arbol de relaciones familiares. . . . . . . . . . . . . . . . . . . 125
5.2. Operaciones con conjuntos y enunciados categoricos. . . . . . 130
6.1. Relaciones entre sintaxis y semantica. . . . . . . . . . . . . . 170
8.1. Relacion de equivalencia sobre un dominio nito. . . . . . . . 201
8.2. Una lista de enteros. . . . . . . . . . . . . . . . . . . . . . . . 214
A.1. Diferentes clases de funciones. . . . . . . . . . . . . . . . . . . 275
ix
x

INDICE DE FIGURAS

Indice de tablas
2.1. Tabla de verdad para las conectivas binarias. . . . . . . . . . 29
2.2. Conectivas binarias mas notables. . . . . . . . . . . . . . . . . 30
2.3. Algunas formulas logicamente equivalentes. . . . . . . . . . . 37
5.1. Lenguaje natural y su formalizacion. . . . . . . . . . . . . . . 113
5.2. Enunciados categoricos y su formalizacion. . . . . . . . . . . . 129
8.1. Cuanticadores numericos. . . . . . . . . . . . . . . . . . . . . 206
9.1. Operadores modales y su interdenibilidad. . . . . . . . . . . 244
9.2. Relaciones entre los sistemas modales. . . . . . . . . . . . . . 252
xi
xii
PR

OLOGO
La logica simbolica o matematica estudia la logica utilizando tecnicas y
nociones matematicas. Al mismo tiempo ha contribuido a la fundamenta-
cion de las matematicas. Aunque la logica es una disciplina muy antigua,
que hunde sus races en los losofos griegos de la escuela de Megara, la es-
cuela Estoica y Aristoteles, solamente se ha constituido en disciplina formal,
es decir, en logica simbolica (en adelante, simplemente logica), a partir de
la segunda mitad del siglo XIX, con los trabajos de A. De Morgan y G.
Boole. Con el comienzo del segundo tercio del siglo XX la logica se ha vis-
to fertilizada por los nuevos problemas y tecnicas surgidos alrededor de la
informatica (Ciencias de la Computacion e Inteligencia Articial).
La mayora de los informaticos reconocen la ntima conexion existente
entre la logica y la informatica, comparable en importancia a la relacion
existente entre el analisis matematico y la fsica. Desde el comienzo de su
relacion la logica ha jugado diferentes papeles en el campo de la informatica
[3, 4]:
1. Como una fuente de lenguajes y sistemas para el razonamiento, debido
a su capacidad deductiva. Se han empleado diferentes tipos de logica
para describir e implementar sistemas que razonan sobre un dominio
en particular (e.g. en los campos de la teora de la especicacion y la
inteligencia articial). La logica temporal , una clase de logica modal,
se ha empleado para razonar sobre sistemas que incorporan el tiempo
como un parametro principal. La logica multimodal se ha empleado
para razonar sobre sistemas concurrentes e indeterministas. La logica
multimodal tambien es util en el campo de los lenguajes de especi-
cacion. La logica no monotona se ha aplicado a una gran variedad de
problemas que van desde la herencia de propiedades a las bases de da-
tos deductivas y en todas aquellas areas en las que es necesario emular
razonamientos de sentido com un o manejar informaciones imprecisas.
xiii
xiv CAP

ITULO 0. PR

OLOGO
La logica borrosa tambien se ha utilizado para razonar sobre sistemas
en los que el conocimiento es incierto.
2. Como una fuente de herramientas y tecnicas de analisis y fundamentacion.
La logica se ha empleado como una herramienta para la representa-
cion del conocimiento y en otras muchas areas de la inteligencia artial.
Desde el punto de vista de la fundamentacion, la logica se ha utilizado
para proporcionar un modelo de computo. El -calculo y la reduccion
de -expresiones a formas normales, o bien la logica de clausulas de
Horn y el principio de resolucion SLD representan visiones idealiza-
das de la idea de computo. La logica tambien se ha empleado para
establecer una descripcion formal del signicado (semantica) de los
lenguajes de programacion y en la especicacion y vericacion formal
de programas.
Vemos, pues, que pueden darse un gran n umero de razones para el es-
tudio de la logica aparte de ser una buena vacuna contra la obsolescencia
tecnologica que siempre amenaza a los profesionales de la informatica. Como
se arma en [1]: la logica es particularmente importante porque es la base
matematica del software.
Audiencia y objetivos
El libro que estamos presentando nace de la experiencia acumulada en
la docencia de la asignatura de Logica en la Escuela Superior de Informatica
de la Universidad de CastillaLa Mancha, aunque tambien se ha benecia-
do de la experiencia obtenida en la docencia de otras asignaturas, como la
de Programacion Declarativa y la de Inteligencia Articial. La asignatura
de Logica se imparte, durante el primer cuatrimestre, tanto a alumnos de
primer curso de las Ingenieras Tecnicas como de la Ingeniera Superior de
Informatica. Esto supone que muchos de ellos nunca han cursado una asig-
natura de logica o poseen conocimientos muy basicos de logica proposicional
y/o matematicas. Por este motivo, no se presuponen conocimientos previos,
salvo algunos rudimentos sobre teora de conjuntos y aritmetica.

Este es un
curso de logica matematica elemental
1
y si bien la seleccion de los temas
1
Aqu la palabra elemental no debe tomarse en un sentido tecnico, esto es, para hacer
referencia a la parte de la logica en la que las variables toman valores entre los individuos
de un conjunto y no se les asignan otros conjuntos o propiedades de individuos (lo que
xv
se ha hecho pensando en las necesidades de los alumnos de informatica,
tambien puede ser util a alumnos de matematicas u otras ingenieras.
Este libro se centra, principalmente, en el estudio de las caractersticas
y propiedades fundamentales de los sistemas logicos tradicionales: la logica
de proposiciones y la de predicados. Sin desde nar el rigor matematico y el
estudio de las propiedades formales de la logica se ha dado gran importan-
cia a las tecnicas de formalizacion, y mas generalmente a las tecnicas de
representacion del conocimiento mediante la logica, as como a los proce-
sos deductivos. Conscientemente se ha buscado un equilibrio entre ambos
extremos, lo que distingue a este libro de otras propuestas existentes en la
literatura, en las que o bien se hace hicapie en los contenidos matematicos y
la metateora, o bien se aborda el estudio de la logica de forma meramente
descriptiva y centrandose en los problemas de deduccion formal (en la propia
logica). Al tomar esta orientacion se pretende que el alumno sea capaz de:
Tener uidez en el uso de los formalismos logicos y la manipulacion de
formulas. Esto es de gran interes, tanto en cuanto los lenguajes de pro-
gramacion pueden considerarse sistemas formales y sus instrucciones
formulas.
Realizar demostraciones usando diferentes sistemas de deduccion. Prin-
cipalmente los llamados sistemas de deduccion natural, que permiten
instruir al alumno en diferentes tecnicas de prueba con mayor facili-
dad: i) pruebas indirectas o por reduccion al absurdo; y ii) pruebas
directas (dentro de estas, las pruebas por casos y las basadas en el
teorema de la deduccion).
Distinguir entre sintaxis y semantica y la relacion existente entre am-
bas.
Distinguir entre los diferentes niveles de lenguaje: lenguaje objeto y
metalenguaje. Esto es de gran ayuda para un informatico, ya que mu-
chos sistemas informaticos estan dise nados y estructurados como sis-
temas de capas de lenguajes en los que el lenguaje denido en una
capa superior act ua como metalenguaje del lenguaje de la capa inme-
llamamos logica de primer orden o logica de predicados). La palabra elemental la em-
pleamos en un sentido coloquial, para indicar que el alcance de los temas seleccionados
si exceptuamos la Parte III y la profundidad con la que se abordan es de facil com-
prension o al menos no entra na dicultades insalvables para el lector que por primera vez
se acerca a la logica.
xvi CAP

ITULO 0. PR

OLOGO
diatamente inferior, que es considerado como lenguaje objeto respecto
al primero.
Conocer las tecnicas de denicion por induccion y de traduccion del
lenguaje natural al lenguaje formal, que son de interes en las tareas
de programacion de computadoras.
Conocer las propiedades formales de la logica y sus implicaciones.
Entender el lenguaje preciso pero informal empleado por los matemati-
cos y sus metodos de prueba. Dado que creemos que un ingeniero debe
conocer y ser capaz de expresarse usando el lenguaje de las matemati-
cas, concedemos gran importancia a que el alumno adquiera uidez en
ese lenguaje y pueda entender pruebas matematicas (relacionadas con
propiedades de la logica) de complejidad peque na y media.
Aunque, como hemos dicho, el libro se centra en la logica clasica, tambien
se dedica atencion a las nuevas tendencias de la logica, que a pesar de su
reciente aparicion (en terminos del devenir historico de esta disciplina) ya
tienen una gran inuencia en la ciencia y tecnologa actuales: por ejemplo,
la logica modal o las logicas multivalentes. El objetivo principal, respecto
a este punto, es que el alumno se familiarice con estos nuevos sistemas y
reconozca su utilidad practica en las ciencias de la computacion.
Organizacion y Contenidos
Tras un primer captulo introductorio, que quiere ser una aproximacion
a la logica en la que presentamos de manera informal el objeto de la logica y
algunos de los conceptos que consideramos mas importantes (enunciado, ar-
gumento, correccion, verdad, analiticidad, y relacion de consecuencia logica),
el contenido de este libro se ha organizado como sigue:
Parte I. Logica de Proposiciones.
Captulo 2. Semantica.
Se estudia la logica de proposiciones desde una perspectiva semanti-
ca. Se introduce el lenguaje formal de la logica de proposiciones:
el lenguaje de las formas enunciativas. Se dene el concepto de
valoracion que formaliza el proceso de atribucion de signicado
para las formas enunciativas. El concepto de valoracion nos per-
mite precisar varios conceptos importantes y demostrar algunas
de sus propiedades: formas enunciativas logicamente equivalentes;
xvii
formas enunciativas tautologicas y el concepto de consecuencia
logica y forma argumentativa correcta.
Captulo 3. Calculo axiomatico L y propiedades formales.
Se estudia la logica de proposiciones desde una perspectiva sintacti-
ca. Comenzamos deniendo el concepto de sistema formal e in-
troducimos el problema de la distincion entre lenguaje y meta-
lenguaje, al que damos gran relevancia durante todo el desarrollo
de este libro. Despues, describimos el sistema formal axiomatico
L, dedicando especial atencion al concepto de deduccion, ya que
una de las nalidades del sistema formal es proporcionarnos un
metodo de calculo que sirva para establecer la correccion de un
argumento. Puesto que deducir en el sistema formal L es difcil,
buscamos herramientas para facilitar esta tarea: el teorema de
la deduccion y el teorema de intercambio. Estudiamos las pro-
piedades formales de la logica de proposiciones, centrandonos en
la correccion, la consistencia, la completitud y la decidibilidad;
probamos que el sistema formal L posee todas estas propiedades.
Para nalizar, se introduce el sistema de Kleene, como ejemplo
de sistema axiomatico distinto del que nosotros empleamos.
Captulo 4. Calculo de deduccion natural.
Se presenta un sistema de deduccion natural de tipo Gentzen
que exibiliza el proceso de deduccion en la propia logica. Pri-
mero se describen algunos de los metodos de prueba usados por
los matematicos, que tienen su reejo en las distintas reglas de
inferencia basicas que componen nuestro sistema de deduccion
natural. El sistema que presentamos se caracteriza por hacer uso
de un amplio conjunto de conectivas logicas, por poseer solo re-
glas de inferencia (pero no contener axiomas, contrariamente a
lo que sucede con otras caracterizaciones de los sistemas de de-
duccion natural) y por tener un reducido n umero de reglas para
la construccion de una deduccion. Finalizamos el captulo discu-
tiendo la relacion de nuestro sistema de deduccion natural con
otros similares, como el calculo de secuentes. Tambien demostra-
mos la equivalencia deductiva entre el sistema L y el sistema de
deduccion natural.
Parte II. Logica de Predicados.
Captulo 5. Semantica
En este captulo se introduce el lenguaje de la logica de predica-
xviii CAP

ITULO 0. PR

OLOGO
dos y se estudian sus aspectos semanticos. Primero se muestra la
necesidad de introducir un lenguaje formal mas rico, en terminos
expresivos, que permita dar cuenta de los nombres, los functores,
los relatores y la cuanticacion que es habitual en los lengua-
jes naturales. Despues se dene el lenguaje formal de la logica
de predicados como un sistema de smbolos desprovisto de to-
da signicacion e inmediatamente se plantea el problema de su
interpretacion desde la perspectiva de la teora de modelos. Se
precisan los conceptos de interpretacion, valoracion, satisfacibili-
dad, verdad y validez. Estos conceptos nos permiten ampliar el
concepto de equivalencia logica a la logica de predicados. Tam-
bien se demuestran diversas propiedades relativas a la nocion de
verdad y validez. Introducimos la nocion de interpretacion mo-
delo, asociada a un determinado tipo de formulas que llamamos
cerradas. La nocion de modelo es determinante en la denicion
del concepto de consecuencia logica. El teorema de la deduccion
semantica pone en relacion los conceptos de consecuencia logica
y formula logicamente valida. Para nalizar, se introduce el con-
cepto de independencia y la tecnica de prueba de independencia,
que es util para detectar cuando una formula no es consecuencia
logica de otro conjunto de formulas.
Captulo 6. Calculo axiomatico K
L
y propiedades formales.
Estudiamos los aspectos sintacticos y las propiedades de la logica
de predicados. Con este objetivo se introduce el sistema formal
axiomatico K
L
. El sistema K
L
puede considerarse como una ex-
tension del sistema L con nuevos recursos expresivos y axiomas
para poder tratar un lenguaje mas rico en el que tienen cabida las
formulas cuanticadas. Dado que deducir en el sistema formal K
L
es tan difcil o mas que en el sistema L, tambien aqu buscamos
herramientas para facilitar la tarea de deducir. Probamos que
tanto el teorema de la deduccion (con ciertas restricciones) como
el teorema de intercambio siguen siendo validos en el sistema K
L
.
Estudiamos las propiedades formales de la logica de predicados,
comprobando que el sistema formal K
L
es: correcto, consistente
y completo; pero indecidible (si bien fragmentos de la logica de
predicados pueden probarse decidibles). La indecidibilidad de la
logica de predicados impide su completa automatizacion y solo
es posible implementar procedimientos de semidecision, es decir,
que permiten comprobar la validez de una formula pero pueden
xix
no terminar, si la formula es insatisfacible.
Captulo 7. Calculo de deduccion natural.
Aqu, se extiende el sistema de deduccion natural del Captulo 4
con las reglas de inferencia apropiadas para tratar la cuantica-
cion. Despues de resumir los principales metodos de prueba usa-
dos por los matematicos cuando tratan con formulas cuantica-
das, se introducen las reglas de inferencia basicas para los cuanti-
cadores: un par de reglas de introduccion/eliminacion del cuanti-
cador universal y otro par de reglas de introduccion/eliminacion
del cuanticador existencial. Tambien se introducen y justican
las reglas de inferencia derivadas y se dan consejos practicos para
la resolucion de argumentos cuando se usa el sistema de deduccion
natural. Para nalizar, se demuestra la equivalencia deductiva en-
tre el sistema K
L
y el sistema de deduccion natural.
Parte III. Extensiones de la Logica Clasica y Otras Logicas.
Captulo 8. Extensiones de la Logica de Predicados.
En este captulo nos centramos en los sistemas de primer orden
con igualdad, que se abordan desde el punto de vista de los sis-
temas axiomaticos y desde el punto de vista de los sistemas de
deduccion natural. Tambien estudiamos la problematica que oca-
siona la introduccion de tipos y caracterticas de orden superior
en el lenguaje de logica de predicados. Comprobamos, mediante
numerosos ejemplos, que tanto el empleo de tipos como del orden
superior mejora la expresividad y el dise no de los lenguajes de
programacion.
Captulo 9. Otras Logicas.
En la segunda parte del captulo se caracterizan los principios
basicos sobre los que se fundamenta la logica clasica (principio
de identidad, principio de bivalencia, principio de no contradic-
cion, principio del tercio excluso,...) y se estudian algunas de las
llamadas logicas desviadas (logicas multivalentes, logica modal,
logica intuicionista y logica no monotona), indagando como se
ven afectados esos principios fundamentales de la logica clasica
por las nuevas concepciones de la logica. Tambien se comentan
algunas de las aplicaciones de las logicas no clasicas.
xx CAP

ITULO 0. PR

OLOGO
Es conveniente notar que a lo largo del libro aparecen una serie de temas
recurrentes
2
que son de gran interes para la formacion del informatico, como
son: la distincion entre lenguaje y metalenguaje; la tecnica de denicion por
induccion; el conocimiento de las diferentes tecnicas de prueba y el proble-
ma de la representacion del conocimiento. Dado que la representacion del
conocimiento es de singular importancia en el campo de la Inteligencia Arti-
cial, hemos querido prestarle suciente atencion. En nuestro contexto, ese
problema se concreta en el problema de la traduccion del lenguaje natural
al lenguaje formal de la logica. En lugar de dedicar un captulo ex professo a
esta materia, a lo largo del libro se proporcionan reglas pr acticas y ejemplos
que permiten al lector adquirir pericia en el proceso de transformar frases
del lenguaje natural en formulas del lenguaje formal. Hemos preferido ha-
cerlo as tanto porque las tecnicas son muy diversas como porque conviene
introducirlas desde el primer momento y agruparlas signicara postergar el
estudio de algunas de ellas hasta muy tarde.
Se ha dedicado el Apendice A a la introduccion de un limitado n umero de
notaciones y nociones matematicas que es conveniente que el lector conozca.
Este apendice puede usarse como un manual de referencia rapido al que
dirigirse solo cuando se necesite.
Para nalizar, diremos que los contenidos enumerados en las dos pri-
meras partes se adaptan a una asignatura cuatrimestral (impartida en 15
semanas, con tres horas de teora y una de problemas por semana). Dichos
contenidos pueden ampliarse con apartados de la tercera parte hasta cu-
brir un semestre, dependiendo de la profundidad y el detalle con el que se
expliquen los mismos. En cualquier circunstancia es recomendable incluir
el Apartado 8.1 en un primer curso de logica. El resto de los contenidos
presentados en la tercera parte se consideran temas avanzados. Tambien es
recomendable que un curso de estas caractersticas se complemente y prosiga
con uno de programacion declarativa.
Agradecimientos
Deseo agradecer la colaboracion y el apoyo de los compa neros que han
impartido o imparten la asignatura de logica: Eduardo Fernandez-Medina,
Mar Jimenez y Ramon Manjavacas. Un especial recuerdo en este momen-
to para Jose

Angel Olivas que participo en los inicios de este proyecto y
2
Usando la terminologa de Denning et al. [2].
xxi
que, lamentablemente, otras obligaciones profesionales le han impedido co-
laborar en la elaboracion de este libro. Sus opiniones han sido muy valiosas
y de ellas se ha beneciado este texto. Algunos ejercicios sobre deduccion
natural son de su autora y cedidos desinteresadamente. Tambien deseo re-
conocer la aportacion de Serafn Benito, ya que su lectura atenta de algunos
captulos ha servido para detectar y solucionar algunos errores introducidos
inadvertidamente. Gines Moreno ha revisado el Captulo 8 y Jaime Pena-
bad ha revisado el Captulo 9, aportando extensos comentarios. Desde estas
paginas mi mas sincero agradecimiento a todos ellos.
Finalmente, quisiera agradecer a Nieves su paciencia continua, su com-
prension y apoyo, sin los que no hubiese sido posible escribir este libro.
Sagunto, Navidad de 2003
xxii CAP

ITULO 0. PR

OLOGO
Bibliografa
[1] M. Ben-Ari. Mathematical Logic for Computer Science. Springer-Verlag, Lon-
don, UK, 2001.
[2] P.J. Denning, D.E. Comer, D. Gries, M.C. Mulder, A.B. Tucker, A.J. Turner,
and P.R. Young. Computing as a discipline. Communications of the ACM,
32(1):923, 1989.
[3] D.J. Israel. The role(s) of logic in articial intelligence. In J.A. Robinson
D.M. Gabbay, C.J. Hogger, editor, Handbook of Logic in Articial Intelligence
and Logic Programming, volume 1 Logical Foundations, pages 67182. Oxford
University Press, Oxford, UK, 1992.
[4] M. Ryan and M. Sadler. Valuation systems and consequence relations. In
T.S.E. Maibaum S. Abramsky, D.M. Gabbay, editor, Handbook of Logic in Com-
puter Science, volume 1 Background: Mathematical Structures, pages 321363.
Oxford University Press, Oxford, UK, 1992.
xxiii