UNAM

FES ARAGÓN

CARRERA: INGENIERÍA EN
COMPUTACIÓN

MATERIA: MATEMÁTICAS
DISCRETAS

PROFESOR: ARTURO RODRIGUEZ

GARCÍA

ALUMNO: SERRA PEÑA ISAÍAS

ORLANDO

GRUPO: 2459

TRABAJO: “CUADERNILLO DE
EJERCICIOS”
Tema 1 Lógica proposicional
1. Construye las tablas de verdad de las siguientes proposiciones.
a. (p ∧ q) → (p ∨ q)
p q
F F
F V
V F
V V
b. (p ∧ q) ∧ (~q ∧ ~r)
p q
F F
F F
F V
F V
V F
V F
V V
V V
p∧q p∨q
F F
F V
F V
V V
r p∧q
F F
V F
F F
V F
F F
V F
F V
V V
(p ∧ q) → (p ∨ q)
V
V
V
V
~q ∧ ~r (p ∧ q) ∧ (~q ∧ ~r)
V F
F F
F F
F F
V F
F F
F F
F F
c. ~ (p ∨ q ∨ r ∨ s)

p q r s p∨q∨r∨s ~ (p ∨ q ∨ r ∨ s)
F F F F F V
F F F V V F
F F V F V F
F F V V V F
F V F F V F
F V F V V F
F V V F V F
F V V V V F
V F F F V F
V F F V V F
V F V F V F
V F V V V F
V V F F V F
V V F V V F
V V V F V F
V V V V V F
 d. ~ {p ↔ [(q ∧ r) → (s ∨ t)]}

p q r s t q∧r s∨t (q ∧ r) → (s ∨ t) {p ↔ [(q ∧ r) → (s ∨ t)]} ~ {p ↔ [(q ∧ r) → (s ∨ t)]}

F F F F F F F V F V
F F F F V F V V F V
F F F V F F V V F V
F F F V V F V V F V
F F V F F F F V F V
F F V F V F V V F V
F F V V F F V V F V
F F V V V F V V F V
F V F F F F F V F V
F V F F V F V V F V
F V F V F F V V F V
F V F V V F V V F V
F V V F F V F F V F
F V V F V V V V F V
F V V V F V V V F V
F V V V V V V V F V
V F F F F F F V V F
V F F F V F V V V F
V F F V F F V V V F
V F F V V F V V V F
V F V F F F F V V F
V F V F V F V V V F
V F V V F F V V V F
V F V V V F V V V F
V V F F F F F V V F
V V F F V F V V V F
V V F V F F V V V F
V V F V V F V V V F
V V V F F V F F F V
V V V F V V V V V F
V V V V F V V V V F
V V V V V V V V V F
2. Clasifica las proposiciones del ejercicio anterior en tautologías, contradicciones o contingencias.
 a. R= tautología

b. R= contradicción

c. R= contingencia

d. R= contingencia

3. Determina si las siguientes proposiciones son equivalentes.

a. (p ↔ q) ≡ [(p → q) ∧ (q → p)]

p q p→q q→p p↔q [(p → q) ∧ (q → p)] P↔Q

P Q
F F V V V V V
F V V F F F V
V F F V F F V
V V V V V V V

R E S U L T A D O:

Si es una equivalencia
b. ∼ (p ∨ q ∨ r ∨ s) ≡ ∼ p ∧ ∼ q ∧ ∼ r ∧ ∼ s
p q
F F
F F
F F
F F
F V
F V
F V
F V
V F
V F
V F
V F
V V
V V
V V
V V
r s ∼ (p ∨ q ∨ r ∨ s) ∼p∧∼q∧∼r∧∼s P↔Q
P Q
F F V V V
F V F F V
V F F F V
V V F F V
F F F F V
F V F F V
V F F F V
V V F F V
F F F F V
F V F F V
V F F F V
V V F F V
F F F F V
F V F F V
V F F F V
V V F F V
R E S U L T A D O:
Si es una equivalencia
Tema 2 Argumentos

