
Lógica de predicados
Enric Sesa i Nogueras
Lógica de predicados
Enric Sesa i Nogueras
Book Details:
Year: | 2000 |
Publisher: | UOC |
Pages: | 94 pages |
Language: | spanish |
Since: | 03/03/2014 |
Size: | 866 KB |
License: | CC-BY-SA |
Content:
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.
Categories:
Tags:
Loading comments...
Scanning lists...
The book in numbers
Views
Downloads
Interest
Countries segmentation
Source Referers
Websites segmentation
evolution
Loading...