Conferencia 2

Introducción
Desarrollo
Conclusiones
Matemática Discreta I
Conferencia 2: Lógica de predicados
Colectivo de Matemática Discreta I

Universidad de las Ciencias Informáticas
Facultad Introductoria de Ciencias Informáticas (FICI)
Colectivo de Matemática Discreta I Matemática Discreta I

Introducción
Desarrollo
Conclusiones
Sumario
Predicados y dominio de discurso

Cuantificadores
Lenguaje de la lógica de predicados
Interpretación de fórmulas
Leyes de la lógica de predicados

Introducción
Desarrollo
Conclusiones
Objetivo
Identificar los elementos escenciales de la lógica de

predicados a partir de la caracterización de su lengua-
je, ası́ como de sus reglas y leyes para la interpretación
de fórmulas y la realización de demostraciones.

Predicados
Introducción Cuantificadores
Desarrollo Lenguaje de la lógica de predicados
Conclusiones Interpretación de fórmulas
Predicados
Gracias a lo aprendido en clases anteriores, podemos asegurar

que los siguientes enunciados son proposiciones:
p: (2)2 + 4(−2) + 4 = 0
q: Los estudiantes Pedro, Juan y Marı́a aprobaron el examen.
r: Existen estudiantes que aprobaron el examen.
s: Todos los estudiantes aprobaron el examen.

Predicados
Predicados
Como es conocido, las siguientes proposiciones son verdaderas:

p: 2 es un número primo.
q: 5 es un número primo.
r : 17 es un número primo.
s: 11 es un número primo.
Como se puede observar, varios números cumplen con esta
propiedad, por tanto podemos crear una función proposicional
que nos exprese que un número determinado cumple con ser
primo, es decir:
P(x) : x es un número primo

Predicados
Predicados
Definición 1
Un predicado P(x1 , x2 , . . . , xn ) es una afirmación que expresa
una propiedad de un objeto (x1 ) o una relación entre varios
objetos (xi ≥ 2). Estas afirmaciones se hacen verdaderas o
falsas cuando se reemplazan las variables (objetos) por valores
especı́ficos.

Predicados
Predicados
Ejemplo 1
La afirmación, P(x): x es un número primo, es una afirmación
que expresa la propiedad del objeto x de ser un número primo;
si sustituimos la variable x por un valor constante determina-
do, por ejemplo 21749, entonces el predicado se transforma en
la proposición, 21749 es un número primo, la cual puede ser
verdadera o falsa.

Predicados
Predicados
Ejemplo 2
Un predicado puede incluir más de una variable, por ejemplo la
afirmación, P(x, y ): x es más alto que y , es una afirmación que
expresa la propiedad del objeto x de ser más alto que el objeto y ;
si sustituimos la variable x por un valor constante determinado,
por ejemplo Juan y la variable y por Marı́a, entonces el predicado
se transforma en la proposición, Juan es más alto que Marı́a, la
cual puede ser verdadera o falsa.

Predicados
Predicados
Consideremos el predicado P(x) : x < 8 y el siguiente fragmen-
to de código:
Serı́a interesante determinar qué valor toma la variable y cuando

se termina de ejecutar el código anterior.

Predicados
Dominio de discurso
Definición 2
Denominamos dominio de discurso, o simplemente, dominio,
al conjunto al cual pertenecen los valores que puedan tomar las
variables del predicado. Lo notaremos por D y debe contener al
menos un elemento

Predicados
Dominio de discurso
Ejemplo 3
En el predicado P(x) : x < 8 si el dominio de discurso es D = N
los posibles valores que admite la variable x serı́an los números
del 1 al 7.
No obstante si D = Z los posibles valores que admite la variable
x son infinitos.

Predicados
Cuantificadores
Como se pudo observar cuando a cada variable del predicado se

le asigna algún valor del dominio de discurso este predicado se
convierte en proposición. Otra manera de convertir en proposi-
ción un predicado es cuantificando sus variables. Por ejemplo
veamos las siguientes frases:
Todos los softwares requieren de una alta calidad.
Algunos números impares son primos.
Todas las madres son cariñosas.
Todas estas frases indican la frecuencia con la cual es verdadera
cierta afirmación.