1.- Utilizando una tabla de verdad demuestra la validez de los siguientes argumentos. En caso de ser
válidos demuestra con esquemas de inferencia.

a)

P1: p → q

P2: p ∨ r

P3: ∼ r

C: q

p  q  r  P1: p → P2: p ∨ r  P3: ∼ P1 ∧ P2 ∧ C: q  P1 ∧ P2 ∧ P3 → C

q  r  P3 

F  F  F  V  F  V  F  F  V

F  F  V  V  V  F  F  F  V

F  V  F  V  F  V  F  V  V

F  V  V  V  V  F  F  V  V

V  F  F  F  V  V  F  F  V

V  F  V  F  V  F  F  F  V

V  V  F  V  V  V  V  V  V

V  V  V  V  V  F  F  V  V

Demostración con esquemas de inferencia: 

P1: p → q 

P2: p ∨ r 

P3: ∼ r  

C1: p (Modus Tollendo Ponens de P2 Y P3) 

C2: q (Modus Ponendo Ponens de P1 Y C1)
 b)

P1: p ∧ q ∧ ∼ r

P2: s → r

P3: (∼ s ∧ p) → t

C: t

p q r s t P1: P2: P3 : P1 ∧ P2 ∧ P3 C: t P1 ∧ P2 ∧ P3 → C
p∧q∧∼r s→r (∼ s ∧ p) → t
F F F F F F V V F F V
F F F F V F V V F V V
F F F V F F F V F F V
F F F V V F F V F V V
F F V F F F V V F F V
F F V F V F V V F V V
F F V V F F V V F F V
F F V V V F V V F V V
F V F F F F V V F F V
F V F F V F V V F V V
F V F V F F F V F F V
F V F V V F F V F V V
F V V F F F V V F F V
F V V F V F V V F V V
F V V V F F V V F F V
F V V V V F V V F V V
V F F F F F V F F F V
V F F F V F V V F V V
V F F V F F F V F F V
V F F V V F F V F V V
V F V F F F V F F F V
V F V F V F V V FF V V
V F V V F F V V F F V
V F V V V F V V F V V
V V F F F V V F F F V
V V F F V V V F F V V
V V F V F V F V F F V
V V F V V V F V F V V
V V V F F F V F F F V
V V V F V F V V F V V
V V V V F F V V F F V
V V V V V F V V F V V
 c)

P1: (p ∨ q) → (r ∧ s)

P2: p

C: s ∧ p

p q r s P1 : P2: P1 ∧ P2 C: s ∧ p P1 ∧ P2 → C
(p ∨ q) → (r ∧ s) p
F F F F V F F F V
F F F V V F F F V
F F V F V F F F V
F F V V V F F F V
F V F F F F F F V
F V F V F F F F V
F V V F F F F F V
F V V V V F F F V
V F F F F V F F V
V F F V F V F V V
V F V F F V F F V
V F V V V V V V V
V V F F F V F F V
V V F V F V F V V
V V V F F V F F V
V V V V V V V V V
2.- Lee el siguiente fragmento y responde las preguntas.

— ¿Y cómo sabes que tú estás loco?

— Para empezar — repuso el Gato —, los perros no están locos. ¿De acuerdo?

— Supongo que sí—, concedió Alicia.

— Muy bien. Pues en tal caso — siguió su razonamiento el Gato —, ya sabes que los

perros gruñen cuando están enfadados y mueven la cola cuando están contentos. Pues

bien, yo gruño cuando estoy contento, y muevo la cola cuando estoy enfadado. Por lo

tanto, estoy loco.

Fragmento de “Alicia en el país de las maravillas”, Lewis Carroll.

a) ¿Es un argumento?

R=

b) ¿Cuáles son las premisas?

R=

c) ¿Cuál es la conclusión?

R=

d) ¿Es válido el argumento?

R=

e) ¿Qué reglas de inferencia se están usando?

R=
Tema 3 Álgebra booleana y circuitos combinatorios

1.- Dibuja el circuito de conmutación de las siguientes expresiones booleanas:

