UNIVERSIDAD NACIONAL

AUTÓNOMA DE MÉXICO
FACULTAD DE ESTUDIOS SUPERIORES ARAGÓN

INGENIERÍA EN COMPUTACIÓN

DR. ARTURO RODRÍGUEZ GARCÍA

ESTRUCTURAS DISCRETAS

ALUMNOS:

 CASTILLO TREJO ERICK ANDRÉS

 MENDEZ PAOLO KEVIN EDUARDO
 VARGAS GARDUÑO SERGIO
EJERCICIOS

Tema 1 Lógica proposicional

1. Construye las tablas de verdad de las siguientes proposiciones

a .( p ∧q ) →( p ∨q)

P q p ∧q p ∨q ¿) →( p ∨q)
V V V V V
V F F V V
F V F V V
F F F F V

b. ( p ∧q ) ∧(∼ q ∧∼ r )

p q r ( p ∧q ) (∼ q ∧ ∼ r) ( p ∧q ) ∧(∼ q ∧∼ r )
V V V V F F
V V F V F F
V F V F F F
V F F F V F
F V V F F F
F V F F F F
F F V F F F
F F F F V F

c .∼( p∨ q ∨r ∨ s)

p Q R s ( p ∨q ∨ r ∨ s) . ∼( p ∨q ∨ r ∨ s)
V V V V V F
V V V F V F

V V F V V F
V V F F V F
V F V V V F
V F V F V F
V F F V V F
V F F F V F
 F V V V V F
F V V F V F
F V F V V F
F V F F V F
F F V V V F
F F V F V F
F F F V V F
F F F F V V

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 ) ] }
V V V V V V V V V F
V V V V F V V V V F
V V V F V V V V V F
V V V F F V F F V F
V V F V V F V V V F
V V F V F F V V V F
V V F F V F V V V F
V V F F F F F V F V
V F V V V F V V V F
V F V V F F V V V F
V F V F V F V V V F
V F V F F F F V F V
V F F V V F V V V F
V F F V F F V V V F
V F F F V F V V V F
V F F F F F F V F V
F V V V V V V V V F
F V V V F V V V V F
F V V F V V V V V F
F V V F F V F F V F
F V F V V F V V V F
F V F V F F V V V F
F V F F V F V V V F
F V F F F F F V F V
F F V V V F V V V F
F F V V F F V V V F
F F V F V F V V V F
F F V F F F F V F V
F F F V V F V V V F
F F F V F F V V V F
F F F F V F V V V F

F F F F F F F V F V
 2. Clasifica las preposiciones del ejercicio anterior en tautologías, contradicciones o
contingencias.

a) Tautología
b) Contradicción
c) Contingencia
d) Contingencia

3. Determine si las siguientes tablas son equivalentes

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

P q ( p ↔ q)
V V V
V F F
F V F
F F V

P q ( p →q ) (q → p) [ ( p →q ) ∧ ( q → p ) ]
V v V V V
V f F V F
F V V F F
f F v V V

Si son equivalentes.

b . ∼ ( p ∨ q ∨r ∨ s ) ≡∼ p ∧∼ q ∧ ∼r ∧ ∼ s

P q r s ( p ∨q ∨ r ∨ s ) ∼ ( p ∨q ∨ r ∨ s )
V V V V V F
V V V F V F
V V F V V F
V V F F V F
V F V V V F
V F V F V F
V F F V V F
V F F F V F
F V V V V F
F V V F V F
F V F V V F
F V F F V F
F F V V V F
F F V F V F
 F F F V V F
F F F F F V

P q r s ∼p ∼q ∼r ∼s ∼ p ∧∼ q ∧∼r ∧∼ s
V V V V F F F F F
V V V F F F F V F
V V F V F F V F F
V V F F F F V V F
V F V V F V F F F
V F V F F V F V F
V F F V F V V F F
V F F F F V V V F
F V V V V F F F F
F V V F V F F V F
F V F V V F V F F
F V F F V F V V F
F F V V V V F F F
F F V F V V F V F
F F F V V V V F F
F F F F V V V V V

