Tarea 3
Tarea 3
Tarea 3
A) R a B c d B) S a b c d C) T a b c d D U a b c d E) V a b c d
a √ a √ a √ √ √ a √ √ a √ √ √
b √ b √ b √ √ b √ b √ √
c √ c √ c √ √ c c √
d √ d √ d √ d d √ √
Reflexiva, antisimétrica, no transitiva [ ]
Reflexiva, simétrica, no transitiva [ ]
Reflexiva, simétrica, transitiva [ ]
Irreflexiva, antisimétrica, transitiva [ ]
Irreflexiva, simétrica, no transitiva [ ]
2. Sean las siguientes relaciones sobre el conjunto A = {1,2,3}. Relacione las columnas colocando la letra correcta para
indicar las propiedades de cada relación.
A) {(a, b) tal que a ≤ b} Reflexiva, simétrica [ ]
B) {(a, b) tal que a > b} Reflexiva, antisimétrica [ ]
C) {(a, b) tal que a = b} Irreflexiva, antisimétrica [ ]
D) {(a, b) tal que a + b ≤ 3} Simétrica [ ]
5. Relacione las columnas indicando las propiedades que tiene cada una de las siguientes relaciones binarias sobre
A={1,2,3,4}. 12
A) {(1,2),(2,3),(1,3)} Reflexiva, antisimétrica y transitiva [ ]
B) {(1,1),(1,2),(1,3),(2,2),(2,3),(3,3),(4,4)} Irreflexiva, antisimétrica y transitiva [ ]
C) {(1,1),(1,2),(2,1),(2,2),(3,3),(4,4)} Reflexiva, simétrica y transitiva [ ]
6. Sea L el conjunto de las rectas del plano. Coloque una S si la relación correspondiente es transitiva sobre L o una N en
caso contrario.47
U = L1 R L2 si L1 es paralela a L2 [ ]
T = L1 R L2 si L1 es perpendicular a L2 [ ]
5
9. Una relación es irreflexiva sobre un conjunto A si: [ ]
A) (x, y) ∈ R → (y, x) ∉ R ∀x∀y ∈ A B) (x, x) ∉ R ∀x ∈ A
C) (x, y) ∉ R → (y, x) ∈ R ∀x∀y ∈ A D) (x, y) ∈ R → (y, x) ∈ R ∀x∀y ∈ A
11. Sean A = {a, b, c, d} y R = {(a, b), (b, c), (c, b), (c, d)}. Encontrar R1. [ ]
A) {(a, b), (a, c), (a, d), (b, b), (b, c), (b, d), (c, b), (c, c), (c, d)} B){ (a, b), (b, b), (b, c), (c, b), (c, c)}
C) {(a, b), (a, c), (b, b), (b, c), (b, d), (c, b), (c, c), (c, d)} D) {(a, b), (a, c), (b, c), (b, d), (c, b), (c, d)}
12. Sea el conjunto A = {1, 2, 3, 4}, determine cual matriz de relaciones representa una relación irreflexiva: [ ]
⎡0 1 1 1⎤ ⎡1 0 0 0⎤ ⎡1 1 1 0⎤ ⎡0 1 1 1⎤
A) ⎢1 B) C) D)
⎢ 1 1 1⎥⎥ ⎢0
⎢ 0 0 0⎥⎥ ⎢1
⎢ 1 0 1⎥⎥ ⎢1
⎢ 0 0 1⎥⎥
⎢1 1 1 1⎥ ⎢0 0 0 0⎥ ⎢1 0 1 1⎥ ⎢1 0 0 1⎥
⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥
⎣1 1 1 0⎦ ⎣0 0 0 1⎦ ⎣0 1 1 1⎦ ⎣1 1 1 0⎦