a) x + y + z + w

b) x ∙ y ∙ z

c) (x + y) ∙ (z + w)

d) (x ∙ y) + (z ∙ w)

e) x′ + y′

f) (x ⨁ y) ∙ (z ⊕ w)
2.- Dibuje el circuito combinatorio de las siguientes expresiones booleanas:

a) x′ y + (zx) ′ + (xz′)′

b) [(xy)+ (x′ ⨁ y)′]′

c) x + xy + xyz + xyzw + x′ + xy′ + x′yz′

3.- Listar todos los minitérminos y maxitérminos diferentes que se pueden formar con cuatro variables x,
y, z, w.

x y z w Minitérminos
0 0 0 0 x′ y′ z′ w′
0 0 0 1 x′ y′ z′ w
0 0 1 0 x′ y′ z w′
0 0 1 1 x′ y′ z w
0 1 0 0 x′ y z′ w′
0 1 0 1 x′ y z′ w
0 1 1 0 x′ y z w′
0 1 1 1 x′ y z w
1 0 0 0 x y′ z′ w′
1 0 0 1 x y′ z′ w
1 0 1 0 x y′ z w′
1 0 1 1 x y′ z w
1 1 0 0 x y z′ w′
1 1 0 1 x y z′ w
1 1 1 0 x y z w′
1 1 1 1 xyzw

x y z w Minitérminos
0 0 0 0 x′ + y′ + z′ + w′
0 0 0 1 x′ + y′ + z′ + w
0 0 1 0 x′ + y′ + z + w′
0 0 1 1 x′ + y′ + z + w
0 1 0 0 x′ + y + z′ + w′
0 1 0 1 x′ + y + z′ + w
0 1 1 0 x′ + y + z + w′
0 1 1 1 x′ + y + z + w
1 0 0 0 x + y′ + z′ + w′
1 0 0 1 x + y′ + z′ + w
1 0 1 0 x + y′ + z + w′
1 0 1 1 x + y′ + z + w
1 1 0 0 x + y + z′ + w′
1 1 0 1 x + y + z′ + w
1 1 1 0 x + y + z + w′
1 1 1 1 x+y+z+w
4.- Obtenga la FNC y la FND de las siguientes funciones booleanas:

a) (x + y)′ + (x′ + y)′ + x′

x y (x + y)′ (x′ + y)′ x′ (x + y)′ + (x′ + y)′ + x′

0 0 1 0 1 1
0 1 0 0 1 1
1 0 0 1 0 1
1 1 0 0 0 0

FNC FND

Minitérminos: Suma de minitérminos:

xy x′ y′ + x′ y + x y′

Complemento y multiplicación de
minitérminos:

(x′ y′)

b) (x + y + z)′ ⋅ (x′ + z)

x y z (x + y + z)′ (x′ + z) (x + y + z)′ ⋅ (x′ + z)

0 0
0 0
0 1
0 1
1 0
1 0
1 1
1 1
0 1
1 0
0 0
1 0
0 0
1 0
0 0
1 0
1 0
1 0
1 0
1 0
0 0
1 0
0 0
1 0

FNC FND

Minitérminos: Suma de minitérminos:

x′ y′ z, x′ y z′, x′ y z, x y′ z′, x y′ z, x y z′, x′ y′ z′

xyz

Complemento y multiplicación de
minitérminos:

(x y z′) (x y′ z) (x y′ z′) (x′ y z) (x′ y z′)

