Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more ➡
Download
Standard view
Full view
of .
Add note
Save to My Library
Sync to mobile
Look up keyword or section
Like this
27Activity
×

Table Of Contents

Introducción
Objetivos
1.La lógica de predicados y su lenguaje
1.1.La capacidad expresiva del lenguaje de enunciados es limitada
1.2.El lenguaje de la lógica de predicados
1.2.1.Predicados, variables y constantes
1.2.2.Cuantificadores
1.2.3.Fórmulas
1.2.4.Ámbito de los cuantificadores
1.2.5.El significado de los cuantificadores
1.3.La formalización
1.3.1.Cómo formalizar
1.3.2.Formalización de frases con significado existencial
o universal
1.3.3.Formalización de frases complejas
2.La deducción natural
2.1.Reglas
2.1.1.Eliminación e introducción de cuantificadores
2.1.2.Restricciones adicionales
2.2.Ejemplos
2.3.Reglas derivadas y equivalencias deductivas
3.Verdad y falsedad en la lógica de predicados
3.1.El concepto de interpretación en la lógica de predicados
3.2.Paso de fórmulas a enunciados
3.3.Refutación de razonamientos
4.Formas normales
4.1.Forma normal de Skolem
4.2.Eliminación de cuantificadores existenciales: eskolemización
5.Resolución
5.1.Las novedades: forma normal de Skolem y sustituciones
5.2.Sustituir variables por términos
5.2.1.Ejemplo comentado
5.2.2.Quién sustituye a quién y cómo lo hace
5.3.Más ejemplos
5.4.Automatización del cálculo de sustituciones:
el algoritmo de unificación
6.La programación lógica
6.1.¿Qué es la programación lógica?
6.2.La lógica de predicados “implementada”: Prolog
6.2.1.Elementos básicos: cláusulas y reglas
6.2.3.Prolog implementa el método de resolución
Ejercicios de autoevaluación
Solucionario
Glosario
Bibliografía
0 of .
Results for:
No results containing your search query
P. 1
logica_predicados

logica_predicados

Ratings: (0)|Views: 7,815|Likes:

More info:

Published by: María Laura Berniell on Sep 02, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See More
See less

06/21/2013

pdf

text

original

You're Reading a Free Preview
Pages 4 to 62 are not shown in this preview.
You're Reading a Free Preview
Pages 66 to 85 are not shown in this preview.
You're Reading a Free Preview
Pages 89 to 94 are not shown in this preview.

Activity (27)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
pablo_jorhe liked this
Gabriel Muñoz liked this
Gabriel Muñoz liked this
José Millán liked this
Jgs Jgm liked this

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->