Predicados
Cuantificador Universal
Definición 3
Sea P(x) es un predicado. Si se quiere expresar que P(x) es
verdadero para todos los posibles valores de x, se escribe:
∀xP(x)
∀x se denomina cuantificador universal y se lee para toda x.

P(x) se denomina alcance del cuantificador. Se expresa que la
variable x está ligada por el cuantificador.

Predicados
Ejemplo 4
En el dominio de discurso D = Z se tiene el predicado P(x):
2x es un número par. Se cumple que ∀xP(x) es una proposición
verdadera puesto que P(x) es verdadero para todo valor del
dominio.

Predicados
Ejemplo 5
En el dominio de discurso D = N se tiene el predicado R(y ): y
es un número primo. Se cumple que ∀yR(y ) es una proposición
falsa puesto que R(y ) no se cumple para todo el valor del do-
minio, por ejemplo R(8) es falsa, puesto que 8 no es un número
primo.

Predicados
Ejemplo 6
Escribir en el lenguaje de la lógica la siguiente expresión: Todas
las madres son cariñosas.
Lo primero que debemos realizar es extraer los predicados sim-
ples que participan en la conformación de la expresión, en este
caso:
M(x) : x es madre.
C (x) : x es cariñosa.
Luego se establece el alcance del cuantificador universal, que es:
Si x es madre entonces x es cariñosa.
Finalmente escribimos:
∀x[M(x) ⇒ C (x)]
Predicados
Cuantificador Existencial
Definición 3
Sea P(x) es un predicado. Si se quiere expresar que P(x) es
verdadero para al menos un valor de x, se escribe:
∃xP(x)
∃x se denomina cuantificador existencial y se lee existe algún

x. P(x) se denomina alcance del cuantificador. Se expresa que
la variable x está ligada por el cuantificador.

Predicados
Ejemplo 7
En el dominio de discurso D = Z se tiene el predicado P(x):
2x es un número par. Se cumple que ∃xP(x) es una proposición
verdadera puesto que P(x) es verdadero para al menos un valor
del dominio. Por ejemplo cuando x = −4 se tiene que P(−4)
es verdadero puesto que -4 es un número par.

Predicados
Ejemplo 8
En el dominio de discurso D = {2, 4, 7} se tiene el predicado
R(x): x es un múltiplo de 3. Se cumple que ∃xP(x) es una
proposición falsa puesto que P(x) no se cumple para ningún
valor del dominio, es decir R(2), R(4) y R(7) son expresiones
falsas.

Predicados
Ejemplo 9
Escribir en el lenguaje de la lógica la siguiente expresión: Algunos
números impares son primos.
Lo primero que debemos realizar es extraer los predicados sim-
ples que participan en la conformación de la expresión, en este
caso:
I (x) : x es un número impar.
P(x) : x es un número primo.
Luego se establece el alcance del cuantificador universal, que es:
x es un número impar y x es un número primo.
Finalmente escribimos:
∃x[I (x) ∧ P(x)]

Predicados
Cuantificadores
Vale señalar que los cuantificadores también pueden anidarse:
Ejemplo 10
Escribir en el lenguaje de la lógica la siguiente expresión: Todos
tienen a algún amigo. Utilizar para ello el predicado:
A(x, y ) : x es amigo de y.
El primer paso es darnos cuenta que informalmente se tiene en
un inicio que:∀x[x tiene a algún amigo]
En este caso tenemos que x tiene a algún amigo sigue expresada
en el lenguaje natural y significa que para alguna y se cumple
que x es amigo de y . Es decir: x tiene a algún amigo ∼
= ∃yA(x, y )
Finalmente agregamos el cuantificador universal y se obtiene:
∀x∃yA(x, y )
Predicados
Cuantificadores
La frase Todos los individuos que poseen la propiedad P
tienen también la propiedad Q se escribe como:
∀x[P(x) ⇒ Q(x)]
La frase Algunos individuos que poseen la propiedad P

tienen también la propiedad Q se escribe como:
∃x[P(x) ∧ Q(x)]
La frase Solo cumplen la propiedad P los individuos que

cumplen con la propiedad Q se escribe como:
∀x[P(x) ⇒ Q(x)]
Predicados

