Redes Modalidad 1.pdf - RUA - Universidad de Alicante

Guía Docente de Lógica Computacional.
Contenido
Tema 1: Características del lenguaje de la lógica
1.1. Lenguajes naturales y formales.
1.2. Manipulación computacional de los lenguajes.
1.3. ¿Todo se puede formalizar? Enunciado y argumento.
1.4. Niveles en la formalización y características generales.
Tema 2: El lenguaje de proposiciones.
2.1. Enunciados atómicos y moleculares.
2.2. Alfabeto y gramática para generar fórmulas proposicionales.
2.3. Concepto de conectiva lógica y jerarquía.
2.4. Construcción de fórmulas bien formadas proposicionales.
Tema 3: El lenguaje de predicados.
3.1. Necesidad de extender el lenguaje proposicional.
3.2. Enunciado predicativo, término, predicado, cuantificación y dominio
de referencia.
3.3. Elección del dominio de referencia en la formalización de sentencias.
3.4. Alfabeto y gramática para generar fórmulas predicativas.
3.5. Construcción de fórmulas bien formadas predicativas.
3.6. Árboles sintácticos etiquetados.
3.7. Relación entre enunciados cuantificados.
3.8. Limitaciones expresivas del lenguaje lógico.
Tema 4: Depurando el lenguaje lógico para su tratamiento automático.
4.1. Normalización de fórmulas lógicas. Características.
4.2. Forma normal conjuntiva y disyuntiva.
4.3. Método para obtener las formas normales.
4.4. Forma clausal de una fórmula lógica. Características.
4.5. Forma normal de Skolem y de Prenex.
4.6. Método para obtener la forma clausal.
Bloque II. Teoría Semántica
Introducción
El sistema de fórmulas o estructuras deductivas válidas se construye a partir del
significado de sus componentes. Con el concepto de interpretación se da sentido
semántico a cada componente de una fórmula lógica y por lo tanto al de razonamiento.
El punto de partida será la noción de valor de verdad de una fórmula lógica para llegar
al de consecuencia lógica, fundamento del estudio semántico de la validez de
argumentos. Diferentes métodos de la teoría semántica nos ayudaran a llevar a cabo
nuestro propósito en dicho estudio.
Objetivos
o Comprender que el sistema de fórmulas y el de estructuras deductivas válidas se
construye a partir del significado de sus componentes.
o Aprender la forma de aplicar diferentes técnicas semánticas para interpretar fórmulas
lógicas y así estudiar la validez de argumentos.
o Comprender los conceptos de interpretación y consecuencia lógica como base para la
demostración de teoremas.
o Elegir el método semántico más eficiente para estudiar la validez de argumentos
según el nivel de abstracción del lenguaje lógico.
Contenido
Tema 5: La interpretación lógica.
6