Si son equivalentes

Tema 2 Argumentos
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 ( p → q)∧( p ∨r )∧(∼r )→ q

P3 :∼r

C :q

P q R p →q p ∨r ( p → q)∧¿ ∼r ( p → q)∧( p ∨r )∧(∼rCondición

)
V V V V V V F F V
V V F V V V V V V
V F V F V F F F V
V F F F V F V F V
F V V V V V F F V
F V F V F F V F V
F F V V V V F F V
F F F V F F V F V

Tautología por lo tanto Validez del argumento.

P1 : p → q Silogismo disyuntivo P1 y P3 C1: P

P2 : p ∨ r Modus ponens P1 y C1 C2: q

P3 :∼r

C :q

b)

P1 : p ∧ q ∧∼ r

P2 : s → r ( p ∧q ∧ ∼r)∧(s → r )∧ (∼ s ∧ p ) → t ¿ →t

P3 : ( ∼ s ∧ p ) → t

C :t
P q R S t ( p ∧q ∧ ∼ r)( p ∧q ∧ ∼r)∧(s →( pr )∧q ∧ ∼r)∧(s → rCondición
)∧ (∼ s ∧ p ) → t
V V V V V F F F V
V V V V F F F F V
V V V F V F F F V
V V V F F F F F V
V V F V V V F F V
V V F V F V F F V
V V F F V V V F V
V V F F F V V F V
V F V V V F F F V
V F V V F F F F V
V F V F V F F F V
V F V F F F F F V
V F F V V F F F V
V F F V F F F F V
V F F F V F F F V
V F F F F F F F V
F V V V V F F F V
F V V V F F F F V
F V V F V F F F V
F V V F F F F F V
F V F V V F F F V
F V F V F F F F V
F V F F V F F F V
F V F F F F F F V
F F V V V F F F V
F F V V F F F F V
F F V F V F F F V
F F V F F F F F V
F F F V V F F F V
F F F V F F F F V
F F F F V F F F V
F F F F F F F F V

Tautología por lo tanto Validez del argumento.

b)

P1 : p ∧ q ∧∼ r ∼ r ∧ p ∧q P1

P2 : s → r Simplificación P1 C1: ∼ r

P3 : ( ∼ s ∧ p ) → t Modus Tollens C1 y P2 C2: S

C :t Simplificación P1 C3: p

Conjunción C2 y P1 C4: ∼ s ∧ p

Modus Ponens C4 y P3 C5: t

c)

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

P2 : p

C : s∧ p

p Q R S p ∨q ( p ∨q ) → ( r ∧ s ) [ ( p ∨ q ) → ( r ∧ s ) ]∧ sp∧ p [ ( p ∨ q ) → ( r ∧ s ) ]∧ p → s ∧ p
V V V V V V V V V
V V V F F F F F V
V V F V F F F V V
V V F F F F F F V
V F V V V V V V V
V F V F F F F F V
V F F V F F F V V
V F F F F F F F V
F V V V V V F F V
F V V F F F F F V
F V F V F F F F V
F V F F F F F F V
F F V V V V F F V
F F V F V V F F V
F F F V V V F F V
F F F F V V F F V
Tautología por lo tanto Validez del argumento.

P1 : ( p ∨ q ) →(r ∧ s) Suma P2 C1: p V q

P2 : p Modus ponens P1 y C1 C2: r ∧ s : s ∧r

C : s∧ p Simplificación C2 C3: s

Conjunción P2 y C3 C4: P ∧S: S∧ P

Tema 3 Lógica de primer orden

Sea N= { 0 ,1 , 2 , … } .Determina el valor de verdad de las siguientes expresiones. Explica con tus
palabras el porqué de tus respuestas.

1. ∀ x ∈ N , x ≥ 0 (V)

Todos los números naturales son mayores o iguales a cero ya que los números naturales empiezan
desde el número cero y no antes.

2. ∃ x ∈ N , x=x2 (V)