Alfabeto de la lógica de predicados
1 Constantes individuales: Se representan usando las primeras
letras minúsculas del alfabetolatino, fundamentalmente a; b;
c; d, o estas con subı́ndices. También usaremos sı́mbolos
usuales como 1, 2,· · · , j : Juan, e : Ernesto, · · ·
2 Variables individuales: Se representan usando las últimas
letras minúsculas del alfabeto latino, fundamentalmente u, v ,
w , x, y , z, o estas con subı́ndices.
3 Funciones n-arias: Se representan con letras minúsculas del
alfabeto latino f , g , h, o éstas con subı́ndices. También
usaremos sı́mbolos usuales como +, −, · · · e incluso en la
notación usualmente utilizada con éstos (infija).
Predicados
Alfabeto de la lógica de predicados

4 Predicados: Se representan con letras mayúsculas del alfabeto
español o éstas con subı́ndices. También usaremos sı́mbolos
usuales como =, >, <, · · · , e incluso en la notación
usualmente utilizada con éstos (infija).
5 Constantes proposicionales: 0, 1.
6 Operadores proposicionales: ¬, ∧, ↑, ∨, ⊗, ↓, ⇒, ⇔.
7 Cuantificadores: Universal ∀x, Existencial ∃x
8 Signos auxiliares de escritura: [ ], ().

Predicados
Las reglas para la construcción de fórmulas en el lenguaje de la

lógica de predicados son en su esencia muy similares a las re-
glas de la lógica proposicional, solo que necesitaremos un nuevo
escalón como punto de partida, los términos.

Predicados
Términos
Definición 4
Llamaremos término a toda secuencia de sı́mbolos del alfabeto de
la lógica de predicado que pueda obtenerse aplicando las siguientes
reglas.
1. Toda constante individual y toda variable individual es un término.
2. Si f es una función n-aria y t1 ,t2 , . . . ,tn son términos, entonces
f (t1 , t2 , . . . , tn ) es un término.
3. Todo término es el resultado de aplicar un número finito de veces
las reglas 1 y 2.

Predicados
Fórmulas
Definición 5
Llamaremos fórmula a toda secuencia de sı́mbolos del alfabeto
de la lógica de predicado que pueda obtenerse aplicando las
siguientes reglas.
1 Si P es un predicado n-ario y t1 ,t2 , . . . son términos,
entonces P(t1, t2, . . . , tn) es una fórmula (elemental).
2 Si A es una fórmula, entonces ¬A también es una
fórmula.

Predicados
Fórmulas
Definición 5 (continuación...)
3 Si A y B son fórmulas entonces [A ∨ B], [A ∧ B],
[A ⇒ B], [A ⇔ B], [A ⊗ B], [A ↑ B] y [A ↓ B] también
son fórmulas.
4 Si A es una fórmula donde x ocurre libre, entonces ∀xA y
∃xA también son fórmulas.
5 Toda fórmula es el resultado de aplicar un número finito
de veces las reglas 1, 2, 3 y 4.

Predicados
Términos y fórmulas
Ejemplo 11
Las siguientes expresiones son términos:
x +y
z
f (x) − f (y )

Predicados
Ejemplo 11 (continuación...)
Las siguientes expresiones son fórmulas:
x +y ≥z
P(x, y ) ⇒ R(z) ∨ ∀xQ(x)
∃xP(x)

Predicados
Ejemplo 11 (continuación...)
Las siguientes expresiones no constituyen ni términos ni fórmu-
las:
x ⇒ P(y ) ≥ z
Q(x)∧ ⇒ R(y )
∃xP(x) + Q(y )

Predicados
De predicado a proposición
Definición 6
Diremos que la variable x ocurre libre en una expresión que la
contiene, si x no está ligada en dicha expresión.

Predicados
Leyes de la lógica proposicional
Ejemplo 12
En la fórmula:
∀y [Q(y ) ⇔ P(z)] ∨ ∃xR(x)
Las variables y y x están ligadas y la variable z ocurre libre.

Predicados
Definición 7
Una fórmula P de la lógica de predicados, es una proposición
en cualquiera de las dos siguientes variantes:
1 Si se sustituye cada variable de la fórmula por algún
elemento del dominio de discurso.
2 Si no tiene ocurrencia de variables libres.

