Cálculo de Predicados
El Cálculo de Predicados (Sistema SP), también conocido como Lógica de Primer Orden, es una extensión de la lógica proposicional que permite analizar la estructura interna de las proposiciones, al considerar individuos, propiedades de los individuos y relaciones entre ellos. Esto le otorga un poder expresivo mucho mayor. A continuación, se detalla cada uno de los aspectos solicitados: Definiciones Clave Predicados Un predicado es una expresión lingüística que describe una propiedad de un individuo o una relación entre varios individuos. Se representa usualmente con una letra mayúscula seguida de argumentos entre paréntesis, que pueden ser constantes o variables. ● Ejemplo: P(x) (x es par), Ama(x, y) (x ama a y). Constantes Individuales Las constantes individuales (o nombres) son símbolos que representan individuos específicos del dominio de discurso. Se suelen usar letras minúsculas al comienzo del alfabeto (ej., a, b, c). ● Ejemplo: s para "Sócrates", m para "Marte...