¿La lógica de predicados qué es?

La lógica de predicados, o de primer orden, es una extensión de la lógica proposicional que permite formalizar la estructura interna de las proposiciones, descomponiéndolas en sujetos, predicados y cuantificadores. Su lenguaje utiliza variables, que pueden ser cuantificadas mediante los símbolos ∀ ("para todo") y ∃ ("existe"), para expresar propiedades y relaciones sobre categorías de objetos. Esto permite analizar inferencias basadas en la composición interna de las proposiciones, a diferencia de la lógica proposicional que solo trata las proposiciones como unidades indivisibles de verdad o falsedad.

Componentes fundamentales de la lógica de predicados:

Predicados:

Expresiones que se conectan con variables para formar una oración o proposición con un valor de verdad determinado (verdadero o falso),.

Variables:

Símbolos (usualmente letras minúsculas como x, y, z) que representan objetos o elementos en un dominio de discurso.

Cuantificadores:

Operadores que indican la cantidad de elementos a los que se aplica un predicado:
Cuantificador universal (∀): Se lee "para todo" o "todos", y se utiliza para afirmar que una propiedad es verdadera para todos los elementos de un conjunto.
Cuantificador existencial (∃): Se lee "existe" o "hay", y se emplea para afirmar que una propiedad es verdadera para al menos un elemento de un conjunto.

Constantes:

Argumentos específicos que se usan para referirse a un objeto particular en una proposición.

Ejemplo de uso:

Para formalizar "Todos los seres humanos son mortales" se utilizaría:
Predicado: M(x): "x es mortal".
Variable: x.
Cuantificador: ∀ ("para todo").
Relación: → ("si... entonces").
Esto daría lugar a la fórmula: ∀x (Si H(x) → M(x)), que se lee "Para todo x, si x es humano, entonces x es mortal".