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