Existe un número natural que es igual a su cuadrado. Es verdadero ya que hay números como el
cero o el uno que al elevarlos al cuadrado resulta el mismo número.
 3. ∀ x ∈ N , ( x <0) (V)

Todos los números naturales no son menores a cero. Esto es verdadero ya que ningún número
natural puede ser menor a cero, pues ya no sería número natural.

4. ∀ x ∈ N , x ≥ 0 (F)
No todos los números naturales son mayores o iguales a cero. Esto es falso ya que Sería una
contradicción con el ejercicio uno, pues necesariamente los números naturales empiezan
desde el cero.
5. ∃ x ∈ N , ( x=x 2) (V)
Existe un número natural que no es igual a su cuadrado. Esto es verdadero ya que a partir
del número dos en adelante los números elevados al cuadrado dan resultados
necesariamente más altos que el mismo número.
6. ∃ x ∈ N , x =x2 (F)
No existe un número natural que sea igual a su cuadrado. Esto es falso ya que sería una
contradicción al ejercicio dos.
7. ∀ x ∈ N , ∀ y ∈ N , x + y ≥0 (V)
Dos números naturales que sumados dan un número mayor o igual a cero. Esto es
verdadero ya que a no ser que estemos tratando con números negativos el resultado de la
suma de dos números reales no puede ser menor a cero.
8. ∀ x ∈ N , ∃ y ∈ N , y < x (F)
Existe un número natural que es menor a todos los números naturales. Esto es falso ya que
al decir todos los números naturales, también estamos incluyendo al número mínimo que es
el cero, por lo tanto no puede haber un natural menor al cero.
9. ∃ x ∈ N , ∀ y ∈ N , x ≤ y (V)
Existe un número natural menor o igual que todos los números naturales. Esto es verdadero
ya que el número mínimo de los naturales es el cero, y éste es el menor de todos los
naturales.
10. ∃ x ∈ N , ∃ y ∈ N , x + y=(x− y )2 (V)
Existen dos números naturales que al sumarlos, sean igual a la resta de los dos al cuadrado.
Esto es verdadero, pues al sumar uno más cero y al restar uno menos cero, el cuadrado de
uno es uno.

Tema 4 Demostraciones matemáticas

1. Un entero n es par si existe un entero k tal que n=2 k . Un entero n es impar si existe un
entero k tal que n=2 k +1. Utilizando pruebas directas, demuestre que:
a. La suma de dos números pares es un par
Definición:
n es par ↔ ∃ k ϵ Z l n= 2k
m es par↔ ∃ k ϵ Z l m= 2k
Afirmación:
∀ n , mε Z si n ,m son pares →m+n= par
Suposición:
 m+n=2 k 1+ 2 k 2=2 ( k 1 + k 2 ) =2 k 3 ∴ m+ n es par
b. La suma de dos impares es un par
n es impar ↔ ∃ k ϵ Z l n= 2k+1
m es impar↔ ∃ k ϵ Z l m= 2k+1

∀ n , mε Z si n ,m son impares → m+ n= par

m+n=(2 k ¿¿ 1+1)+(2 k ¿¿ 2+1)=2 ( k 1 + k 2 +1 )=2 k 3 ∴ m+ n es par ¿ ¿

c. La suma de un par y un impar es un impar
n es par ↔ ∃ k ϵ Z l n= 2k
m es impar↔ ∃ k ϵ Z l m= 2k+1

∀ n , mε Z si n es p ar y m es impar →m+n=impar

m=2 k +1
n=2 k

m+n=( 2 k +1 )+ ( 2 k )=2 ¿.

2. Demuestre por casos que max { x , y }+ min { x , y }=x+ y

Se consideran 2 casos:

X≥Y
X< Y

Si X ≥ Y

Max (x, y)=x

Max (x, y) = y

Por lo tanto máx. (x, y) + min. (x, y) = x + y

Si X< Y

Max (x, y)=y

Max (x, y) = x