Predicados
Ejemplo 13
Sea el predicado Q(x): x es un número par, definido en el do-
minio de discurso D = Z. Las siguientes fórmulas son proposi-
ciones:
Q(1), esta proposición es lógicamente equivalente a 0.
∀xQ(x), esta proposición es lógicamente equivalente a 0.
Q(2), esta proposición es lógicamente equivalente a 1.
∃xQ(x), esta proposición es lógicamente equivalente a 1.

Predicados
Ejemplo 14
Sean los predicados:
P(x): x es buen pelotero

G (x, y ): x es amigo de y
Tomados del dominio de discurso D = {Ernesto, Juan y Pedro},

las constantes j y p definen a Juan y Pedro respectivamente.

Predicados
Ejemplo 14 (continuación)
Entonces son proposiciones:
P(p): Pedro es un buen pelotero.
¬P(j): Juan no es un buen pelotero.
∀x∃yG (x, y ): Todos tienen algún amigo.
¬∃xG (j, x): Juan no tiene amigos.

Predicados
Ya sabemos cómo formular un enunciado del lenguaje natural en

el lenguaje de la lógica de predicados, veamos entonces cómo
determinar su valor de verdad según determinadas reglas de
evaluación para cada elemento involucrado en la fórmula.
Es indispensable para poder evaluar una interpretación de una
fórmula que contiene cuantificadores, tener bien determinado el
dominio de discurso de las variables cuantificadas.

Predicados
Ejemplo 15
Supongamos que tenemos el predicado P(x) : x ha aproba-
do el examen y que tenemos un dominio de discurso formado
por solamente cinco estudiantes: Alberto, Bertha, Carlos, Denia,
Ernesto. Declararemos sus nombres de forma abreviada como a,
b, c, d y e respectivamente. Supongamos además que Alberto,
Carlos y Denia aprobaron el examen pero los demás no, es decir,
tenemos lo siguiente:
x = a P(a) ∼ =1
x = b P(b) ∼ =0
∼
x = c P(c) = 1
x = d P(d) ∼ =1
x = e P(e) ∼ =0
Predicados
Definición 8
Sea P(x) un predicado definido sobre un dominio de dis-
curso D = {a1 , a2 , . . . , an }. ∀xP(x) es verdadera solo si
P(a1 ), P(a2 ), . . . , P(an ) son todos verdaderos. Es decir el valor
de verdad de ∀xP(x) está dado por:
∀xP(x) ∼
= P(a1 ) ∧ P(a2 ) ∧ . . . ∧ P(an )

Predicados
Es evidente darse cuenta que en el ejemplo 15 ∀xP(x) es falsa.

En la interpretación dada ∀xP(x) fuera verdadera si P(a), P(b),
P(c), P(d) y P(e) fueran todas verdaderas lo cual no se cumple;
Berta y Ernesto no aprobaron el examen, por lo que P(b) y P(e)
son falsas.
x = a P(a) ∼
=1
x = b P(b) ∼=0
∼
x = c P(c) = 1
x = d P(d) ∼=1
x = e P(e) ∼=0

Predicados
Definición 9
Sea P(x) un predicado definido sobre un dominio de discur-
so D = {a1 , a2 , . . . , an }. ∃xP(x) es verdadera en toda inter-
pretación que haga verdadero a P(a1 ), o a P(a2 ), . . ., o a P(an )
son todos verdaderos. Es decir el valor de verdad de ∃xP(x)
está dado por:
∃xP(x) ∼
= P(a1 ) ∨ P(a2 ) ∨ . . . ∨ P(an )

Predicados
Retomando el ejemplo 15, es fácil darse cuenta que ∃xP(x) es
verdadera. ∃xP(x) es verdadero si existe al menos un x para
el cual P(x) es verdadero.En la interpretación dada P(a) es
verdadero y esto basta para hacer que ∃xP(x) sea verdadera,
puesto que hay al menos un estudiante, Alberto, que ha aproba-
do el examen.
x=a P(a) ∼
=1
x =b P(b) ∼
=0
x=c P(c) ∼
=1
x=d P(d) ∼
=1
x =e ∼
P(e) = 0

