Libro Gratis de Lógica de Predicados

El siguiente libro gratuito está dirigido para todas aquellas personas interesadas en aprender sobre la Lógica de Predicados.

Sobre el Libro (Por el Autor)

Todo sistema formal tiene sus limitaciones. La lógica de enunciadosno es una excepción. Su simplicidad tiene una recompensa: es un vehículo ideal para transmitir los conceptos básicos sobre los cuales se construye el edificio de esta disciplina, pero también tiene un precio: esexcesivamente simple para poder ser una verdadera herramienta de trabajo.

No hay que preocuparse, porque una vez adentrados en el mundo de la lógica, por medio de los enunciados y de su lenguaje, de la deducción natural y sus reglas, de las tablas de verdad y del método de resolución, es el momento de tratar más profundamente este ámbito y estudiar la lógica de predicados.

En este módulo didáctico entraréis en el mundo de la lógica de predicados y conoceréis el lenguaje que le es propio: el lenguaje de las fórmulas. Con este lenguaje aprenderéis a formalizar razonamientos que estaban fueran del modesto alcance del lenguaje de enunciados.

Veréis que muchos de los aspectos de los que tratará no os son nada ajenos: habrá que validar razonamientos, utilizando una versión ampliada de la deducción natural conocida; refutarlos buscando contraejemplos; calcular formas normales y, por supuesto, estudiar el método que permite mecanizar la tarea de validación: la resolución.

Contenido (Temas)

La lógica de predicados y su lenguaje
- La capacidad expresiva del lenguaje de enunciados es limitada
- El lenguaje de la lógica de predicados
- La formalización
La deducción natural
- Reglas
- Ejemplos
- Reglas derivadas y equivalencias deductivas
Verdad y falsedad en la lógica de predicados
- El concepto de interpretación en la lógica de predicados
- Paso de fórmulas a enunciados
- Refutación de razonamientos
Formas normales
- Forma normal de Skolem
- Eliminación de cuantificadores existenciales: eskolemización
Resolución
- Las novedades: forma normal de Skolem y sustituciones
- Sustituir variables por términos
- Más ejemplos
- Automatización del cálculo de sustituciones: el algoritmo de unificación
La programación lógica
- ¿Qué es la programación lógica?
- La lógica de predicados “implementada”: Prolog
Resumen
Ejercicios de autoevaluación
Solucionario

Ficha Técnica

Año: 2000

Editor: UOC

Idioma: Español

Tamaño: 866 KB

Licencia: CC-BY-SA

Acerca de OpenLibra

OpenLibra busca reunir bajo una misma plataforma el mayor número de publicaciones libres posible. Esto implica una serie de riesgos en cuanto a los contenidos que han de asumirse y sobre los que queremos informar a nuestros usuarios.

En OpenLibra, los libros son responsabilidad exclusiva de sus autores. Esto significa que OpenLibra, no puede garantizar la validez de sus contenidos.

Preguntas Frecuentes

¿Qué quiere decir Biblioteca Libre?

Quiere decir que todos los libros que la componen están licenciados bajo alguno de los muchos tipos de licencia libre que existen y que, por tanto, el autor da su autorización para su reproducción y redistribución.

¿Son entonces todos los libros de esta biblioteca gratis?

Sí; al menos para su versión digital. Muchos autores, además, ofrecen la versión impresa (ya sea directamente o a través del circuito comercial habitual) por la que pueden cobrar lo que estimen oportuno.

Pero algunos de los libros que hay en la Biblioteca tienen Copyright…

El copyright y las licencias libres no son excluyentes. De hecho, las segundas se basan en la legislación sobre la primera para otorgar los derechos de copia y distribución. Es por eso que toda obra bajo una licencia libre, posee un copyright que garantiza la voluntad de su autor. Lo importante es qué permite ese copyright con respecto a la obra licenciada.

Pues he visto algún libro por aquí que tiene un Copyright y un ‘todos los derechos reservados’.

Cierto; en estos casos, lo más habitual es que la editorial haya devuelto los derechos de explotación al autor. Suele ocurrir con los manuales técnicos una vez pasado un tiempo prudencial o, por ejemplo, cuando se han agotado las ediciones impresas y no se pretende una reedición. Una vez los autores vuelven a tener el control, pueden ceder su trabajo al dominio público o permitir su redistribución libre para volver a poner su obra en circulación.

Si los libros son libres y gratis, ¿puedo hacer con ellos lo que quiera? ¿Los puedo imprimir, traducir y/o vender?

No; no puedes hacer aquello que su licencia no permita. Cómo se explica en el enlace de más arriba, algunas licencias solo permiten la descarga y redistribución sin ánimo de lucro. Si por ejemplo, quieres traducir la obra y editarla de forma ordinaria, algunos autores te exigirán que pagues los derechos pertinentes.