Por lo tanto máx. (X, y) + min. (X, y) = y + x = x + y

En cualquier caso, máx. (x, y) + min (x, y) = 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.

 Supongamos que colocamos las 1000 pelotas en 9 urnas y todas contienen menos
de 12 pelotas

Cantidad de pelotas en urna x 1+ x2 +¿ x 3+ … . + x 9

Entonces x 1< 12, x 2< 12, x 3< 12, … , x 9 <12

Luego x 1+ x2 +¿ x 3+ … . + x 9 ≤ 11+11+11+ 11+11+11+11 +11+11

9

∑ 9 (11 )=99 contradicción( absurdo)

i=0

Tema 5 Inducción matemática

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

a. 1 ( 1! )+ 2 ( 2 ! ) +3 ( 3 ! ) +…+ n ( n! )=( n+ 1 ) !−1
1.- Probar con la base mínima n=1
1 ( 1! )=( 1+1 ) !−1
1=1
 2.- Plantear hipótesis n = k.
k ( k ! )=( k +1 ) !−1
3.- Demostrar que la igualdad se cumple para un término mayor a k.
k ( k ! )+ k +1 ( k +1 ! )=( k +1+1 ) !−1
( k +1 ! )−1+ ( k +1 ) ( ( k +1 ) ! ) =( ( k +1 ) +1 ) !−1
( k +1 ) !−1 ( k +1 ) ( ( k +1 ) ! )=( k +2 ) !−1
( k +1 ) ! ( 1+k +1 ) −1=( k + 2 ) !−1
( k +1 ) ! ( k + 2 )−1=( k + 2 ) !−1
( k +1 )( k +2 ) !−1=( k + 2 ) !−1
Escriba aquí laecuación .

1 1 1 1 n
b. + + +…+ =
1(2) 2( 3) 3(4 ) n ( n+1 ) n+1
1.- Probar con la base mínima n = 1
1 1
=
1 ( 1+1 ) 1+1
1 1
=
2 2
2.- Plantear hipótesis n = k.
1 1 1 1 n
+ + +…+ =
1(2) 2(3) 3(4 ) k ( k + 1 ) n+1
3.- Demostrar que la igualdad se cumple para un término mayor a k.
1 1 1 1 1 k +1
+ + +…+ + = =¿
1(2) 2(3) 3(4 ) k ( k + 1 ) ( k +1 ) ( k +1+1 ) k +1+1
k 1 k+ 1
+ = =¿
k +1 ( k + 1 )( k + 2 ) k + 2
k ( k +2 ) +1 k +1
= =¿
(k + 1)(k +2) k +2
k 2+ 2 k+ 1 k +1
= =¿
(k + 1)(k +2) k +2
(k + 1)(k +2) k +1
=
(k + 1)(k +2) k +2
k +1 k +1
=
k +2 k +2
1
c. 1 ( 2 )( 3 ) +2 ( 3 ) ( 4 )+ 3 ( 4 )( 5 ) +…+ n ( n+1 ) ( n+2 )= n(n+1)(n+2)(n+3)
4
1.- Probar con la base mínima n = 1.
1
1 ( 1+1 )( 1+2 )= 1(1+1)(1+2)(1+3)
4
 1
1 ( 2 )( 3 ) = 1 ( 2 ) ( 3 ) ( 4 )
4

1
6= ( 24 )
4

6=6

2.- Plantear hipótesis n= k.

1 1
n ( n+1 ) ( n+2 ) ( n+3 ) + ( k + 1 ) ( ( k+ 1 )+ 1 )( ( k +1 ) +2 )= ( k + 1 ) ( ( k+ 1 )+ 1 )( ( k +1 ) +2 ) ( ( k +1 ) +3 )
4 4

3.- Demostrar que la igualdad se cumple para un término mayor a k.

