Sunteți pe pagina 1din 228

Lógica Computacional

José Luis Fernández Vindel Ángeles Manjarrés Riesco Francisco Javier Díez Vegas

Dpto. Inteligencia Artificial

E.T.S.I. Informática UNED

2007

Presentación

Estos apuntes se facilitan como material de estudio de la asignatura Lógica Computacional, impartida por los autores en cuarto curso de Ingeniería Informática en la UNED. Los alumnos de este curso encontrarán, en su grupo de tutorización en la Red, otros documentos con ejemplos, actividades, ampliaciones o exámenes previos resueltos.

Los capítulos 1-2 y 5-6 han sido desarrollados por José Luis Fernández Vindel, el capítulo 3 por Ángeles Manjarrés Riesco y el capítulo 4 por Francisco Javier Díez Vegas, todos ellos profesores del Departamento de Inteligencia Artificial de la UNED.

Agradeceríamos sinceramente cualquier comunicación sobre erratas así como sugerencias sobre los contenidos y su exposición. En particular nos preocupa cómo mantener un tono expositivo amiga- ble sin renunciar al rigor: hasta qué punto facilitar demostraciones formales (y dónde situarlas), cómo reubicar ejemplos y ejercicios para no entorpecer la exposición, etc.

Estas aportaciones se están canalizado a través del grupo de tutorización en la Red. La página www.ia.uned.asignaturas/logica4 resume los detalles de planificación de este curso y facilita la dirección electrónica del grupo.

Los autores UNED, Madrid, 1 de octubre de 2007

Sobre esta edición 2007

Esta edición, de Octubre de 2007, difiere de la utilizada el pasado curso 06-07 en dos puntos:

1. algunas actualizaciones menores en los apartados sobre el uso de los apuntes (presentación, localización de ejercicios, direcciones de la asignatura, etc.)

2. una variación sustancial en el capítulo 6: se ha sustituido íntegramente su contenido. El nue- vo capítulo 6 corresponde al contenido del artículo sobre lógica temporal CTL que se facilitó separadamente el pasado curso.

Si el estudiante dispone de la versión impresa previa de estos apuntes y del citado artículo, no es necesario que imprima esta nueva versión. Cualquier duda puede consultarse en los Foros habilitados en el grupo de tutorización telemática.

Índice general

Introducción Objetivos y contenidos

 

1

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

1

 

Motivación para los alumnos de Ingeniería Informática

 

2

Bibliografía recomendada .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

3

Parte I. LÓGICA DE PREDICADOS

 

5

1

LÓGICA DE PROPOSICIONES

 

7

Resumen

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

. . . .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

7

Objetivos

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

7

Metodología

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

8

1.1 Sintaxis

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

8

1.1.1 El lenguaje de la Lógica de Proposiciones

 

9

1.1.2 Sobre la estructura inductiva del lenguaje

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

12

1.1.3 Derivación de conceptos sintácticos

 

15

1.1.4 Eliminación de paréntesis

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

19

1.2 Semántica

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

20

1.2.1 Introducción

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

20

1.2.2 Valores de verdad de fórmulas atómicas

 

22

1.2.3 Semántica de las conectivas

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

22

1.2.4 Valores de verdad de fórmulas complejas

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

24

1.2.5 Tablas de verdad

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

25

1.2.6 Tautologías y contradicciones

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

26

1.3 Conceptos semánticos básicos

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

26

1.3.1 Satisfacibilidad

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

26

1.3.2 Validez

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

29

1.3.3 Consecuencia .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

30

1.3.4 Equivalencia

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

36

1.4 Sistemas deductivos .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

42

1.4.1 Deducción natural

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

43

1.4.2 Resolución

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

51

1.4.3 Tablas semánticas .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

57

Bibliografía complementaria

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

61

Actividades y evaluación

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

61

2

LÓGICA DE PREDICADOS DE PRIMER ORDEN

63

Resumen

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

63

Objetivos

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

63

Metodología

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

64

2.1 Sintaxis

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

64

 

2.1.1 Lenguajes de primer orden

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

64

2.1.2 Inducción y recursión .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

67

2.1.3 Subfórmulas

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

68

2.1.4 Eliminación de paréntesis

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

69

2.1.5 Variables libres

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

70

2.1.6 Sustituciones

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

72

2.2 Semántica

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

77

 

2.2.1 Introducción

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

77

2.2.2 Interpretaciones .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

79

2.2.3 Asignaciones

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

80

2.2.4 Satisfacción .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

80

2.2.5 Ejemplos de interpretación

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

81

2.2.6 Conceptos semánticos básicos

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

87

2.3 Deducción Natural

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

88

 

2.3.1 Consideraciones previas

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

88

2.3.2 Cuantificadores universales

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

90

2.3.3 Cuantificadores existenciales

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

92

2.4 Tablas semánticas .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

93

 

2.4.1 Fórmulas proposicionales

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

93

2.4.2 Notación uniforme

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

94

2.4.3 Reglas de expansión γ y δ

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

96

2.4.4 Ejemplos

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

97

2.5 Resolución

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

100

 

2.5.1 Forma prenexa

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

100

2.5.2 Funciones de Skolem .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

103

2.5.3 Forma clausulada .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

104

2.5.4 Unificación

.

.