Predicados
Ejemplo 16
Sea el predicado
R(x, y ) : x respeta a y
en el dominio de discurso D = {Felipe, Grisel, Hector } Se

conoce que Felipe respeta a Grisel, Grisel respeta a Felipe y a
Hector y Hector solo se respeta a sı́ mismo.
Con estos datos se quiere determinar el valor de verdad de la
frase: Hay alguien que respeta a todo el mundo.. Esta frase, se
expresa en el lenguaje de la lógica como:
∃x∀yR(x, y )
Predicados
f : Felipe, g : Grisel, h : Hector
y = f R(f , f ) ∼
=0
x =f y = g R(f , g ) ∼
=1
y = h R(f , h) ∼=0
Nótese como x = f no hace verdadera la expresión para todos
los valores de y .

Predicados
y = f R(g , f ) ∼
=1
x =g y = g R(g , g ) ∼
=0
y = h R(g , h) ∼=1
Nótese como x = g no hace verdadera la expresión para todos
los valores de y .

Predicados
y = f R(h, f ) ∼
=0
x =h y = g R(h, g ) ∼
=0
y = h R(h, h) ∼=1
Nótese como x = h no hace verdadera la expresión para todos
los valores de y .
∃x∀yR(x, y ) ∼
=0

Predicados
Ejemplo 17
Establezca la veracidad de la siguiente fórmula en el dominio de
discurso D = {0, 1, 2, 3}:
∀x[Q(x) ∨ ∃y [x + y = a]]
En la interpretación Q(x) : el número x le gusta a Marı́a, sa-

biendo que los números que le gustan a Marı́a son el 1 y el 3.
Además a = 3.

Predicados
y =0 0∨0∼ =0
y =1 0∨0∼ =0
x =0 ∼
y =2 0∨0=0
y =3 0∨1∼ =1
Nótese como para x = 0 existe y = 3 que hace verdadera la
expresión.

Predicados
y =0 1∨0∼ =1
y =1
x =1
y =2
y =3
expresión.

Predicados
y =0 0∨0∼ =0
y =1 0∨1∼ =1
x =2
y =2
y =3
expresión.

Predicados
y =0 1∨1∼ =1
y =1
x =3
y =2
y =3
expresión.
∀x[Q(x) ∨ ∃y [x + y = a]] ∼
=1

Predicados
Teorema 1
Dados predicados cualesqueira se cumplen las siguientes leyes:
1 Ley de De Morgan generalizada
a) ¬∃xP(x) ∼
= ∀x¬P(x)
b) ¬∀xP(x) ∼
= ∃x¬P(x)

Predicados
Teorema 1 (continuación)
2 Ley de cambio de variables: ∀xP(x) ∼
= ∀yP(y )
3 Ley conmutativa
a) ∀x∀yP(x, y ) ∼
= ∀y ∀xP(x, y )
b) ∃x∃yP(x, y ) ∼
= ∃y ∃xP(x, y )

Predicados
Teorema 1 (continuación)
4 Ley asociativa de la conjunción
a) ∀x[P(x) ∧ Q(x)] ∼
= ∀xP(x) ∧ ∀xQ(x)
b) ∃x[P(x) ∧ Q(x)] ∼
= ∃xP(x) ∧ ∃xQ(x)
5 Ley asociativa de la disyunción
a) ∀x[P(x) ∨ Q(x)] ∼
= ∀xP(x) ∨ ∀xQ(x)
b) ∃x[P(x) ∨ Q(x)] ∼
= ∃xP(x) ∨ ∃xQ(x)

Predicados
Ejemplo 18
Sean las fórmulas:
A : ¬∀x∃y [P(x, y ) ∧ ∃z[¬Q(z) ⇒ R(y , z, x)]]
B : ∃x∀y ¬P(x, y ) ∨ ∃x∀y ∀z[¬Q(z) ∧ ¬R(y , z, x)].
Demuestre que A ∼ =B
Ejemplo 1.60 del libro Matemáticas Discretas para Ingenieros
en Ciencias Informáticas.

Predicados
Estudio Independiente
Estudio Independiente
Estudiar todas las definiciones, propiedades, teoremas y ejem-
plos de la Conferencia para ser evaluados de forma oral en la
próxima clase.