1 1
k ( k +1 ) ( k +2 ) ( k +3 )+ ( k +1 ) + ( k +2 ) + ( k +3 )= ( k + 1 )( k + 2 )( k + 3 )( k +4 )=¿
4 4
k ( k +1 ) ( k +2 ) ( k +3 ) 4 ( k + 1 )( k + 2 )( k + 3 ) 1
+ = ( k +1 ) ( k +2 ) ( k +3 ) ( k + 4 ) =¿
4 4 4
( k +1 ) ( k +2 ) ( k +3 ) ( k + 4 ) 1
= ( k + 1 )( k + 2 )( k + 3 )( k +4 )=¿
4 4
1 1
( k +1 ) ( k +2 ) ( k +3 )( k + 4 )= ( k +1)( k +2)( k +3)(k + 4)
4 4

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

14 = 8+3+3

15= No se puede

16=No se puede

17=8+3+3+3

Paso base

n1 = 13+1 = 8+3+3

n2 = 8

Paso inductivo:

Sea N supongo que puedo formar números naturales desde 13+1 hasta n-3 o n-8

No se puede pues ambos números no nos permiten formar sumas con todos los números naturales.
Tema 6 Teoría de conjuntos

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

a. A ∪ B={a , b , c , d }
b. A ∩ B={d ,e }
c. Á={b , f }
d. B́={a , c , f }
e. A−B={a , c }
f. B− A={b }
g. A × B={( a , b ) , ( a , d ) , ( a , e ) , ( c , b ) , ( c , d ) , ( c , e ) , ( d , b ) , ( d , e ) , ( e , b ) , ( e , d ) }
h. B× A={( b , a ) , ( b , c ) , ( b , d ) , ( b , e ) , ( d , a ) , ( d , c ) , ( d , e )( e , a ) , ( e , c ) , ( e , d ) }
i. 2 A =¿
a C
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
j. 2B =¿
b d
0 0
0 0
0 1
0 1
1 0
1 0
1 1
1 1
´ )=¿
k. ( A−B ) × ( B−A
´
l. 2( A ∪B )−( A ∩ B )=¿
D e
0 0
d e
0 0 {}
0 1 {e}
1 0 {d}
1 1 {d,e}
0 0 {c}
0 1 {c,e}
1 0 {c,d}
1 1 {c,d,e}
0 0 {a}
0 1 {a,e}
1 0 {a,d}
1 1 {a,d,e}
0 0 {a,c}
0 1 {a,c,e}
1 0 {a,c,d}
1 1 {a,c,d,e}
e
0 {}
1 {e}
0 {d}
1 {d,e}
0 {b}
1 {b,e}
0 {b,d}
1 {b,d,e}
{}
 0 1 {e}
1 0 {d}
1 1 {d,e}

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

a. ( A ∩ B ) ∪ B́

b. ( A−B ) ∪ ( B− A )
c. ( A ∩ B ) ∪ ( B ∩C ) ∪ (´C ∩ A )−( A ∩B ∩C )−( A ∪ B
´ ∪ C)
Tema 7 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)

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}

0
0 1 2 3 4 5 6 7

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.
 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}

0
0 2 4 6 8 10 12

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.

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

D(R) = {1,2,3,4,6,8,12,24}
I(R) = {1,2,3,4,6,8,12,24}
24
22
20
18
16
14
12
10
8
6
4
2
0
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
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.

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

12
11
10
9
8
7
6
5
4
3
2
1
0
-12 -11 -10 -9 -8 -7 -6 -5 -4 -3 -2 -1-1 0 1 2 3 4 5 6 7 8 9 10 11 12
-2
-3
-4
-5
-6
-7
-8
-9
-10
-11
-12

