Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.
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
Upcoming SlideShare
Loading in …5
×

Lógica de predicado de primer orden y orden

3,106 views

Published on

  • Be the first to comment

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

×