Practica Logica
Páginas: 2 (346 palabras)
Publicado: 9 de abril de 2013
2 LÓGICA DE PREDICADOS DE PRIMER ORDEN 63
Resumen
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
Objetivos
. . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . 63
Metodología
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 642.1 Sintaxis . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . 642.1.1 Lenguajes de primer orden . . . . . . . . . . . . . . . . . . . . . . . . . . . 642.1.2 Inducción y recursión . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . 672.1.3 Subfórmulas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 682.1.4 Eliminación de paréntesis . . . . . . . . . . . . . . . . . . . . . . . . . . .692.1.5 Variables libres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 702.1.6 Sustituciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 722.2 Semántica .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 772.2.1 Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 772.2.2 Interpretaciones . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 792.2.3 Asignaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 802.2.4 Satisfacción . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . 802.2.5 Ejemplos de interpretación . . . . . . . . . . . . . . . . . . . . . . . . . . . 812.2.6 Conceptos semánticos básicos . . . . . . . . . . . . . . . . . .. . . . . . . 872.3 Deducción Natural . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 882.3.1 Consideraciones previas . . . . . . . . . . . . . . . . . . . . . . . . . . . .882.3.2 Cuantificadores universales . . . . . . . . . . . . . . . . . . . . . . . . . . . 902.3.3 Cuantificadores existenciales . . . . . . . . . . . . . . . . . . . . . . . . . . 932.4 Tablas semánticas...
Resumen
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
Objetivos
. . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . 63
Metodología
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 642.1 Sintaxis . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . 642.1.1 Lenguajes de primer orden . . . . . . . . . . . . . . . . . . . . . . . . . . . 642.1.2 Inducción y recursión . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . 672.1.3 Subfórmulas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 682.1.4 Eliminación de paréntesis . . . . . . . . . . . . . . . . . . . . . . . . . . .692.1.5 Variables libres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 702.1.6 Sustituciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 722.2 Semántica .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 772.2.1 Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 772.2.2 Interpretaciones . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 792.2.3 Asignaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 802.2.4 Satisfacción . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . 802.2.5 Ejemplos de interpretación . . . . . . . . . . . . . . . . . . . . . . . . . . . 812.2.6 Conceptos semánticos básicos . . . . . . . . . . . . . . . . . .. . . . . . . 872.3 Deducción Natural . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 882.3.1 Consideraciones previas . . . . . . . . . . . . . . . . . . . . . . . . . . . .882.3.2 Cuantificadores universales . . . . . . . . . . . . . . . . . . . . . . . . . . . 902.3.3 Cuantificadores existenciales . . . . . . . . . . . . . . . . . . . . . . . . . . 932.4 Tablas semánticas...
Leer documento completo
Regístrate para leer el documento completo.