Universidad Piloto de Colombia

Escuela de Ingenierı́as TIC

Taller 4 Lógica Computacional
Prof. Diego Alberto Chitiva Huertas
06-04-2022

NOMBRES
(1)

(2)

(3)

INSTRUCCIONES
(I) Los problemas deben resolverse en grupos de 2 o 3 estudiantes.

(II) Escriban sus soluciones de forma completa, clara, ordenada y en detalle.

(III) Respuestas sin justificación no se tendrán en cuenta.

PROBLEMAS
PROBLEMA 1: Representación de relaciones y propiedades

(A) Sea A = {1, 2, 3, 4, 5}. Para cada una de las figuras siguientes:
(a) Determinen la relación R cuyo grafo dirigido es dado en la
figura.

1
 (b) ¿Es reflexiva?, ¿simétrica?, ¿antisimétrica? o ¿transitiva?

Figure 1: Grafos PROBLEMA 1, parte (A)

(B) Sea A = {1, 2, 3, 4}. Determinen si las relaciones R y S, cuyas

matrices M1 y M2 se dan a continuación, son reflexivas, simétricas,
antisimétricas o transitivas.
   
0 1 0 1 1 1 0 0
1 0 1 1 1 1 0 0
M1 =  0 1 0 0 M2 = 0 0 1 0
  

1 1 0 0 0 0 0 1

PROBLEMA 2: Composición de relaciones

(A) Sean A = {1, 2, 3, 4, 5}, B = {1, 4, 6, 16} y C = {2, 3, 8, 10}; las

relaciones R ⊆ A × B y S ⊆ B × C, definidas por:
y
R = {(x, y)|y = x2 } y S = {(y, z)|z = }
2
(a) Determinen R y S por extensión.
(b) Determinen S ◦ R por extensión.
(c) Determinen los dominios y rangos de R, S y S ◦ R.
(B) Sean A = {−1, 0, 1}, B = {1, 3} y C = { 32 , 52 , 0}; las relaciones
R ⊆ A × B y S ⊂ B × C, definidas por:
y
R = {(x, y)|y = x2 } y S = {(y, z)|z = + 1}
2
(a) Determinen R y S por extensión.

2
 (b) Determinen S ◦ R por extensión y comprensión.
(c) Determinen los dominios y rangos de R, S y S ◦ R.

PROBLEMA 3: Relaciones de equivalencia

(A) Determinen si la relación

R = {(x, y)|x y y en algún momento han vivido en el mismo paı́s}

es una relación de equivalencia sobre el conjunto de todas las per-

sonas.
(B) Determinen si la relación

R = {(x, y)|3 divide a x − y}

es una relación de equivalencia sobre el conjunto A = {1, 2, 3, 4, 5}.

PROBLEMA 4: Relaciones de orden

(A) Determinen si la relación

R = {(x, y)|x divide a y}

es un orden parcial sobre el conjunto A = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}.

(B) Determinen si la relación

R = {(x, y)|x > y}

es un orden parcial sobre el conjunto A = {1, 2, 3, 4, 5}.