La lógica de predicados es un sistema formal que extiende la lógica proposicional al permitir hablar sobre objetos, sus propiedades y las relaciones entre ellos.
En lugar de solo proposiciones simples (verdaderas o falsas), la lógica de predicados introduce:
Objetos: Representan entidades individuales del mundo. Por ejemplo, "Juan", "un coche", o "el número 5".
Predicados: Describen propiedades de los objetos o relaciones entre ellos. Por ejemplo, "es_alto(Juan)" o "es_mayor_que(5, 3)". Un predicado devuelve un valor de verdad (verdadero o falso).
Cuantificadores: Permiten hacer afirmaciones sobre todos los objetos (cuantificador universal, "∀") o al menos uno (cuantificador existencial, "∃").
Logica de predicados ejercicios resueltos parte 2 - YouTube
En lógica de predicados: alto(Juan)
Aquí, "alto" es el predicado y "Juan" es el objeto. La expresión es verdadera si Juan es alto, y falsa si no lo es.
Ejemplo 2: Usando cuantificadores
Ejemplos De Predicados
Proposición: "Todos los gatos son mamíferos."
En lógica de predicados: ∀x (gato(x) → mamífero(x))
PPT - Lógica de Predicados PowerPoint Presentation, free download - ID
Esto se lee: "Para todo x, si x es un gato, entonces x es un mamífero." El símbolo "→" representa la implicación ("si... entonces").
Proposición: "Existe al menos un perro que ladra."
En lógica de predicados: ∃x (perro(x) ∧ ladra(x))
Lógica de Predicados de Primer Orden - Didactalia: material educativo
Esto se lee: "Existe un x tal que x es un perro y x ladra." El símbolo "∧" representa la conjunción ("y").
La lógica de predicados es más expresiva que la lógica proposicional. Permite modelar relaciones complejas y hacer inferencias más sofisticadas. Es fundamental en áreas como la inteligencia artificial, las bases de datos y la verificación formal de programas.
En resumen, la lógica de predicados nos da las herramientas para analizar y razonar sobre objetos, sus características y cómo interactúan, haciendo posible la representación formal de una gran variedad de argumentos y situaciones.