6. Sea A={ a , b , 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

e X X X X X
d X X X X X
c X X X X X
b X X X X X
a X X X X X
a b c d e
b. R es una relación vacía

e
d
c
b
a
a b c d e

c. R es una relación identidad

e X

d X

c X

b X

a X
a b c d e

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

D X X X

c X

B X X X

a X
a b c d e
e. R es la relación inversa del inciso anterior

D X X

c X

B X X

a X X X
a b c d e
Tema 8 Propiedades de las relaciones

1. Sea A={a , b , c , d , e }, y sean las siguientes relaciones sobre A :

R1={ ( a , a ) , ( b , b ) , ( c , c ) , ( d , d ) , ( e , e ) , ( a , b ) ,(b , a) }
R2={ ( a , a ) , ( a , b ) ,(b , a) }
R3={( a , b ) , ( b , c ) }
R4 ={( a ,b ) , ( b , a ) ,( c , d )}

Responde con falso o verdadero los siguientes enunciados:

a. R1 es reflexiva
Verdadero
b. R1 es irreflexiva
Falso
c. R2 es arreflexiva
Verdadero
d. R1 es simétrica
Verdadero
e. R3 es antisimétrica
Verdadero
f. R4 es asimétrica
Verdadero
g. R1 es transitiva
Verdadero
h. R2 es intransitiva
Falso
i. R2 es atransitiva
Verdadero
2. Representa mediante grafos las relaciones anteriores.
R1=¿

R2=¿

R3=¿

R4 =¿
3. Sea A={a , b , c , d , e }. Encuentra una relación sobre A que sea simultáneamente reflexiva,
simétrica, antisimétrica y transitiva.

e X

d X

c X

b X

a X
a b c d e

4. Sea A un conjunto arbitrario con n elementos. ¿Cuántas relaciones sobre A existen que
cumplen el requisito de ser irreflexivas?

e X X X X

d X X X X

c X X X X

b X X X X

a X X X X
a b c d e

Existen n2 parejas ordenadas en AxA

Los n elementos de la diagonal no deben aparecer
 Los n2 −n elementos fuera de la diagonal pueden o no formar parte de la relación.

2
Existen 2n −n posibilidades.

5. Sea A un conjunto arbitrario con n elementos. ¿Cuántas relaciones sobre A existen que
cumplen el requisito de ser antisimétricas?

e X

d X X

c X X X

b X X X X

a X X X X X
a b c D e

“X” pueden o no estar. (2N)

“X” al estar fuera de la diagonal, es obligatoria que su elemento simétrico no esté en el

plano (puede estar debajo y arriba de la diagonal). También podría estar vacío el valor
que ocupa “X” en ambos lados. (3M)

(2N) (3M)
N ( N +1)
( −N )
2
(3 ¿ ¿ M )=3 ¿
N ( N +1)
( − N)
2
(2 ¿ ¿ N )=3 ¿
Tema 9 Funciones

1. Sea A={ a , b , c , d , e } y B= { a ,b ,c , d } . Sea f : A → B formada por las parejas ordenadas

( a , b ) , ( b , a ) , ( c ,d ) , ( d , a ) , ( e , c ) . Responde con falso o verdadero a los siguientes
enunciados:
a. f es una función = Verdadero
b. f es una función total = Verdadero
c. f es una función parcial = Falso
d. f es una función inyectiva = Falso
e. f es una función sobreyectiva = Verdadero
f. f es una función biyectiva = Falso

2. Sea A={ a , b , c , d } y B= { a ,b ,c , d } . Sea f : A → B formada por las parejas ordenadas

( a , b ) , ( b , a ) , ( c ,d ) , ( d , c ) . Responde con falso o verdadero a los siguientes enunciados:
a. f es una función = Verdadero
b. f es una función total = Verdadero
c. f es una función parcial = Falso
d. f es una función inyectiva = Verdadero
e. f es una función sobreyectiva = Verdadero
f. f es una función biyectiva = Verdadero
Tema 10 Cardinalidad

1. Para cada inciso escribe “finito”, “infinito numerable” o “infinito no numerable” según
sea la cardinalidad del conjunto:
a. A={ x| x es un alumn o de la UNAM } = finito
b. N= { 0 ,1 , 2 ,3 , … } (el conjunto de los naturales) = infinito numerable
c. Z−¿={ z ∈Z| z<0 }¿ (el conjunto de los enteros negativos) = infinito numerable
d. R (el conjunto de los reales) = infinito no numerable
e. R[ 0,1 ] = {r ∈ R|0< r <1 } (el conjunto de los reales en el intervalo (0,1) ) =
Infinito no Numerable
f. Q (el conjunto de los racionales) = infinito numerable
g. A={ x| x es un átomo del universo } = infinito no numerable

2. Demuestra que el conjunto de los impares naturales es infinito numerable.

n F(n)=2n+1
Sea N impar = {1,3, 5, 7, 9, …}. 0 1
Sea f: N → N impar definida como f(n) = 2n+1 1 3

N impar Es numerable mediante f. 2 5

3 7

4 9
R. Demostramos que es infinito numerable

3. Demuestra que el conjunto de los pares enteros en infinito numerable.

 Sea N par = {0, 2, 4, 6, …} n F(n)=2n

Sea f: N → N par definida como f(n) = 2n 0 1

N par Es numerable mediante f. 1 3

2 5

R. Demostramos que es finito numerable 3 7

4 9

Tema 11 Estructuras algebraicas discretas

1. Completa las siguientes tablas colocando una paloma si la estructura de la columna

cumple con la definición de cada renglón.

¿ ¿ ¿ ¿ ¿ ⟨ N , min ⟩ ¿
Magma ✓ ✓ ✓ ✓ ✓ ✓

Magma ✓ ✓ ✓ ✓ ✓
abeliano
Semigrup ✓ ✓ ✓ ✓ ✓
o

Semigrup ✓ ✓ ✓ ✓ ✓
o abeliano
Monoide ✓ ✓ ✓ ✓

Monide ✓ ✓ ✓ ✓
abeliano
Grupo ✓ ✓ ✓

Grupo ✓ ✓ ✓
abeliano

¿ ¿ ¿ ¿ ¿ ¿ ¿
Anillo ✓ ✓ ✓ ✓

Anillo ✓ ✓
conmutativo
Anillo con ✓
unidad
Anillo ✓
conmutativo
con unidad
Campo ✓ ✓

2. Indica si M 2,2 junto con las operaciones de suma de matrices y multiplicación de un

escalar α ∈ R por una matriz, forma un espacio vectorial. Justifica claramente tu
respuesta.

Cualquier conjunto que posea unas operaciones suma y producto por escalares, cumpliendo todas
las propiedades siguientes, diremos que es un espacio vectorial.

 Asociativa: (( u+ v )+ w=u−(v + w)
 Conmutativa: v+u=u−v
 Existe un elemento neutro, el vector, tal que + v=v para cualquier vector v
 Para cada vector v existe un elemento opuesta, −v que sumado con el da
 Distributivas:

Respecto de la suma de escalares: ¿

Respecto de la suma de vectores: a ( u+ v )=au+ av

 Existe un elemento unidad: el escalar 1, tal vez que 1 v=v para cualquier vector v

Tema 12 Algebra de Boole

1. Dibuje el circuito combinatorio de la siguiente expresión booleana: x ' y + ( zx )' +( x z ' )'
2. Obtenga la FNC y la FND de la función booleana ( xyz )' + x ' y ' z ' w '
X Y Z W ( xyz )' + x ' y ' z' w'
 0 0 0 0 1
0 0 0 1 1
0 0 1 0 1
0 0 1 1 1
0 1 0 0 1
0 1 0 1 1
0 1 1 0 1
0 1 1 1 1
1 0 0 0 1
1 0 0 1 1
1 0 1 0 1
1 0 1 1 1
1 1 0 0 1
1 1 0 1 1
1 1 1 0 0
1 1 1 1 0

FNC

xyzw’

xyzw

Obtención de su complemento de cada minitérmino y posteriormente multiplicándolos

(x’+y’+z’+w) (x’+y’+z’+w’)

FND

x’y’z’w’ + x’y’z’w + x’y’zw’ + x’y’zw + x’yz’w’ + x’yz’w + x’yzw’ + x’yzw + xy’z’w’+ xy’z’w +
xy’zw’ + xy’zw+ xyz’w’ + xyz’w