(x′ y′ z) (x′ y′ z′) (x′ y′)
c) (xyz)′ + x′ y′ z′ w′
x y
0 0
0 0
0 0
0 0
0 1
0 1
0 1
0 1
1 0
1 0
1 0
1 0
1 1
1 1
1 1
1 1
FNC
Minitérminos:
x y z w′ z, x y z w
Complemento y multiplicación de
minitérminos:
(x′ + y′ + z′ + w) (x′ + y′ + z′ + w′)
FND
Suma de minitérminos:
x′ y′ z′ w′ z + x′ y′ z′ w + x′ y′ z w′ + x′ y′ z w + x′ y z′ w′ + x′ y z′ w + x′ y z w′ + x′ y z w + x y′ z′ w′ + x y′ z′ w +
x y′ z w′ + x y′ z w + x y z′ w′ + x y z′ w
z w (xyz)′ x′ y′ z′ w′ (xyz)′ + x′ y′ z′ w′
0 0 1 1 1
0 1 1 0 1
1 0 1 0 1
1 1 1 0 1
0 0 1 0 1
0 1 1 0 1
1 0 1 0 1
1 1 1 0 1
0 0 1 0 1
0 1 1 0 1
1 0 1 0 1
1 1 1 0 1
0 0 1 0 1
0 1 1 0 1
1 0 0 0 0
1 1 0 0 0
Tema 4 Simplificación de expresiones booleanas

1.- Usando el método algebraico, demuestre que:

a) xy + xy + xy′ se puede simplificar como x+ y′

b) [x ∙ (y + y + y)] + x′ se puede simplificar como x’

c) (xy ᇱ) ∙ (xy + xy)′ se puede simplificar como x + y

2.- Obtenga la expresión booleana simplificada a partir de los siguientes mapas de Karnaugh.

x z′ y′ z′ w′

xyw x′ y z′

x′ z w x′ y w

x z′ + x y w + x′ zw y z′ w

y′ z′ w′ + x′ y z′ + x′ y w + y z′ w

x′ w′ y′ w′

y′ z w x y z′ w′

x z′ w x′ y z w′

x′ w′ + y′ z w + x′ z w y′ w′ + x y z′ w′ + x′ y z w′
y′ w y′ w′
y w′ x′ y w
y′ w + y w′ yzw

y′ w′ + x′ y w + y z w

y′ w′ x′ y′ z′ w′
y z′ x′ y z w
y′ w′ + y z′ x y z′ w

x y z w′

x y′ z w

x′ y′ z′ w′ + x′ y z w + x y z′ w + x y z w′ +
x y′ z w′
 y′ z w

x′ y w′

x′ y′ w

xyw

xyz

y′ z w + x′ y w′ + x′ y′ w + x y w + x y z

Tema 5 Teoría de conjuntos

1. Sea ℧ = {a, b, c, d, e, f}, A = {a, c, d, e}, B = {b, d, e}. Calcular:

a) A ∪ B

= {a, b, c , d ,e}

b) A ∩ B

= {d, e}

c) A

= {b, f}

d) B

= {a, c, f}

e) A – B

= {a, c}

f) B – A

= {b}
g) A × B

a c d e

A × B = {(a, b), (a, d), (a, e), (c, b), (c, d), (c, e), (d, b), (d, d), (d, e), (e, b), (e, d), (e, e)}

h) B × A

b d e

A × B = {(b, a), (b, c), (b, d), (b, e), (d, a), (d, c), (d, d), (d, e), (e, a), (e, c), (e, d), (e, e)}

i) 2A

a c d e 2A
0 0 0 0 Ø
0 0 0 1 {e}
0 0 1 0 {d}
0 0 1 1 {d, e}
0 1 0 0 {c}
0 1 0 1 {c, e}
0 1 1 0 {c, d}
0 1 1 1 {c, d, e}
1 0 0 0 {a}
1 0 0 1 {a, e}
1 0 1 0 {a, d}
1 0 1 1 {a, d, e}
1 1 0 0 {a, c}
1 1 0 1 {a, c, e}
1 1 1 0 {a, c, d}
1 1 1 1 A
j) 2B

= {Ø, {b}, {d}, {e}, {b, d}, {b, e}, {d, e}, B,}

k) (A − B) × (B − A)

= {a, c} × {b}

= {a, c} × {a, c, d, e, f}

=A×B

e
A×B = {(a, a), (a, c), (a, d), (a, e), (a, f), (c, a), (c, c), (c, d), (c, e), (c, f)}
d

c
l) 2(AUB - A∩B)

a
= 2({a, b, c, d, e} – {d, e})