Introducción
Desarrollo
Conclusiones
Conclusiones
¿Qué aprendimos en la
clase de hoy?

Introducción
Desarrollo
Conclusiones
Matemática Discreta I
Conferencia 2: Lógica de predicados
Colectivo de Matemática Discreta I

Universidad de las Ciencias Informáticas
Facultad Introductoria de Ciencias Informáticas (FICI)

Conferencia 2

Cargado por

Información del documento

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

Conferencia 2

Cargado por

Copyright:

Formatos disponibles

Introducción

Colectivo de Matemática Discreta I

Facultad Introductoria de Ciencias Informáticas (FICI)

Colectivo de Matemática Discreta I Matemática Discreta I

Predicados y dominio de discurso

Colectivo de Matemática Discreta I Matemática Discreta I

Identificar los elementos escenciales de la lógica de

Colectivo de Matemática Discreta I Matemática Discreta I

Gracias a lo aprendido en clases anteriores, podemos asegurar

Colectivo de Matemática Discreta I Matemática Discreta I

Como es conocido, las siguientes proposiciones son verdaderas:

P(x) : x es un número primo

Colectivo de Matemática Discreta I Matemática Discreta I

Colectivo de Matemática Discreta I Matemática Discreta I

Colectivo de Matemática Discreta I Matemática Discreta I

Colectivo de Matemática Discreta I Matemática Discreta I

Serı́a interesante determinar qué valor toma la variable y cuando

Colectivo de Matemática Discreta I Matemática Discreta I

Colectivo de Matemática Discreta I Matemática Discreta I

Colectivo de Matemática Discreta I Matemática Discreta I

Como se pudo observar cuando a cada variable del predicado se

Colectivo de Matemática Discreta I Matemática Discreta I

∀x se denomina cuantificador universal y se lee para toda x.

Colectivo de Matemática Discreta I Matemática Discreta I

Colectivo de Matemática Discreta I Matemática Discreta I

Colectivo de Matemática Discreta I Matemática Discreta I

∃x se denomina cuantificador existencial y se lee existe algún

Colectivo de Matemática Discreta I Matemática Discreta I

Colectivo de Matemática Discreta I Matemática Discreta I

Colectivo de Matemática Discreta I Matemática Discreta I

∃x[I (x) ∧ P(x)]

La frase Algunos individuos que poseen la propiedad P

La frase Solo cumplen la propiedad P los individuos que

Lenguaje de la lógica de predicados

Lenguaje de la lógica de predicados

Alfabeto de la lógica de predicados

Colectivo de Matemática Discreta I Matemática Discreta I

Lenguaje de la lógica de predicados

Las reglas para la construcción de fórmulas en el lenguaje de la

Colectivo de Matemática Discreta I Matemática Discreta I

Colectivo de Matemática Discreta I Matemática Discreta I

Colectivo de Matemática Discreta I Matemática Discreta I

Colectivo de Matemática Discreta I Matemática Discreta I

Colectivo de Matemática Discreta I Matemática Discreta I

Colectivo de Matemática Discreta I Matemática Discreta I

Colectivo de Matemática Discreta I Matemática Discreta I

Colectivo de Matemática Discreta I Matemática Discreta I

Leyes de la lógica proposicional

∀y [Q(y ) ⇔ P(z)] ∨ ∃xR(x)

Las variables y y x están ligadas y la variable z ocurre libre.

Colectivo de Matemática Discreta I Matemática Discreta I

Colectivo de Matemática Discreta I Matemática Discreta I

Colectivo de Matemática Discreta I Matemática Discreta I

P(x): x es buen pelotero

Tomados del dominio de discurso D = {Ernesto, Juan y Pedro},

Colectivo de Matemática Discreta I Matemática Discreta I

Colectivo de Matemática Discreta I Matemática Discreta I

Ya sabemos cómo formular un enunciado del lenguaje natural en

Colectivo de Matemática Discreta I Matemática Discreta I

Colectivo de Matemática Discreta I Matemática Discreta I

Es evidente darse cuenta que en el ejemplo 15 ∀xP(x) es falsa.

Colectivo de Matemática Discreta I Matemática Discreta I

Colectivo de Matemática Discreta I Matemática Discreta I

Colectivo de Matemática Discreta I Matemática Discreta I