JENNIFER SÁNCHEZ MUNGUÍA
MARÍA MILAGROS GUTIÉRREZ
ZOYLA COLLADO GALEANO
SILVIO JAIME URBINA
LÓGICA DE PRIMER ORDEN
También llamado
lógica de predicado
o cálculos
predicados

Es un Sistema formal
diseñado para estud...
PREDICADOS?
Es una expresión lingüística que puede conectarse con una o
varias expresiones para formar una oración
Son tra...
REGLAS SINTÁCTICAS DE CONSTRUCCIÓN DE
FORMULAS CORRECTAS
Alfabeto

Términos

Átomo
EJEMPLO
•
LÓGICA DE PREDICADOS DE ORDEN
SUPERIOR
El calculo de predicados de primer orden admite generalizaciones a cálculos de pred...
Lógica de predicado de primer orden y orden
Próxima SlideShare
Cargando en…5
×

Lógica de predicado de primer orden y orden

2.304 visualizaciones

Publicado el

0 comentarios
3 recomendaciones
Estadísticas
Notas
  • Sé el primero en comentar

Sin descargas
Visualizaciones
Visualizaciones totales
2.304
En SlideShare
0
De insertados
0
Número de insertados
2
Acciones
Compartido
0
Descargas
58
Comentarios
0
Recomendaciones
3
Insertados 0
No insertados

No hay notas en la diapositiva.

Lógica de predicado de primer orden y orden

  1. 1. JENNIFER SÁNCHEZ MUNGUÍA MARÍA MILAGROS GUTIÉRREZ ZOYLA COLLADO GALEANO SILVIO JAIME URBINA
  2. 2. LÓGICA DE PRIMER ORDEN También llamado lógica de predicado o cálculos predicados Es un Sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden Son lenguajes cuantificadores, que alcanzan variables de individuos con predicados y funciones con constantes o variables Estudia frases declarativas con mayor grado de detalle, considerando la estructura interna de las proposiciones
  3. 3. PREDICADOS? Es una expresión lingüística que puede conectarse con una o varias expresiones para formar una oración Son tratados como funciones. Una función recibe cosas llamados argumentos, las procesa y devuelve resultados Ejemplo: La Tierra es un planeta, “es un planeta” es el predicado
  4. 4. REGLAS SINTÁCTICAS DE CONSTRUCCIÓN DE FORMULAS CORRECTAS Alfabeto Términos Átomo
  5. 5. EJEMPLO •
  6. 6. LÓGICA DE PREDICADOS DE ORDEN SUPERIOR El calculo de predicados de primer orden admite generalizaciones a cálculos de predicados de orden mayor que uno. Los cuantificadores pueden afectar solo a las variables y los predicados se calculan solo a los términos En el tercer orden se definen predicados de predicados ( no sólo predicados de términos) Añadiendo niveles de “predicados de predicados” se sube el nivel de calculo de predicados que se está definiendo

×