Lógica de predicado de primer orden y orden
Upcoming SlideShare
Loading in...5
×
 

Lógica de predicado de primer orden y orden

on

  • 611 views

 

Statistics

Views

Total Views
611
Views on SlideShare
611
Embed Views
0

Actions

Likes
0
Downloads
6
Comments
0

0 Embeds 0

No embeds

Accessibility

Categories

Upload Details

Uploaded via as Microsoft PowerPoint

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

    Lógica de predicado de primer orden y orden Lógica de predicado de primer orden y orden Presentation Transcript

    • 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 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
    • 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
    • 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 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