= 2(a, b, c)
a c
= 2{d, e, f}

= 2A = {Ø, {d}, {e}, {f}, {d, e}, {d, f}, {e, f} , A}

2. Muestre el diagrama de Venn - Euler de las siguientes expresiones:

a) (A∩B) U B

(A∩B)

(A∩B) U B
 B

b) (A – B) U (B – A)

(A – B)

(A – B) U (B – A)

(B – A)
 c) (A∩B) U (B∩C) U (C∩A) – (A∩B∩C) – (AUBUC)

(A∩B)

(A∩B) U (B∩C)

(B∩C)

(A∩B) U (B∩C) U (C∩A) – (A∩B∩C)

(C∩A)

(C∩A) – (A∩B∩C)
(A∩B) U (B∩C) U (C∩A) – (A∩B∩C)

(A∩B∩C)

(AUBUC) (AUBUC) (A∩B) U (B∩C) U (C∩A) – (A∩B∩C) – (AUBUC)

Tema 6 Lógica de primer orden

1. Sea N = { 0 , 1 , 2 , 3 , 4 , ... }. Determina el valor de verdad de las siguientes expresiones.

Explica con tus palabras el porqué de tus respuestas.

a) ∀x ∈ N, x ≥ 0

VERDADERO: ya que en N hay números mayores o igual a cero

b) ∃x ∈ N, x = x2

VERDADERO: ya que en N el número 0 al ser elevado al cuadrado da como resultado ese mismo número,
lo mismo aplica para el 1.

c) ∀x ∈ N, ~(x < 0)

FALSO:

d) ~ ∀x ∈ N, x ≥ 0

FALSO: ya que en N todos los elementos son mayor o igual a 0

e) ∃x ∈ N, ~(x = x2)

VERDADERO:

f) ~ ∃x ∈ N, x = x2

FALSO: ya que en N existen 2 números, el 0 y 1 que al ser elevados al cuadrado da como resultado esos
mismos números respectivamente.

g) ∀x ∈ N, ∀y ∈ N, x + y ≥ 0

VERDADERO: ya que en N, al dar cualquier valor a X y a Y, y sumarlos, ese resultado será mayor a 0

h) ∀x ∈ N, ∃y ∈ N, y < x

VERDADERO: ya que en N, como ejemplo, al ser Y= 1 y X= 2, queda demostrado que Y es menor que X

i) ∃x ∈ N, ∀y ∈ N, x ≤ y

VERDADERO:

j) ∃x ∈ N, ∃y ∈ N, x + y = (x − y)

2. Diseña el pseudocódigo para obtener el valor de verdad de la expresión ∃x ∈ D , ∃y ∈ D,

P(x, y). Suponga que el dominio de discurso es D = { d , d , ... , d}.

Para i = 1 hasta n

Para j = 1 hasta n

Si P (xi, yj) == verdadero

Regresa verdadero

Regresa falso

3. Diseña el pseudocódigo para obtener el valor de verdad de la expresión ∃x ∈ D , ∀y ∈ D,

P(x, y). Suponga que el dominio de discurso es D = { d , d} , ... , d}.

4. Lee el siguiente fragmento y responde las preguntas.

—¿...entonces, a ti no te gustan todos los insectos? — continuó su pregunta el mosquito, como si no
hubiera pasado nada.

—Me gustan cuando pueden hablar—respondió Alicia—. En el lugar de donde yo vengo no hay ninguno
que hable.

Fragmento de “A través del espejo”, Lewis Carroll

a) ¿En qué parte del texto se está utilizando la negación de un cuantificador universal?

R= en la primera parte

b) ¿En qué parte del texto se está utilizando la negación de un cuantificador existencial?

R= en la segunda parte

c) ¿Se puede inferir como conclusión que a Alicia no le gusta ninguno de los insectos del lugar de donde
viene? Justifica claramente tu respuesta.

R= Sí, ya que

Tema 7 Sistemas formales y demostraciones

1. Un entero n es par si existe un entero k tal que n = 2k. Un entero n es impar si existe un entero k tal que
n = 2k + 1. Utilizando pruebas directas, demuestre que:

