El documento habla sobre la lógica de primer orden. Explica que es un sistema formal diseñado para estudiar la inferencia en lenguajes de primer orden que usan cuantificadores y predicados. También describe que los predicados son expresiones lingüísticas que se conectan con otras expresiones para formar oraciones y que siguen reglas sintácticas para construir fórmulas correctas. Brevemente menciona que existe la lógica de predicados de orden superior que define predicados de predicados.

1. JENNIFER SÁNCHEZ MUNGUÍA
MARÍA MILAGROS GUTIÉRREZ
ZOYLA COLLADO GALEANO
SILVIO JAIME URBINA

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

4. REGLAS SINTÁCTICAS DE CONSTRUCCIÓN DE
FORMULAS CORRECTAS
Alfabeto
Términos
Átomo

5. EJEMPLO
•

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