Professional Documents
Culture Documents
EDITORIAL RA–MA
i
ii
Índice general
PRÓLOGO XV
1. INTRODUCCIÓN A LA LÓGICA 1
1.1. Qué es la lógica . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. De qué trata la lógica . . . . . . . . . . . . . . . . . . . . . . 3
1.3. Corrección, Verdad y Analiticidad . . . . . . . . . . . . . . . 5
1.4. Presentación de los sistemas lógicos . . . . . . . . . . . . . . . 9
1.5. Resumen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.6. Cuestiones y Problemas . . . . . . . . . . . . . . . . . . . . . 13
I LÓGICA DE PROPOSICIONES 15
2. SEMÁNTICA 17
2.1. El lenguaje formal de la lógica de enunciados . . . . . . . . . 17
2.1.1. Traducción del lenguaje natural al lenguaje formal . . 23
2.2. Conectivas, tablas de verdad y funciones de verdad . . . . . . 25
2.2.1. Significado de las conectivas . . . . . . . . . . . . . . . 25
2.2.2. Álgebra de Boole y operadores booleanos . . . . . . . 30
2.2.3. Tablas de verdad y funciones de verdad . . . . . . . . 31
2.3. Valoración y equivalencia lógica . . . . . . . . . . . . . . . . . 34
2.4. Conjuntos adecuados de conectivas . . . . . . . . . . . . . . . 40
2.5. Argumentación, validez y consecuencia lógica . . . . . . . . . 42
2.6. Resumen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2.7. Cuestiones y Problemas . . . . . . . . . . . . . . . . . . . . . 45
iii
iv ÍNDICE GENERAL
5. SEMÁNTICA 109
5.1. Nombres, functores y relatores . . . . . . . . . . . . . . . . . 110
5.2. Cuantificadores . . . . . . . . . . . . . . . . . . . . . . . . . . 113
5.3. Lenguaje formal de primer orden, L . . . . . . . . . . . . . . 115
5.3.1. Vocabulario . . . . . . . . . . . . . . . . . . . . . . . . 116
5.3.2. Términos y fórmulas . . . . . . . . . . . . . . . . . . . 117
5.3.3. Ocurrencia libre y ligada de una variable . . . . . . . 120
5.4. Teorı́a de modelos . . . . . . . . . . . . . . . . . . . . . . . . 121
ÍNDICE GENERAL v
BIBLIOGRAFÍA 289
ix
x ÍNDICE DE FIGURAS
Índice de tablas
xi
xii
PRÓLOGO
xiii
xiv CAPÍTULO 0. PRÓLOGO
Vemos, pues, que pueden darse un gran número de razones para el es-
tudio de la lógica aparte de ser una buena vacuna contra la obsolescencia
tecnológica que siempre amenaza a los profesionales de la informática. Como
se afirma en [1]: “la lógica es particularmente importante porque es la base
matemática del software”.
Audiencia y objetivos
El libro que estamos presentando nace de la experiencia acumulada en
la docencia de la asignatura de Lógica en la Escuela Superior de Informática
de la Universidad de Castilla–La Mancha, aunque también se ha beneficia-
do de la experiencia obtenida en la docencia de otras asignaturas, como la
de Programación Declarativa y la de Inteligencia Artificial. La asignatura
de Lógica se imparte, durante el primer cuatrimestre, tanto a alumnos de
primer curso de las Ingenierı́as Técnicas como de la Ingenierı́a Superior de
Informática. Esto supone que muchos de ellos nunca han cursado una asig-
natura de lógica o poseen conocimientos muy básicos de lógica proposicional
y/o matemáticas. Por este motivo, no se presuponen conocimientos previos,
salvo algunos rudimentos sobre teorı́a de conjuntos y aritmética. Éste es un
curso de lógica matemática elemental1 y si bien la selección de los temas
1
Aquı́ la palabra ‘elemental’ no debe tomarse en un sentido técnico, esto es, para hacer
referencia a la parte de la lógica 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
Organización y Contenidos
Tras un primer capı́tulo introductorio, que quiere ser una aproximación
a la lógica en la que presentamos de manera informal el objeto de la lógica y
algunos de los conceptos que consideramos más importantes (enunciado, ar-
gumento, corrección, verdad, analiticidad, y relación de consecuencia lógica),
el contenido de este libro se ha organizado como sigue:
Parte I. Lógica de Proposiciones.
• Capı́tulo 2. Semántica.
Se estudia la lógica de proposiciones desde una perspectiva semánti-
ca. Se introduce el lenguaje formal de la lógica de proposiciones:
el lenguaje de las formas enunciativas. Se define el concepto de
valoración que formaliza el proceso de atribución de significado
para las formas enunciativas. El concepto de valoración nos per-
mite precisar varios conceptos importantes y demostrar algunas
de sus propiedades: formas enunciativas lógicamente equivalentes;
xvii
• Capı́tulo 5. Semántica
En este capı́tulo se introduce el lenguaje de la lógica de predica-
xviii CAPÍTULO 0. PRÓLOGO
Es conveniente notar que a lo largo del libro aparecen una serie de temas
recurrentes2 que son de gran interés para la formación del informático, como
son: la distinción entre lenguaje y metalenguaje; la técnica de definición por
inducción; el conocimiento de las diferentes técnicas de prueba y el proble-
ma de la representación del conocimiento. Dado que la representación del
conocimiento es de singular importancia en el campo de la Inteligencia Arti-
ficial, hemos querido prestarle suficiente atención. En nuestro contexto, ese
problema se concreta en el problema de la traducción del lenguaje natural
al lenguaje formal de la lógica. En lugar de dedicar un capı́tulo ex professo a
esta materia, a lo largo del libro se proporcionan reglas prácticas y ejemplos
que permiten al lector adquirir pericia en el proceso de transformar frases
del lenguaje natural en fórmulas del lenguaje formal. Hemos preferido ha-
cerlo ası́ tanto porque las técnicas son muy diversas como porque conviene
introducirlas desde el primer momento y agruparlas significarı́a postergar el
estudio de algunas de ellas hasta muy tarde.
Para finalizar, 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 teorı́a 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 lógica. El resto de los contenidos
presentados en la tercera parte se consideran temas avanzados. También es
recomendable que un curso de estas caracterı́sticas se complemente y prosiga
con uno de programación declarativa.
Agradecimientos
Deseo agradecer la colaboración y el apoyo de los compañeros que han
impartido o imparten la asignatura de lógica: Eduardo Fernández-Medina,
Mar Jiménez y Ramón Manjavacas. Un especial recuerdo en este momen-
to para Jose Ángel Olivas que participó en los inicios de este proyecto y
2
Usando la terminologı́a de Denning et al. [2].
xxi
xxiii