a. La suma de dos números pares es un par

b. La suma de dos impares es un par

c. La suma de un par y un impar es un impar

2. Demuestre por casos que:

a. max{x, y} + min{x, y} = x + y

b. max{ max{x, y} , min{x, y} } = max{x, y}

3. Demuestre por reducción a lo absurdo que, si se colocan 100 pelotas en nueve urnas, alguna contiene
12 pelotas o más.

4. Demuestre por contrapositiva que si n es par, entonces n es par.

Tema 8 Inducción matemática

1. Demuestre por inducción matemática que:

a. 1(1!) + 2(2!) + 3(3!) + ⋯ + n(n!) = (n + 1)! − 1

b.

c. 1(2)(3) + 2(3)(4) + 3(4)(5) + ⋯ + n(n + 1)(n + 2) = n(n + 1)(n + 2)(n + 3)

2. Utilice inducción fuerte para demostrar que todo natural mayor que 13 se puede escribir como una
suma de 3s y 8s. Ejemplo: 25 = 8 + 8 + 3 + 3 + 3

Tema 9 Relaciones
1. Sea A = {a, b, c} y B = {d, e}. Liste todas las posibles relaciones que se pueden formar entre A y B.

(a,d) (a,e) (b,d) (b,e) (c,d) (c,e)

0 0 0 0 0 0 []
0 0 0 0 0 1 [(c,e)]
0 0 0 0 1 0 [(c,d)]
0 0 0 0 1 1 [(c,d), (c,e)]
0 0 0 1 0 0 [(b,e)]
0 0 0 1 0 1 [(b,e), (c,e)]
0 0 0 1 1 0 [(b,e), (c,d)]
0 0 0 1 1 1 [(b,e), (c,d), (c,e)]
0 0 1 0 0 0 [(b,d)]
0 0 1 0 0 1 [(b,d), (c,e)]
0 0 1 0 1 0 [(b,d), (c,d)]
0 0 1 0 1 1 [(b,d), (c,d), (c,e)]
0 0 1 1 0 0 [(b,d), (b,e)]
0 0 1 1 0 1 [(b,d), (b,e), (c,e)]
0 0 1 1 1 0 [(b,d), (b,e), (c,d)]
0 0 1 1 1 1 [(b,d), (b,e), (c,d), (c,e)]
0 1 0 0 0 0 [(a,e)]
0 1 0 0 0 1 [(a,e), (c,e)]
0 1 0 0 1 0 [(a,e), (c,d)]
0 1 0 0 1 1 [(a,e), (c,d), (c,e)]
0 1 0 1 0 0 [(a,e), (b,e)]
0 1 0 1 0 1 [(a,e), (b,e), (c,e)]
0 1 0 1 1 0 [(a,e), (b,e), (c,d)]
0 1 0 1 1 1 [(a,e), (b,e), (c,d), (c,e)]
0 1 1 0 0 0 [(a,e), (b,d)]
0 1 1 0 0 1 [(a,e), (b,d), (c,e)]
0 1 1 0 1 0 [(a,e), (b,d), (c,d)]
0 1 1 0 1 1 [(a,e), (b,d), (c,d), (c,e)]
0 1 1 1 0 0 [(a,e), (b,d), (b,e)]
0 1 1 1 0 1 [(a,e), (b,d), (b,e), (c,e)]
0 1 1 1 1 0 [(a,e), (b,d), (b,e), (c,d)]
0 1 1 1 1 1 [(a,e), (b,d), (b,e), (c,d), (c,e)]
1 0 0 0 0 0 [(a,d)]
1 0 0 0 0 1 [(a,d), (c,e)]
1 0 0 0 1 0 [(a,d), (c,d)]
1 0 0 0 1 1 [(a,d), (c,d), (c,e)]
11 00 10 11 10 00 [(a,d), (b,d),
[(a,d),(b,e),
(b,e)](c,d)]
11 00 10 11 10 11 [(a,d), (b,d),
[(a,d),(b,e),
(b,e),(c,d),
(c,e)](c,e)]
11 10 00 01 01 00 [(a,d),(b,e),
[(a,d), (a,e)](c,d)]
11 10 00 01 01 11 [(a,d),(b,e),
[(a,d), (a,e),(c,d),
(c,e)](c,e)]
11 10 01 00 10 00 [(a,d), (a,e), (c,d)]
[(a,d), (b,d)]
11 10 01 00 10 11 [(a,d), (a,e),(b,d),
[(a,d), (c,d),(c,e)]
(c,e)]
11 10 01 10 01 00 [(a,d),
[(a,d),(a,e),
(b,d),(b,e)]
(c,d)]
11 10 01 10 01 11 [(a,d),
[(a,d),(a,e),
(b,d),(b,e),
(c,d),(c,e)]
(c,e)]
11 10 01 11 10 00 [(a,d), (a,e),(b,d),
[(a,d), (b,e),(b,e)]
(c,d)]
11 10 01 11 10 11 [(a,d), (a,e),(b,d),
[(a,d), (b,e),(b,e),
(c,d),(c,e)]
(c,e)]
1 1 1 0 0 0 [(a,d), (a,e), (b,d)]
1 1 1 0 0 1 [(a,d), (a,e), (b,d), (c,e)]
1 1 1 0 1 0 [(a,d), (a,e), (b,d), (c,d)]
1 1 1 0 1 1 [(a,d), (a,e), (b,d), (c,d), (c,e)]
1 1 1 1 0 0 [(a,d), (a,e), (b,d), (b,e)]
1 1 1 1 0 1 [(a,d), (a,e), (b,d), (b,e), (c,e)]
1 1 1 1 1 0 [(a,d), (a,e), (b,d), (b,e), (c,d)]
1 1 1 1 1 1 [(a,d), (a,e), (b,d), (b,e), (c,d), (c,e)]
 2. Sea A = {0,1,2,3,4,5,6} y B = {3,4,5,6,7}. Sea R ⊆ A × B definida por (a, b) ∈ R si y sólo si a + b es un
