Logica de Predicados

LOGICA DE PREDICADOS
DEFINICIÓN:
La lógica de predicados es una extensión de la lógica de proposiciones, y a ella se
extienden también los conectivos lógicos y operadores de la lógica proposicional. La
lógica de predicados descompone la proposición en sus dos componentes básicas
(sujeto y predicado) y cuantifica al sujeto, introduciendo símbolos para el sujeto, para
el predicado y para los cuantificadores "todos" y "alguno", además de un símbolo de
relación entre sujeto y predicado.
Desde la lógica de predicados, una proposición expresa relaciones entre objetos y/o
atributos asignados a los objetos. En la oración "Juan es hermano de Pedro" lo que
realmente se está expresando es una relación (de hermandad) entre Juan y Pedro. En
la oración "Juan es estudiante de la universidad" se está asignando un atributo a Juan.
(La lógica de predicados es muy importante para representar el conocimiento en
Inteligencia Artificial; las oraciones anteriores se representarían como "Hermano de
(Juan, Pedro)" y "Estudiante Universitario (Juan)").
El universo de discurso o dominio es la colección de personas, ideas, símbolos,
estructuras de datos, etc., que afecta el argumento lógico bajo consideración. Los
elementos del universo de discurso se llaman individuos. La veracidad de una
afirmación puede depender del dominio seleccionado. “Hay un número que es el más
pequeño” es verdadera en el dominio de los números naturales, pero falsa en el
dominio de los enteros. Para evitar casos triviales, se estipula que cada universo de
discurso debe contener al menos un individuo. Para referirse a un individuo en
particular u objeto, se usan identificadores. Estos identificadores se llaman constantes
individuales.
EJEMPLOS:
Ejemplos de universo de discurso
 Personas, las constantes individuales pueden ser sus nombres.
 En los números naturales, las constantes individuales son los dígitos que
representan a los números.
 Cada constante individual debe identificar a un individuo en particular. Por
ejemplo, si el universo de discurso consta de personas, no debe haber dos
personas con el mismo nombre.
Generalmente, los predicados hacen afirmaciones sobre individuos.
 María y Pablo son hermanos.
 Juana es la madre de María.
 Tomás es un gato.
 La suma de 2 y 3 es 5.
En cada una de estas afirmaciones, hay una lista de individuos, los cuales vienen
dados por la lista de argumentos, junto con las frases que describen ciertas relaciones
o propiedades entre los individuos de la lista de argumentos. Estas propiedades o
relaciones son llamadas predicados.
En la afirmación “María y Pablo son hermanos”
 La lista de argumentos está dada por María y Pablo, mientras que el predicado
se describe por la frase “son hermanos”
Los elementos de la lista de argumentos se llaman argumentos. Los argumentos
pueden ser variables o constantes individuales.
En el cálculo de predicados, a cada predicado se le da un nombre, el cual es seguido
por la lista de argumentos. La lista de argumentos se encierra en paréntesis. Por
ejemplo, para expresar que “Juana es la mamá de María”, uno podría escoger un
identificador, digamos “madre”, para expresar el predicado “es mamá de” y uno
escribiría:
Ejemplo
 Madre (Juana, María)

Muchos usan sólo una letra como nombres de predicados y constantes. Así el
predicado se escribiría como M (j, m). Note que el orden de los argumentos es
importante. Claramente, las afirmaciones madre (Juana, María) y madre (María,
Juana), tienen un significado diferente.
El número de elementos en la lista de predicados se llama la aridad del predicado.
Ejemplo
 Madre (Juana, María) tiene una aridad de 2.

La aridad de un predicado es fija. Un predicado no puede tener 2 argumentos en un
caso y 3 en otro. Un predicado con aridad n se llama un predicado de n-plazas. Un
predicado de una plaza se llama una propiedad. El predicado “es un gato”, es un
predicado de una plaza, o una propiedad. El predicado “es mamá de” es un predicado
de dos plazas. Un nombre de un predicado, seguido por una lista de argumentos entre
paréntesis, se llama una fórmula atómica.
Ejemplo:
Juana es madre de María
1. fórmula atómica
 Madre (Juana, María)
2. Afirmación compuesta
 Madre (Juana, María) → madre (María, Juana)
Ejemplo:
Gato (Tomás)
1. Fórmulas atómicas
 Tienecola (Tomás)
2. Podemos formar
 Gato (Tomás) → tienecola(Tomás)
Si todos los argumentos de un predicado son constantes individuales, entonces la
fórmula atómica resultante debe ser verdadera o falsa. Esto es parte de la definición
de un predicado.
Si el universo de discurso consiste de Juana, Diego, María y Pablo, debemos conocer
para cada par ordenado de individuos si el predicado “es mamá de” es verdadero. Esto
se puede hacer en forma de tabla.
DIEGO JUANA MARIA PABLO

DIEGO F F F F
JUANA F F V V
MARIA F F F F
PABLO F F F F
Cualquier método que asigne valores de verdad a todas las posibles combinaciones
de individuos de un predicado se llama asignación del predicado. Por ejemplo, la tabla
anterior es una asignación del predicado “madre”.
Ejemplos:
Madre (x, y)
Madre (Juana, Pablo) = V
Renglón Columna
Primer Argumentó Segundo Argumentó
Dominio: 1,2,3,4
Predicado: “mayor” es verdadero si el primer argumento es mayor que el segundo
1 2 3 4
1 F F F F
2 V F F F
3 V V F F
4 V V V F
En un universo de discurso finito, uno puede representar la asignación de predicados

con arreglos de dimensión n por n.
Note que los símbolos matemáticos y son predicados. Sin embargo, estos predicados
son usados normalmente en notación infija. Por esta razón son colocados entre los
argumentos. Por ejemplo, para expresar que 2 es mayor que 1, escribimos 2 1, en
lugar de (2, 1).
Ejemplos de expresiones que contienen variables
 Gato(x) ⇒ tienecola(x)
 Perro(y) ∧ café(y)
 Grado(x) ⇒ (x ≥ 0) ∧ (x ≤ 100)
Cuantificador universal
Considere las siguientes afirmaciones:
1. Todos los gatos tienen cola
2. Todos conseguimos un descanso de vez en cuando
Todas estas afirmaciones indican qué tan frecuentemente ciertas cosas son
verdaderas. Sea A una expresión, y sea x una variable. Si queremos indicar que A es
verdadera para todos los valores posibles de x, escribimos ∀x A.
Aquí ∀x es llamado el cuantificador universal, y A se llama el ámbito o alcance del
cuantificador. La variable x se dice que está ligada al cuantificador. El símbolo ∀ se
pronuncia “para todo”.
Universal:
Oraciones que contienen palabras como:
 Cada, cada uno, y todos usualmente indican cuantificación universal.
 “para cada x”, lo cual se traduce como ∀x.
Ejemplo:
“Todos conseguimos un descanso de vez en cuando”
Definimos B = “conseguir un descanso de vez en cuando”. B(x) = x consigue un
descanso de vez en cuando. La palabra “Todos” indica que esto es verdadero para
toda x. Esto lleva a ∀x B(x).
Ejemplo:
“Todos los gatos tienen cola” en cálculo de predicados
Primero encontramos el alcance del cuantificador universal, el cual es “Si x es un gato
entonces x tiene cola”. Después de escoger los símbolos de predicado descriptivos,
expresamos esto por la siguiente fórmula compuesta:
gato(x) → tienecola(x)
Esta expresión debe ser cuantificada universalmente para hallar la solución requerida.
∀ x (gato(x) → tienecola(x))
Otra forma de expresar esta afirmación es

∀y (gato(y) → tienecola(y))
Aquí, la variable ligada es y en lugar de x, generalmente el nombre de la variable
usada para la cuantificación es indistinto.
Si A representa una expresión, y x representa a una variable. Si queremos indicar que
A es verdadero para al menos un valor de x, escribimos ∃x A. Esto se pronuncia
“Existe una x tal que A”.
Aquí ∃x es llamado el cuantificador existencial, y A se llama el alcance o ámbito del
cuantificador existencial. La variable x se dice que está ligada al cuantificador.
Afirmaciones que contienen frases como “algunos”, “al menos uno” sugieren
cuantificación existencial. Y deben ser reescritos como “Hay un x tal que”, lo cual se
traduce en ∃x A.
Sea P la propiedad “le gusta la carne cruda”. Entonces ∃x P (x) se puede traducir
como “Hay personas a las que les gusta la carne cruda” o “A algunas personas
les gusta la carne cruda”.
Si A representa una expresión, y x representa a una variable. Si queremos indicar que
A es verdadero para al menos un valor de x, escribimos ∃x A (Existe una x tal que A).
Aquí ∃x A es llamado el cuantificador existencial, y A se llama el alcance o ámbito
del cuantificador existencial. La variable x se dice que está ligada al cuantificador
Afirmaciones que contienen frases como “algunos”, “al menos uno” sugieren
cuantificación existencial. Y deben ser reescritos como “Hay un x tal que”, lo cual se
traduce en ∃x.
Sea P la propiedad “le gusta la carne cruda”. Entonces ∃x P(x) se puede traducir como
“Hay personas a las que les gusta la carne cruda” o “A algunas personas les gusta la
carne cruda”.
Ejemplos:
“Hay alguien que conoce a todos”
∃x (x conoce a todos). Aquí “x conoce a todos” está todavía en español y significa que
para todo y es verdad que x conoce a y. Por tanto, x conoce a todos = ∀y C (x, y).
Finalmente se añade el cuantificador existencial y obtenemos ∃x ∀y C (x, y).
BIBLIOGRAFIA:
1. Lógica de predicados. (s. f.). MaTeTaM. Recuperado 25 de septiembre de

2021, de http://www.matetam.com/glosario/definicion/logica-predicados
2. Lógica de predicados. (s. f.-b). Lógica de predicados.
https://www.cs.buap.mx/~mtovar/doc/MatDiscA/predicados.pdf

Logica de Predicados

Cargado por

Copyright:

Formatos disponibles

Logica de Predicados

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Logica de Predicados

Cargado por

Copyright:

Formatos disponibles

LOGICA DE PREDICADOS

 Madre (Juana, María)

 Madre (Juana, María) tiene una aridad de 2.

DIEGO JUANA MARIA PABLO

En un universo de discurso finito, uno puede representar la asignación de predicados

Otra forma de expresar esta afirmación es

1. Lógica de predicados. (s. f.). MaTeTaM. Recuperado 25 de septiembre de

También podría gustarte