número primo. Determine R, D(R) e I(R). Represente la relación en un plano cartesiano.

R= {(0,3), (0,5), (0,7), (1,4), (1,6), (2,3), (2,5), (3,4), (4,3), (4,7), (5,6), (6,5), (6,7)}

D(R)= A

I(R)= B

3. Sea A = {0,1,2,3,4,5,6} y B = {3,4,5,6,7}. Sea R ⊆ A × B definida por (a, b) ∈ R si y sólo si a + b ≤ 6.

Determine R, D(R) e I(R). Represente la relación en un plano cartesiano.

B
 A

R= {(0,3), (0,4), (0,5), (0,6), (1,3), (1,4), (1,5), (2,3), (2,4), (3,3)}

D(R)= {0, 1, 2, 3}

I(R)= {3,4, 5 ,6}

4. Sea R ⊆ N × N definida por (a, b) ∈ R si y sólo si a ∙ b = 24. Determine R, D(R) e I(R). Represente la
relación en un plano cartesiano.
5. Sea R ⊆ Z × Z definida por (a, b) ∈ R si y sólo si a ∙ b = 12. Determine R, D(R) e I(R). Represente la
relación en un plano cartesiano.
 B

A A

R={(1,12),(2,6),(3,4),(4,3),(6,2),(-1,-12),(-2,-6),(-3,-4),(-4,-3),(-6,-2)}

D(R)= {1,2,3,4,6,-1,-2,-3,-4,-6}

6. Sea A = {a, b, I(R)= {12,6,4,3,2,-12,-6,-4,-3-2} c, d,

e}. Sea R una
relación sobre A. Muestre mediante un grafo la relación R de cada uno de los siguientes incisos:
a. R es una relación universal

b. R es una relación vacía

c. R es una relación identidad

d. R = { (a, b) , (a, c) , (a, d) , (b, a), (b, b), (c, d), (d, b), (d, d)}

e. R es la relación inversa del inciso anterior