MAD2022 Practico

Universidad Tecnológica Nacional – FRC
Ingeniería en Sistemas de Información

MAD 2020
Matemática Discreta
Guía de Ejercicios a Resolver

Unidad 1
Confección, análisis y selección de ejercicios

Ing. María Aurelia Jurio
Con colaboración de integrantes de la cátedra
Universidad Tecnológica Nacional MATEMÁTICA DISCRETA
Facultad Regional Córdoba Guía de Ejercicios a Resolver - Año 2020
Ing. en Sistemas de Información
Introducción
Matemática discreta
Es la parte de la matemática encargada del estudio de los conjuntos discretos: finitos o

infinitos numerables. Estudia estructuras cuyos elementos pueden contarse uno por uno
separadamente. Es decir, los procesos en matemática discreta son finitos y contables.
Mientras que el cálculo continuo es primordial en el estudio de procesos analógicos, la
matemática discreta es la base de todo lo relacionado con los procesos digitales, y por
tanto, se constituye en parte fundamental de la ciencia de la computación, una de las
ramas de estudio impartidas en las Ingenierías relacionadas con la Informática.
La idea clave en matemáticas discretas es el conjunto numerable y su entorno de trabajo
son los números enteros. (Los naturales son un subconjunto de los enteros). Sus variables
son discretas o digitales.
N = { 0,1,2,3,... }
Z = { ..., -3,-2,-1,0,1,2,...}
En matemáticas discretas no es posible manejar, al igual que en el cálculo, las ideas de
proximidad o límite y suavidad en las curvas. Por ejemplo, en matemáticas discretas una
incógnita puede ser 2 o 3, pero nunca te aproximarás a 3 por la izquierda con 2.9, 2.99,
2.999, etc. Las gráficas en matemáticas discretas vienen dadas por un conjunto finito de
puntos que puedes contar por separado, mientras que las gráficas en cálculo son trazos
continuos de rectas o curvas.
Desde la década del 90, la matemática discreta surge como una disciplina que unifica
diversas áreas tradicionales de las Matemáticas (combinatoria, probabilidad, geometría de
polígonos, aritmética, grafos,...), como consecuencia de, entre otras cosas, su interés en la
informática y las telecomunicaciones. La información se manipula y almacena en los
ordenadores en forma discreta (palabras formadas por ceros y unos), se necesita contar
objetos (unidades de memorias, unidades de tiempo), se precisa estudiar relaciones entre
conjuntos finitos (búsquedas en bases de datos), es necesario analizar procesos que
incluyan un número finito de pasos (algoritmos), etc.
La matemática discreta tiene como objetivo proporcionar algunas bases matemáticas que
ayudan al desarrollo de ciertas capacidades fundamentales para un ingeniero: capacidad de
formalizar, de razonar rigurosamente, de representar adecuadamente algunos conceptos.
Página 3
Ing. en Sistemas de Información
Objetivo de la Guía de Ejercicios

Brindar el apoyo práctico necesario al alumno para lograr los objetivos planteados en la
asignatura tanto a nivel cognitivo como la habilidad en la resolución de situaciones
problemáticas.
Contenido
En algunos casos, los ejercicios contenidos en la presente guía, por su pertinencia respecto
a los temas teóricos, fueron seleccionados de Matemáticas Discreta y Combinatoria de
Grimaldi y Matemáticas Discretas de Lipschutz. El resto de los ejercicios fueron
desarrollados especialmente para la materia por docentes y ex docentes de la misma.
Se agradece la colaboración en el aporte de ejercicios y/o en la revisión de los mismos a
diversas unidades, de Ing. Leticia Constable, Ing. Alejandra Di Gionantonio, Ing. Fabián
Gibellini, Lic. Susana Liendo, Ing Norma Mascietti, Ing Daniel Sanchez, Ing. Mónica
Serna e Ing. Juan Carlos Vazquez.
Nota: Los ejercicios señalados con el símbolo  están desarrollados en la Guía de

Ejercicios Resueltos.
Página 4
Ing. en Sistemas de Información Unidad 1
Unidad N° 1
Teoría de los Números
1.  Teniendo en cuenta los enteros dados m y n, escriba m como qn+r, con 0 r < n.
a) m = 20, n = 3
b) m = 64, n = 37
c) m = 3, n = 22
d) m = 48, n = 12
2.  Calcule 8 mod 3 y 8 div 3; 15 mod 3 y 15 div 3; 11 mod 2 y 11 div 2
3.  Calcule el mcd de a = 190 y b = 34, utilizando el algoritmo de Euclides.
4.  Calcule el mcd de 689 y 234, utilizando el algoritmo de Euclides.
5.  Encuentre aplicando el algoritmo de Euclides el mcd de los siguientes pares de

números:
a) 369 y 900 b) 428 y 124 c) 1000 y 7550
6.  Escriba cada entero como un producto de potencias de primos:

a) 828 b) 1666
c) 1781 d) 1125
e) 107
7.  Encuentre el mcd de los siguientes pares de enteros mediante la factorización de

dichos enteros en sus factores primos
a) 100 y 1024 b) 120 y 500 c) 39 y 24
8.  Encuentre el mcm de 500 y 120 mediante la factorización de ambos en números

primos.
Página 5
9.  Compruebe que los tres números 6 ,10 y 15 son primos entre sí, sin ser primos
tomados de dos en dos.
10. Determine, utilizando el algoritmo enunciado en el teórico, si son primos o no los

números 211, 811, 117 y 467.
11. Demuestre para los siguientes pares de números que se cumple que:
a*b=mcd(a,b) * mcm (a,b)
a) 40x35 b) 39x26 c) 150x55 d) 46x38
12.  Calcule el MCD y el MCM de los siguientes números:

a) 18, 30, 40 y 12 e) 84, 189, 210 y 105
b) 18, 45, 60 y 72 f) 48, 280 y 720
c) 20, 12 y 16 g) 90, 315, 225, 405, 450
d) 81,540,162 y 243
13.  Se desean acondicionar 1830 latas de aceite y 1170 latas de yerba en un cierto
número de cajones que contengan el mismo número de latas, sin que sobre ninguna y
sin mezclar las latas. ¿Cuál será el mayor número posible de latas que puedan ponerse
en cada cajón?
14. Cuatro buques parten para el mismo destino: el primero, cada 10 días, el segundo,
cada 8; el tercero cada 9, y el cuarto cada 15. ¿Cuántos días transcurren entre dos
salidas simultáneas consecutivas?
15. Cuál es el menor número posible que dividido por 132, 450 y 342 da en cada caso un
resto 5?
16.  Calcule el MCD de los siguientes número, mediante el Algoritmo de Euclides:

a) 660 y 5544 b) 1980 y 1008 c) 4584 y 59130
d) 6930 y 450 e) 8154 y 3246
Página 6
UNIVERSIDAD TECNOLÓGICA NACIONAL
FACULTAD REGIONAL CÓRDOBA
⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯
Carrera de Ingeniería en Sistemas de Información
Matemática Discreta - Período Lectivo 2020
GUÍA DE EJERCICIOS
RESUELTOS
UNIDADES 1
Facultad Regional Córdoba
Ing. en Sistemas de Información Guía de Ejercicios Resueltos - Año 2020
Unidad 1: Teoría de los Números
1) Teniendo en cuenta los enteros dados m y n, escriba m como q.n+r, con 0 r < n.
Solución:
a) m = 20, n = 3 → q=6, r=2, [ (6.3) + 2] = 20

b) m = 64, n = 37 → q=1, r=27 [ (1.37) + 27] = 64
c) m = 3, n = 22 → q=0, r=3, [ (0.22) + 3] = 3
d) m = 48, n = 12 → q=4, r=0, [ (4.12) + 0] = 48
2) Calcular 8 mod 3 y 8 div 3; 15 mod 3 y 15 div 3; 11 mod 2 y 11 div 2
Solución:
8 mod 3 = 2 8 div 3 = 2
15 mod 3 = 0 15 div 3 = 5
11 mod 2 = 1 11 div 2 = 5
3) Calcular el mcd de a = 190 y b = 34, utilizando el algoritmo de Euclides.
Solución:
Siendo a = 190 y b = 34, usando el algoritmo de Euclides obtenemos:
Se divide 190 entre 34: 190 = 5 . 34 + 20

Se divide 34 entre 20: 34 = 1 . 20 + 14
Se divide 20 entre 14: 20 = 1 . 14 + 6
Se divide 14 entre 6: 14 = 2.6+2
Se divide 6 entre 2: 6= 3.2+0
de manera que el MCD(190, 34) es 2, el último de los divisores.
Página 2
4) Calcular el mcd de 689 y 234, utilizando el algoritmo de Euclides.
Solución:
689 mod 234 = 221 → mcd (689,234) = mcd (234,221)

234 mod 221 =13 → mcd (234,221) = mcd (221,13)
221 mod 13 = 0 → mcd (221,13) = 13
mcd(689,234)= 13
otra forma de presentarlo teniendo en cuenta el Teorema del Resto sería:
689 = 234*2 + 221

234 = 221*1 + 13
221 = 13*17 + 0
5) Encuentre aplicando el algoritmo de Euclides el mcd de los siguientes pares de

números:
Solución:
a) 369 y 900 b) 428 y 124 c) 1000 y 7550
369 / 900 428 / 124 1000 / 7550

369 0 56 3 1000 0
900 / 369 124 / 56 7550 / 1000

162 2 12 2 550 7
369 / 162 56 / 12 1000 / 550

45 2 8 4 450 1
162 / 45 12 / 8 550 / 450

27 3 4 1 100 1
45 / 27 8 / 4 450 / 100
18 1 0 2 50 4
mcd(428,124) = 4
27 / 18 100 / 50
9 1 0 2
18 / 9
0 2 mcd(1000,7550) = 50
mcd(900,369) = 9
Página 3
6) Escriba cada entero como un producto de potencias de primos:
Solución:
a) 828 = 22 . 32 . 23 b) 1666 = 2 . 72 . 17
c) 1781 = 13 . 137 d) 1125 = 32 . 53
e) 107 = 107
7) Encuentre el mcd de los siguientes pares de enteros mediante la factorización de dichos

enteros en sus factores primos.
a) 100 y 1024 b) 120 y 500 c) 39 y 24
Solución:
a) mcd (100,1024) = 22 = 4
100 / 2 1024 / 2
50 2 512 2
25 5 256 2
5 5 128 2
1 64 2
32 2
16 2
8 2
4 2
2 2
1
Teniendo en cuenta que: 100 = 22 x 52 x 11 y 1024= 210 el factor común es 2 y el

menor exponente de 2 es 2.
b) mcd (120,500) = 22 . 5 = 4 . 5 = 20
120 / 2 500 / 2
60 2 250 2
30 2 125 5
15 3 25 5
5 5 5 5
1 1
c) mcd (39,24) = 3
39 / 3 24 / 2
13 13 12 2
1 6 2
3 3
1
Página 4
8) Encontrar el mcm de 500 y 120 mediante la factorización de ambos en números

primos.
Solución: mcm (120, 500) = 23 . 3. 53 = 8 . 3. 125 = 3.000
120 / 2 500/ 2
60 2 250 2
30 2 125 5
15 3 25 5
5 5 5 5
1 1
9) Compruebe que los tres números 6 ,10 y 15 son primos entre sí, sin ser primos tomados
de dos en dos.
Solución:
6 / 2 10 / 2 15 / 3
3 3 5 5 5 5
1 1 1
6 = 2.3 10 = 2.5 15 = 3.5
mcd (6, 10, 15) = 1 → esto implica que son primos relativos, pero tomados
de a 2 no lo son.
mcd (6, 10) = 2 mcd (6, 15) = 3 mcd (10, 15) = 5
12) Calcular el MCD y el MCM de los siguientes números:
a) 18, 30, 40 y 12 e) 84, 189, 210 y 105

b) 18, 45, 60 y 72 f) 48, 280 y 720
c) 20, 12 y 16 g) 90, 315, 225, 405, 450
d) 81,540,162 y 243
Solución:
a) mcd(18,30,40,12) = 2 mcm(18,30,40,12) = 23 . 32 . 5 = 8 . 9 . 5 = 360
18 / 2 30 / 2 40 / 2 12 / 2
9 3 15 3 20 2 6 2
3 3 5 5 10 2 3 3
1 1 5 5 1
1
Página 5
b) mcd(18,45,60,72) = 3 mcm(18,45,6,72) = 23 . 32 . 5 = 8 . 9 . 5 = 360
18 / 2 45 / 3 60 / 2 72 / 2
9 3 15 3 30 2 36 2
3 3 5 5 15 3 18 2
1 1 5 5 9 3
1 3 3
1
c) mcd(20,12,16)= 2 mcm(20,12,16) = 24 . 3 . 5 = 16 . 3 . 5 = 240
20 / 2 12 / 2 16 / 2
10 2 6 3 8 2
5 5 2 2 4 2
1 1 2 2
1
d) mcd (81,540,162,243) = 33= 27

mcm (81,540,162,243) = 22 . 35 . 5 = 4 . 243 . 5 = 4860
81 / 3 540 / 2 162 / 2 243 / 3

27 3 270 2 81 3 81 3
9 3 135 3 27 3 27 3
3 3 45 3 9 3 9 3
1 15 3 3 3 3 3
5 5 1 1
1
e) mcd (84,189,210,105) = 3 . 7 = 21
mcm(84,189,210,105)= 22 . 33 . 5 . 7 = 4 . 27 . 5 . 7 = 3780
84 / 2 189 / 3 210 / 2 105 / 3

42 2 63 3 105 3 35 5
21 3 21 3 35 5 7 7
7 7 7 7 7 7 1
1 1 1
Página 6
f) mcd (48,280,720) = 23 = 8
mcm (48,280,720) = 24 . 32 . 5 . 7 = 16 . 9 . 5 . 7 = 5040
48 / 2 280 / 2 720 / 2
24 2 140 2 360 2
12 2 70 2 180 2
6 2 35 5 90 2
3 3 7 7 45 3
1 1 15 3
5 5
1
g) mcd (90,315,225,405,450) = 32 . 5 = 9 . 5 = 45
mcm (90,315,225,405,450) = 2 . 34 . 52 . 7 = 2 . 81 . 25 . 7 = 28.350
90 / 2 315 / 3 225 / 3 40 / 3 450 / 2

45 3 105 3 75 3 135 3 225 3
15 3 35 5 25 5 45 3 75 3
5 5 7 7 5 5 15 3 25 5
1 1 1 5 5 5 5
1 1
90 = 21 . 32 . 51 . 11 315 = 32 . 51 . 71 . 11
225 = 32 . 52 .11 40 = 34 . 51 . 11 450 = 21 . 32 . 52 . 11
13) Se desean acondicionar 1830 latas de aceite y 1170 latas de yerba en un cierto número
de cajones que contengan el mismo número de latas, sin que sobre ninguna y sin
mezclar las latas. ¿Cuál será el mayor número posible de latas que puedan ponerse en
cada cajón?
Solución: Se pueden poner como máximo 30 latas por cajón.
1830 = 2 . 3 . 5 . 61
1170 = 2 . 32 . 5 . 13
mcd (1830, 1170) = 2 . 3. 5 = 30
16) Calcular el MCD de los siguientes número, mediante el Algoritmo de Euclides:

a) 660 y 5544 b) 1980 y 1008
c) 4584 y 59130 d) 6930 y 450
e) 8154 y 3246
Página 7
a) mcd (660,5544) b) mcd (1980,1008)

empleando el Teorema del Resto: empleando el Teorema del Resto:
a=660, b=5544 a=1980, b=1008
a=b x q + r a=b x q + r
660= 5544 x 0 + 660 1980= 1008 x 1 + 972
5544 = 660 x 8 + 264 1008 = 972 x 1 + 36
660 = 264 x 2 + 132 972 = 36 x 27 + 0
264 =132 x 2 + 0 mcd (1980,1008)= 36
mcd (660,5544)= 132
c) mcd(4584,59130)
empleando la operación mod para calcular el resto
4584 mod 59130 = 4584, mcd (4584,59130) = mcd (59130, 4584)
59130 mod 4584 = 4122, mcd (59130,4584) = mcd (4584, 4122)
4584 mod 4122 = 462, mcd (4584, 4122) = mcd (4122, 462)
4122 mod 462 = 426, mcd (4122, 462) = mcd (462,426 )
462 mod 426 = 36, mcd (462, 426) = mcd (426,36)
426 mod 36 = 30, mcd (426, 36) = mcd (36,30)
36 mod 30 = 6, mcd (36, 30) = mcd (30,6)
30 mod 6 = 0, mcd (36, 6) = 6
mcd (4584,59130) = 6
d) mcd(6930,450) e) mcd (8154,3246)

empleando la operación mod para calcular el empleando el Teorema del Resto:
resto
a=8154, b=3246
6930 mod 450 = 180,
mcd (6930,450) = mcd (450, 180) a=b x q + r
450 mod 180 = 90, 8154= 3246 x 2 + 1662
mcd (450,180) = mcd (180, 90) 3246= 1662 x 1 + 1584
180 mod 90 = 0, 1662= 1584 x 1 + 78
mcd (180,90) = 90
1584= 78 x 20 + 24
mcd(6930,450) = 90
78= 24 x 3 + 6
24= 6 x 4 + 0
mcd(8154, 3246) = 6
Página 8
MAD 2020

Unidad 2

Unidad N° 2: Lógica Matemática
1. Indique cuales de las siguientes oraciones son proposiciones lógicas.

a) La máquina no funciona. g) ¿Lloverá mañana?.
b) ¿Hoy es lunes?. h) ¡Lloverá mañana!
c) Hoy es lunes. i) ax2 + bx + c = 0.
d) Hoy está soleado. j) La lógica no existe.
e) d) Ábrame la puerta. k) Debe saldar su deuda!.
f) e) Daniel ama el deporte. l) El algoritmo falló.
2. Indique de las siguientes proposiciones, cuáles son simples y cuáles compuestas. En el

caso de las compuestas, aísle las proposiciones simples e indique a su criterio el o los
vínculos utilizados.
a) 3 + 4 = 7 o no me llamo Pedro.
b) José no quiere bajar del avión.
c) Si hoy es lunes, entonces mañana será martes y no miércoles.
d) Voy a viajar becado a Japón con Fabiana o a Alemania con Fernando.
e) No es cierto que comeré mariscos.
f) No estudiaré Agronomía, y tampoco Biología.
g) (12 – 4) < 7
h) No es verdad que, la Tierra no es el tercer planeta.
3. Sea p “Hace frío” y sea q “Está lloviendo”. Dé ejemplos de declaraciones verbales

que describan cada uno de los enunciados siguientes:
a) ~p , b) p  q , c) p  q , d) q  ~ p , e) p  q , f) ~( ~q )
4.  Sea p “Es hombre” y sea q “Es americano”. Escriba cada una de las siguientes
sentencias en forma simbólica utilizando p y q.
a) Es hombre y americano. ………………………
b) Es hombre y no es americano. ………………………
c)  Es falso que, no es hombre o americano. ………………………
d) No es cierto que, es hombre y no es americano. ………………………
e) O es americano o no es hombre ………………………
f) No es cierto que, no es americano ni es hombre ………………………
g) Ni es hombre, ni es americano ………………………
h) Es hombre o es americano ………………………
Página 7
5. Hallar el valor de verdad de los enunciados:

a) París está en Francia
b) 3+3=7
c) Es falso que París está en Francia
d) París está en Francia y 3+3=6
e) París está en Inglaterra o Londres está en Inglaterra
f) Londres está en Inglaterra o en Francia
6.  Exprese en lenguaje simbólico los siguientes enunciados:

a) Si la contaminación radioactiva no es nociva para los insectos y si lo es para los
humanos, el planeta Tierra será sólo poblado por los insectos o por extraterrestres
inmunes.
_______________________________________________________________
b) No es cierto que, si la computadora es una herramienta que ayuda al hombre,

entonces no simplifica su trabajo y aumenta su tiempo libre.
_______________________________________________________________
7.  Dadas las proposiciones y expresiones simbólicas, determine los enunciados

correspondientes.
a)  p : soy aplazado en Análisis P(p, q, r) : ~ p → ( q  r )

q : regularizo Algebra
r : podré cursar la correlativa
b) p : aumento mis ingresos P(p, q, r) : ( p → q ) → ( q → r )

q : pago mis impuestos
r : compraré más acciones
c) p : viajaré a París P(p, q, r, s) : ( p  q )  ~ ( r  s )

q : viajaré a Roma
r : dejo de trabajar
s : pierdo mis acciones
d) p : voy de vacaciones P(p, q, r, s) : ~ (~ s → (p  ( q  r )))

q : compraré un auto
r : compraré una moto
s : disminuyo mis gastos
e)  p : 18 resulta de multiplicar 3 x 6 P(p, q, r, s) : ( p  q )  ~ ( r  s )

q : 18 resuta de multiplicar 2 x 9
r : 18 es divisible por 3
s : 18 es divisible por 4
Página 8
f)  p: María es inglesa. P(p,q,r) : ~ ( ( p  q ) → ~ r )

q: María es española.
r: María tiene sangre europea.
8.  Confeccione la tabla de verdad para cada una de las siguientes proposiciones y

establezca si son tautologías, contradicciones o proposiciones contingentes.
a) P: ~(p  ~p) f) U: (p  q)  (~p  ~q)
b) Q: Hace calor y no brilla el sol g) V: Hoy es feriado o no es domingo.
c) R: ~p  q h) W: (p  q)  ~r
d)  S: ( p  q)  ~ ( p  q ) i) X: p  (~q  ~r)
e)  T: ( p  q )  ~ ( p  q ) j) Y: (p  ~q)  r
9. Dadas las proposiciones y enunciados, obtenga sus expresiones simbólicas

correspondientes. Analice, si fuera necesario, las distintas posibilidades de
interpretación que origina la ambigüedad del lenguaje natural.
p : viajaré a París r : dejo de trabajar
q : viajaré a Roma s : pierdo mis acciones
a) Viajaré a París o a Roma, si y solo sí, es falso que, dejo de trabajar o pierdo mis
acciones.
b) Si no viajo a París, viajo a Roma y dejo de trabajar.
c) No es cierto que, si no pierdo mis acciones, viajaré a París y viajaré a Roma o
dejaré de trabajar.
d) Si dejo de trabajar, pierdo mis acciones y no viajaré a París ni a Roma.
e) Si pierdo mis acciones o dejo de trabajar, entonces no viajaré a París ni a Roma.
10. Determine por medio de Tabla de verdad, si los puntos a, b, c, d y e del ejercicio
anterior se tratan de tautología, contingencia o contradicción.
11. Compruebe si se cumplen las equivalencias:

a) (p  q)  (p→q)  (q→p) d) p ^ ( q v r) ≡ ( p ^ q) v ( p ^ r)
b) ~ (p v q) ≡ ~p v ~q e) p v q ≡ p v ( p ^ q)
c) p v ( p ^ q) ≡ p
Página 9
12. Utilizando tablas de verdad, demuestre que:

a) Las implicaciones contrarrecíprocas son equivalentes, o sea que:
(p → q)  (q → p), se cumple.
b) Las implicaciones recíprocas no son equivalentes.

(p → q)  (q → p), no se cumple.
c) Las implicaciones contrarias no son equivalentes.
(p → q)  (p → q), no se cumple.
13.  Dadas las siguientes proposiciones, plantear la recíproca, contraria y contra

recíproca de cada una.
a) Pp,q: Si la contaminación radioactiva es nociva para los humanos entonces el

planeta será poblado sólo por insectos.
b) Pp,q: Si aumenta el índice inflacionario, entonces el costo de la canasta familiar

no disminuirá
14. Determine la Recíproca, la Contraria y la Contra recíproca de cada enunciado:

a) Si compro las entradas, voy al cine.
b) Si Juan trabaja entonces viaja en colectivo
c) Si Juan es poeta entonces es pobre.
d) Si x no es cero, entonces x no es positivo.
e) Si Marcos estudia pasará el examen.
f) Si no me voy de vacaciones, entonces podré cambiar el auto.
15. Indique si la negación es distributiva respecto a la conjunción, a la disyunción, a la

implicación y a la implicación doble. Esto es, determinar si se verifica que:
a)  (p  q)  (p  q) c)  (p → q)  (p → q)
b)  (p  q)  (p  q) d)  (p  q)  (p  q)
16. Confeccione la tabla de verdad para cada una de las siguientes proposiciones y
a) ( ~p  q ) → p b) ~p → ( q → p ) c) q  ( ~q  p )
d) ( ~q  p )  ( q → ~p ) e) ( p → q )  ~( p  ~q ) f) [ ~p  ( p  q ) ] → q
Página 10
17. Compruebe que p  q  ( p  q )  ~( p  q ). Se denomina disyunción exclusiva;  se

lee “p o q, pero no ambos”.
18.  Siendo P: p  q y Q: ~p → ~q indicar si se verifican las siguientes

implicaciones y equivalencias lógicas:
a) P  Q b) Q  P c) P  Q
19.  Verifique la validez de la siguiente equivalencia: p → q  ~p  q
20. Verifique la validéz de la siguiente equivalencia: ( p  q )  ( p  q )  p
21. Compruebe que el bicondicional p  q puede escribirse en el término de los tres

conectivos originales ,  y ~.
22. Demuestre que la operación condicional es distributiva respecto a la conjunción, es

decir,
p→(qr)(p→q)(p→r)
23. Establezca si la implicación simple y doble, verifican la propiedad asociativa,

compruebe mediante la tabla de verdad si se cumplen las siguientes equivalencias:
(p → q) → r  p → (q → r) (p  q)  r  p  (q  r)
24. Demuestre si son tautológicas las siguientes expresiones:

a) (p → q)  (p  q) e) ((p → q)  (q →r))  (p →r)
b) p → (p  q) f) (p → q)  p  q
c) p → (p → q) g) (p  q)  ((p  q)  (q  q))
d) ((p → q)  (q →r)) → (p →r)
25.  Dar un ejemplo verbal de la Ley de De Morgan: ~(p  q)  ~p  ~q
Página 11
Ing. en Sistemas de Información Guía de Ejercicios Resueltos – Unidad 2 - Año 2020
Unidad 2: Lógica
4) Sea p “Es hombre” y sea q “Es americano”. Escriba cada una de las siguientes
sentencias en forma simbólica utilizando p y q.
Solución:
~ ~ p  q
c) Es falso que, no es hombre o americano ~ ( ~p  q )
6) Expresar en lenguaje simbólico los siguientes enunciados:
Solución:
a) Si la contaminación radioactiva no es nociva para los insectos y si lo es para los

humanos, el planeta Tierra será sólo poblado por los insectos o por extraterrestres
inmunes.
p: la contaminación radioactiva es nociva para los insectos

q: la contaminación radioactiva es nociva para los humanos
r: el planeta Tierra será solo poblado por los insectos)
s: el planeta Tierra será solo poblado por extraterrestres inmunes
P (p,q,r, s) = ( ~p  q ) → ( r  s )
b) No es cierto que, si la computadora es una herramienta que ayuda al hombre,

entonces no simplifica su trabajo y aumenta su tiempo libre.
p: La computadora es una herramienta que ayuda al hombre.

q: La computadora simplifica el trabajo del hombre.
r: La computadora aumenta el tiempo libre del hombre.
P (p,q,r) = ~ ( p → ( ~q ^ r )
Página 60
7) Dadas las proposiciones y expresiones simbólicas, determine los enunciados

correspondientes.
Solución:
a) p : soy aplazado en Análisis P(p, q, r) : ~ p → ( q  r )
q : regularizo Álgebra
r : podré cursar la correlativa
Si no soy aplazado en Análisis entonces, regularizo Álgebra y podré cursar la

correlativa.
e) p : 18 resulta de multiplicar 3 x 6 P(p, q, r, s) : ( p  q )  ~ ( r  s )

q : 18 resuta de multiplicar 2 x 9
r : 18 es divisible por 3
s : 18 es divisible por 4
18 resulta de multiplicar 3x6 o 2x9, si y solo si no es cierto que, 18 es divisible por

3 y por 4.
f) p: María es inglesa. P(p,q,r) : ~ ( ( p  q ) → ~ r )

q: María es española.
r: María tiene sangre europea.
No es verdad que, si María es inglesa o española, entonces no tiene sangre

europea.
8) Confeccione la tabla de verdad para cada una de las siguientes proposiciones y

Solución:
d) S: ( p  q)  ~ ( p  q )
p q pq ~(pq) (p q)  ~ (pq)

V V V F V
V F F V V S: es una tautología
F V F V V
F F F V V
Página 61
e) T: ( p  q )  ~ ( p  q )
p q pq ~(pq) (p q)  ~(pq)

V V V F F
V F F V F T: es una contradicción
F V F V F
F F F V F
13) Dadas las siguientes proposiciones, plantear la recíproca, contraria y contra recíproca
de cada una.
Solución:
a) Pp,q: Si la contaminación radioactiva es nociva para los humanos entonces el

planeta será poblado sólo por insectos.
p→q
p: La contaminación radioactiva es nociva para los humanos

q: El planeta será poblado sólo por insectos.
Recíproca: q → p
Si el planeta será poblado solo por insectos entonces la contaminación radioactiva
es nociva para los humanos.
Contraria: ~p → ~q
Si la contaminación radioactiva no es nociva para los humanos entonces el planeta
no será poblado sólo por insectos.
Contra recíproca: ~q → ~p
Si el planeta no será poblado sólo por insectos entonces la contaminación
radioactiva no es nociva para los humanos.
b) Pp,q: Si aumenta el índice inflacionario, entonces el costo de la canasta familiar no

disminuirá
p → ~q
p: Aumenta el índice inflacionario

q: El costo de la canasta familiar disminuirá.
Recíproca: ~q → p
Si el costo de la canasta familiar no disminuye, entonces aumenta el índice
inflacionario
Página 62
Contraria: ~p → ~ ~q ó ~p → q
Si no aumenta el índice inflacionario, entonces no es cierto que, el costo de la
canasta familiar no disminuirá
Contra recíproca: ~ ~q → ~p ó q → ~p
Si no es cierto que, el costo de la canasta familiar no disminuye, entonces no
aumenta el índice inflacionario
18) Siendo P: p  q y Q: ~p → ~q indicar si se verifican las siguientes

implicaciones y equivalencias lógicas:
a) P  Q b) Q  P c) P  Q o P ≡ Q
Solución:
p q P:(p↔q) ~p ~q Q:(~p→~q) P  Q Q  P PQ

V V V F F V V V V
V F F F V V V F F
F V F V F F V V V
F F V V V V V V V
Recuerde que para que se verifique la implicación lógica entre 2 proposiciones

compuestas; se aplica la implicación simple entre ambas, si el resultado es una
tautología entonces se verifica que el antecedente implica lógicamente al consecuente.
Recuerde que para que se verifique la equivalencia lógica entre 2 proposiciones

compuestas; se aplica la doble implicación o bicondicional entre ambas, si el
resultado es una tautología entonces se verifica que las proposiciones compuestas son
lógicamente equivalentes.
a) P  Q si se verifica
b) Q  P no se verifica
c) P ≡ Q no se verifica
19) Verifique la validez de la siguiente equivalencia: p → q ≡ ~p  q

Solución:
p p→q
q ~p ~p  q
V VV F V
V FF F F
F VV V V
F FV V V
▲_____________▲
≡
Queda demostrado por tabla de verdad
Página 63
25) Dar un ejemplo verbal de la Ley de De Morgan: ~(p ^ q) = ~p v ~q
Solución:
p: Pedro trabaja
q: Pedro compra una bicicleta
~(p ^ q) → No es cierto que, Pedro trabaja y compra una bicicleta

≡
~p v ~q → Pedro no trabaja o no compra una bicicleta
Página 64
MAD 2020

Unidad 3

Unidad N° 3: Razonamiento
Razonamiento Deductivo
1. Exprese simbólicamente los siguientes razonamientos:
a) Si los archivos llenan el disco duro, la computadora se pone lenta. Los archivos
llenan el disco duro si y solo si el disco duro es muy chico. La computadora se
pone lenta. Por tanto, el disco duro es muy chico.
b) la Lógica es difícil o no gusta a muchos estudiantes. Si la Matemática es fácil

entonces la Lógica no es difícil. Por tanto, si a muchos estudiantes les gusta la
Lógica entonces la Matemática no es fácil.
c) Si ha nevado, no será fácil conducir. Si no es fácil conducir, llegaré tarde si y sólo

si no salgo temprano. Ha nevado y no llegaré tarde. Por tanto, salgo temprano.
d) Si Marcos gana, entonces Rafael o Enrique serán segundos. Si Rafael es segundo,

entonces Marcos no ganará. Si Alberto es segundo, entonces Enrique no será
segundo. Por tanto, si Marcos gana, entonces Alberto no será segundo.
e) Si Ana compra una tablet, se podrá comunicar con los amigos. Si tiene dinero, Ana
compra una tablet. Si ella no compra una tarjeta de recarga de celular entonces que
no tiene dinero. Ella ha cobrado y tiene dinero. Por tanto, Ana comprará una tarjeta
de recarga de celular y se podrá comunicar con los amigos.
f) Si Laura aprueba Matemática, su padre se pondrá contento. Laura estudio

Matemática y realizó todos los ejercicios. Si Laura estudia matemática aprobará.
Por tanto Laura realizó todos los ejercicios y su padre se pondrá contento.
g) Si Cristina está en lo cierto entonces Marcos está equivocado. Si Marcos está

equivocado entonces Pablo también está equivocado. Si Pablo está equivocado
entonces el espectáculo no es esta noche. O el espectáculo es esta noche o Javier no
lo verá. Cristina está en lo cierto. Por tanto Javier no verá el espectáculo.
2. Verifique la validez del modus tolens:

“Si tiene permiso de conducir, entonces es mayor de edad. No es mayor de edad. Por
lo tanto, no tiene permiso de conducir”.
3. Verifique la validez del silogismo hipotético:

“Si la bola roja golpea a la bola blanca, la bola blanca golpea a la bola negra. Si la
bola blanca golpea a la bola negra, la bola negra se mueve. Si la bola roja golpea a
la bola blanca, la bola negra se mueve”
Página 12
4.  Exprese simbólicamente y establezca la validez de los siguientes razonamientos:
a) Si soy rico, tengo la aprobación divina.

Soy rico.
__________________________________________________________________________________________________________
Por lo tanto, tengo la aprobación divina.
b)  Me gusta comer.
Si estoy obeso, me gusta comer.
____________________________________________________________________________________
Por lo tanto, no estoy obeso.
c) Si estudio, entonces apruebo el examen.

Si apruebo el examen, cursaré la correlativa.
Cursaré la correlativa.
__________________________________________________________________________________________________________________
Por lo tanto, estudio.
d) Si regularizo 1er año, puedo cursar 2do.

No puedo cursar 2do año
________________________________________________
Por lo tanto, no regularicé 1er año.
e) Siete es un número primo.

Dos no es un número primo.
Si dos es un número primo, entonces siete también.
__________________________________________________________________________________________________________________________
Por lo tanto, dos y siete son primos.
f) Si 5 es un número primo, entonces 5 no divide a 15

5 divide a 15
_________________________________________________________________
Por lo tanto, 5 no es un número primo
g)  Si aumento mis ingresos, pago más impuestos a las ganancias.

Si aumento mis ingresos, compraré una casa.
Aumento mis ingresos.
___________________________________________________________________________________________________________________________________________________________________________
Por lo tanto, si pago más impuestos a las ganancias, compraré una casa.
h) Si gasto poco, ahorro dinero.

Viajaré a París, sí y sólo sí, ahorro dinero.
No ahorro dinero y no viajaré a París.
___________________________________________________________________________________________________
Por lo tanto, si gasto poco, viajaré a París.
i) Si me gustan las matemáticas, entonces estudiaré

Ni estudio ni suspendo el cursado
__________________________________________________________________________________________
Por lo tanto, si suspendo el cursado, entonces no me gustan las matemáticas
j) Si estudio, entonces no me atraso en la carrera

Si no juego al baloncesto, entonces estudiaré
Página 13
Pero me atrasé en la carrera

_________________________________________________________
Por lo tanto, jugué al baloncesto
k) Si estudio, entonces apruebo el examen

Si apruebo el examen entonces cursaré la correlativa
_________________________________________________________________
Por lo tanto, si estudio, cursaré la correlativa
l) Si trabajo, no puedo estudiar.

Trabajo o apruebo matemáticas.
Apruebo matemáticas.
______________________________________
Por lo tanto, puedo estudiar.
m) Si 6 es par, entonces 2 no divide a 7

O 5 no es primo, o 2 no divide a 7
Pero 5 no es primo.
__________________________________________
Por lo tanto, 6 es impar.
n) El verano será muy soleado e iré a la playa todos los días

No es cierto, que si voy a la playa todos los días no podré ir al teatro
Iré al teatro si y solo si el verano no es soleado
______________________________________________________________________________
Por lo tanto, si no voy a la playa todos los días, iré al teatro
Funciones Proposicionales y Clases
5.  P(x) indica la sentencia x+2>5. Declare si P(x) es una función proposicional en

cada uno de los siguientes conjuntos:
a) Z+, el conjunto de los números enteros positivos.
b) M = {-1, -2, -3, …}
c) O = {0, 1, 2, 3}
d) C = {x/x es color primario}
6.  Determine el valor de verdad de cada uno de los enunciados siguientes siendo que
R es el conjunto universal, y que x  R.
a) x: |x| = x b) x/ x2 = x c) x: x+1 > x d) x/ x+2 = x

e) x: x2 = x f) x/ 2x = x g) x: x-3 < x h) x/ x2 -2x+5 = 0
Página 14
7. Sea A = {1,2,3,4,5}. Determine el valor de verdad de cada uno de los enunciados

siguientes sabiendo que x  A.
a) x/ (x+3 = 10) b) x: (x+3<10) c) x/ (x+3<5)

d) x: (x+3  7) e) x: (x+3 < 6) f) x/ (x+3 < 6) g) x/ (2x2 + x = 15)
8.  En los ejercicios a) al h), utilice: P(x): x es par; Q(x): x es un número primo; y

R(x,y): x+y es par.
Sabiendo que las variables x y y representan enteros, exprese por escrito el significado
que le sugiere cada una de las siguientes proposiciones y determine su valor de verdad.
a) x: P(x) b) x/ Q(x) c) x: y/ R(x,y) d) x/ y: R(x,y)
e) x: (~Q(x)) f) x/ (~P(x)) g) (x/ P(x)) h) ~(x: Q(x))
9. Clasifique las siguientes proposiciones según la definición de proposición categórica

y represente P1 a P5 en notación simbólica.
P1: Algunos alumnos son estudiosos.

P2: Todos los cuerpos celestes son estrellas o planetas.
P3: Algunos triángulos isósceles son equiláteros.
P4: Ningún entero par es divisible por 3.
P5: Algunos triángulos isósceles no son equiláteros.
P6: Todos los triángulos equiláteros son isósceles.
P7: Existen funciones continuas que no son derivables.
P8: Nadie que nació en Argentina es europeo.
P9: Todos los irlandeses son europeos.
P10: Todas las estrellas tienen luz propia
P11: Ningún planeta tiene luz propia
P12: Algunos hongos no son comestibles
P13: Algunas flores son rojas
P14: Todos los volcanes están activos
P15: Ningún hombre es marciano
Razonamiento Inductivo
10.  Calcule la suma de los primeros n números naturales impares. Teniendo en cuenta
que 1  n  6.
Página 15
a) En base a los resultados particulares obtenidos, establezca una expresión general

para todos los valores de n  1 para Sn = 1 + 3 + 5 + … + (2n - 1)
Sn = ___________
b) Demuestre utilizando el Principio de Inducción que la expresión obtenida en el
punto (a) es válida.
11.  Analice la siguiente sucesión de sumas:

1 1
S1 = =
1.2 2
1 1 2
S2 = + =
1.2 2.3 3
1 1 1 3
S3 = + + =
1.2 2.3 3.4 4
1 1 1 1 4
S4 = + + + =
1.2 2.3 3.4 4.5 5
1 1 1 n
y verifique si se cumple Sn = + + ... + =
1.2 2.3 n(n + 1) n+1
12.  Aplicando el principio de Inducción Matemática, verifique si es correcto que: La

suma de los primeros n números naturales pares mayores que 0 es:
Sn = 2+4+6+8+……+ 2n = n(n+1)
Tenga en cuenta que:
S1 = 2x1=2 S2 = 2+2x2= 6 S3 = 2+4+2x3 = 12 S4 = 2+4+6+2x4 = 20
13.  Demuestre por inducción que la suma de los cuadrados de los primeros n números
naturales es:
Sn = n( n +1).(2n+1) / 6
1 1 1
14. Teniendo en cuenta que Sn = + + ... + Verifique por inducción si se
1.2 2.3 n(n + 1)
n+1
cumple que: Sn =
3n + 1
15.  Demuestre por inducción que la suma de los cuadrados de los primeros n números
impares naturales es:
Sn = 12 + 32 + 52 + … + (2n-1)2 = n( 2n-1).(2n+1) / 3
Página 16
16.  Demuestre por inducción matemática que la siguiente expresión es verdadera:

5n(n + 1)
Sn = 5 + 10 + 15 + … + 5n =
2
17.  Demuestre por inducción matemática que la siguiente expresión es verdadera:

n (n + 1)(n + 2)
Sn = 1*2 + 2*3 + 3*4 + … + n(n+1) =
3
18. Demuestre por inducción matemática que la siguiente expresión es verdadera:

n 2 (n + 1) 2
Sn = 13 + 23 + 33 + … + n3 =
4
19.  Demuestre por inducción que la función proposicional S(n) que nos permite
 n5
n
calcular el valor de la sumatoria 1
n
= 1.51+2. 52+3.53+…+n. 5n es
Sn = [5+(4n-1). 5n+1 ] / 16 o sea, 1.51+2.52+…+n. 5n = [5+(4n-1). 5n+1 ] / 16
20. Demuestre por inducción que la función proposicional S(n) que nos permite calcular
el valor de la sumatoria de Sn = 12 - 22 + 32 - 42 +...+ (-1)n-1 .n2 es igual a…
n.( n + 1)
Sn = ( −1) n −1 .
2
Nota: Para resolver este ejercicio debe tener en cuenta la potencia de exponentes
1 𝑛 1
negativos: 𝑎−𝑛 = [𝑎] = 𝑎𝑛
Página 17
Unidad 3: Razonamiento
4) Exprese simbólicamente y establezca la validez de los siguientes razonamientos:
Solución:
b) Me gusta comer.
Si estoy obeso, me gusta comer
..............................................................................
Por lo tanto, no estoy obeso.
p: me gusta comer
q: estoy obeso
p P1
q→p P2
 ~q Q
P1 Q P2
p q ~q q→ p (P1^P2) → Q
V V F V V F F
V F V V V V V
F V F F F V F
F F V V F V V
Razonamiento no valido
g) Si aumento mis ingresos, pago más impuestos a las ganancias.

Si aumento mis ingresos, compraré una casa.
.............................................................................................................................................................................
Por lo tanto, si pago más impuestos a las ganancias, compraré una casa.
p: aumento mis ingresos.

q: pago mis impuestos a las ganancias.
r: compraré una casa.
p→q P1
p→r P2
p P3
q→r Q
P á g i n a 65
P3 P1 P2 Q
p q r p→q p→r q→r (P1^P2^P3) → Q
V V V V V V V V V
V V F V F F F V F
V F V F V V F V V
V F F F F V F V V
F V V V V V F V V
F V F V V F F V F
F F V V V V F V V
F F F V V V F V V
Razonamiento valido
5) P(x) indica la sentencia x+2>5. Declare si P(x) es una función proposicional en cada
uno de los siguientes conjuntos:
a) Z+, el conjunto de los números enteros positivos.
b) M = {-1, -2, -3, …}
c) O = {0, 1, 2, 3}
d) C = {x/x es color primario}
Solución: a) Sí b) Sí c) Sí d) No
6) Determine el valor de verdad de cada uno de los enunciados siguientes siendo que R es el
conjunto universal, y que x  R
a) x: |x| = x b) x/ x2 = x c) x: x+1 > x d) x/ x+2 = x

e) x: x2 = x f) x/ 2x = x g) x: x-3 < x h) x/ x2 -2x+5 = 0
Solución:
a) F b) V c) V d) F
e) F f) V g) V h) F
8) En los ejercicios a) al h), utilice P(x): x es par; Q(x): x es un número primo; y R(x,y):
x+y es par.
Sabiendo que las variables x y y representan enteros, exprese por escrito el significado
que le sugiere cada una de las siguientes proposiciones y determine su valor de verdad.
a) x: P(x) b) x/Q(x) c) x: y/ R(x,y) d) x/y: R(x,y)

e) x: (~Q(x)) f) x/ (~P(x)) g) ~(x/ P(x)) h) ~(x: Q(x))
P á g i n a 66
Solución:
a) Todo entero es par b) Existe al c) Para cualquier d) Existe un

menos un número entero, número entero tal
entero existe otro tal que la que al sumarlo a
que es primo suma de ellos es par cualquier otro da
un resultado par
e) Todo entero no es f) Existe al g) No existe al h) No todo entero
primo, o menos un menos un entero es primo
Ningún entero es entero que sea par
primo que no es par
a) F b) V c) V d) F
e) F f) V g) F b) V
Observación:
En los ejercicios g) ~(x/ P(x)) y h) ~(x: Q(x)) se podría pensar que se podría quitar
paréntesis e introducir la negación ~ de manera tal, que quedara g) ~x/ ~P(x)) y h) ~x:
~Q(x).
Pero ocurre que tanto (x/ P(x)) "Existe al menos un elemento tal que P(x) es verdadera"
como (x: Q(x)), “Todo entero es un número primo” son proposiciones lógicas, por lo que
si las niego no es que esté afectando al cuantificador o a P, niego la proposición lógica
completa anteponiéndole "NO" o "NO ES CIERTO QUE".
De esta forma queda: "NO Existe al menos un elemento tal que P(x) es verdadera" y “NO
Todo entero es un número primo”.
P á g i n a 67
Principio de Inducción Matemática
El Principio de inducción matemática establece un método de razonamiento para demostrar

la verdad o falsedad de ciertas proposiciones generales referidas a los números naturales,
que se infieren a partir de verdades particulares conocidas, haciendo uso de las propiedades
que los números naturales tienen por definición.
Una función proposicional F(n) referida a los números naturales es verdadera para
cualquier número natural n  n0 si se satisfacen las siguientes condiciones:
Base Inductiva) La proposición F(n0) es verdadera para algún número natural n0.
Generalmente lo evaluamos para n=1.
Paso Inductivo) La veracidad de F(k) para cualquier número natural k  n0 implica la
veracidad de F(k+1) para el número natural siguiente k+1.
F(k) se denomina Hipótesis inductiva y se considera que F(n) es cierta
para n=k; por lo tanto debe demostrarse que también lo es para n=k+1.
De esta manera tendremos que F(n) es verdadera para todo número natural
n n0.
10) Calcular la suma de los primeros n números naturales impares.
Solución:
La expresión de esta suma sería: Sn = 1 + 3 + 5 + … + (2n - 1)

Resolvemos aplicando el método de inducción matemática.
Asignaremos a n los valores sucesivos 1, 2, 3, … hasta contar con información
suficiente para formular una hipótesis posible. Luego debe probarse esta hipótesis con
el método de la inducción matemática. Entonces para:
(*) S1 = 1, S2 = 4, S3 = 9, S4 = 16, S5 = 25, S6 = 36

A partir de estos resultados particulares, debemos inducir una relación general para
ellos. Así se nota inmediatamente que:
S1 = 12, S2 = 22, S3 = 32, S4 =42
Entonces es justo suponer que, en general, Sn = n2 es la función proposicional F(n)
que cumple la relación general buscada.
Así tenemos que:
Sn = 1+ 3 + 5 +...+ (2n-1) = n2
Base Inductiva)
para n=1 S1 = 12 = 1
Para n = 1, el valor de la expresión n2 es también 1, que coincide con los resultados
conocidos (*). De aquí que la F(n) se cumple para n = 1.
P á g i n a 68
Paso Inductivo)
para n=k
Sk= 1+ 3 + 5 +...+ (2k-1) = k2 Hipótesis inductiva (que se supone verdadera)
Debemos probar que la hipótesis también se verifica para k+1, es decir que:
para n=k+1
Sk+1= 1+ 3 + 5 +...+ (2k-1) + (2(k+1)-1) = (k+1)2
Demostración: tenemos que verificar que se cumple la igualdad.
Sk+1= 1+ 3 + 5 +...+ (2k-1) + (2(k+1)-1) = (k+1)2

Sk + (2(k+1)-1) = (k+1)2 (reemplazando por Sk )
Sk + (2k+1) = (k+1)2
k2+(2k+1) = ( k+1)2 (reemplazando por la Hipótesis I)
k2+(2k+2-1) = ( k+1)2
k2+2k+1 = ( k+1)2
(k+1)2 = ( k+1)2
De esta manera queda demostrada la veracidad de la función proposicional F(n)
planteada,
Sn = 1+ 3 + 5 +...+ (2n-1) = n2
11) Analice la siguiente sucesión de sumas:
S1 = 1 / (1  2) = 1 / 2
S2 = 1 / (1  2) + 1 / (2  3) = 2 / 3
S3 = 1 / (1  2) + 1 / (2  3) + 1 / (3  4) = 3 / 4
S4 = 1 / (1  2) + 1 / (2  3) + 1 / (3  4) + 1 / (4  5) = 4 / 5
1 1 1 n
y verifique si se cumple Sn = + + ... + =
1.2 2.3 n(n + 1) n+1
Solución:
La sucesión planteada nos hace pensar que para todos los números naturales n se
cumple:
Sn = 1 / (12) + 1 / (23) + 1 / (34) + … + 1 / (n(n+1)) = n / (n + 1).
Para probarlo, procedamos por inducción sobre n:
P á g i n a 69
Base Inductiva)
n0 = 1 : S1 = 1 / (1  2) = 1 / 2, la cual es trivialmente verdadera.
Paso Inductivo)
Supongamos que para algún k  n0 la proposición:

Sk = 1/(12) + 1/(23) + 1/(34) + … + 1/(k(k+1)) = k / (k + 1)
es verdadera (hipótesis inductiva). Queremos demostrar que entonces necesariamente debe
ser verdadera Sk+1 = (k + 1) / (k + 2):
Sk+1 = [1/(12)+1/(23)+1/(34)+…+1/(k(k+1))]+ 1/((k+1)(k+2))
Vemos que el sumando entre corchetes es Sk, luego:
Sk+1 = Sk + 1/((k+1)(k+2)) ; por reemplazo

= k / (k + 1) + 1/((k+1)(k+2)) ; por hipótesis inductiva
= (k  (k+2) + 1) / ((k+1)(k+2)) ; común denominador
= (k  k + 2  k + 1) / ((k + 1)  (k + 2)) ; distributividad de 
= (k + 1) (k + 1) / ((k + 1)  (k + 2)) ; binomio cuadrado
Sk+1 = (k + 1) / (k + 2)
Que es lo que se quería demostrar, por lo cual, por inducción matemática Sn es verdadera
para todos los números naturales.
12) Aplicando el principio de Inducción Matemática, verificar si es correcto que: La suma

de los primeros n números naturales pares mayores que 0 es:
Sn = 2+4+6+8+……+ 2n = n(n+1)
Tenga en cuenta que:
S1 = 2x1=2 S2 = 2+2x2= 6 S3 = 2+4+2x3 = 12 S4 = 2+4+6+2x4 = 20
Solución:
Base Inductiva: S1 = 2x1 = 2 = 1(1+1) = 2 lo cual es verdadero.

Paso Inductivo:
Teniendo en cuenta que:
S1 = 2x1=2 S2 = 2+2x2= 2+4 = 6 S3 = 2+4+2x3 = 12 S4 = 2+4+6+2x4 = 20
podemos expresar…
para n=k
Sk: 2+4+6+8+….+2k = k ( k+1 ) que suponemos válida para algún k  1 (1)
Hipótesis Inductiva
P á g i n a 70
para n=k+1
Demostremos que: Sk+1 = (k+1).[(k+1)+1] también es verdadera:
Sk+1= 2 + 4 + 6 + 8 +….+ 2k + 2(k+1) = (k+1).[(k+1)+1]
Sk+1= Sk + 2(k+1) = (k+1).(k+2)
Sk+1= k(k+1) + 2(k+1) = (k+1).(k+2) por (1)
Sk+1= k(k+1)+(k+1)+(k+1) = (k+1).(k+2) (factor común (k+1))
Sk+1= (k+1)[k+ 1 + 1] = (k+1).(k+2)
Sk+1= (k+1)(k+ 2) = (k+1).(k+2)
Queda demostrado.
Hay varias formas válidas de demostrarlo. Pueden operar con el primer o segundo
miembro de la igual e incluso con ambos a la vez. Lo importante es lograr demostrar que lo
que queda a la izquierda es igual a lo que queda a la derecha del signo igual.
Otra opción para la misma demostración sería:

Sk+1= 2+4+6+8+….+2k + 2(k+1) = (k+1)[(k+1)+1]
Sk+1= Sk + 2(k+1) = (k+1)[(k+1)+1]
Sk+1= Sk + 2k+2 = (k+1)(k+2)
Sk+1= k(k+1) + 2k+2 = k2+3k+2 por (1)
Sk+1= k2+3k+2 = k2+3k+2
13) Demuestre por inducción que la suma de los cuadrados de los primeros n números
naturales es:
𝑛. (𝑛 + 1). (2. 𝑛 + 1)
Sn =
6
Solución:
𝑛. (𝑛 + 1). (2. 𝑛 + 1)
Sn = 12 + 22 + 32 + ⋯ + 𝑛2 =
6
Base Inductiva
1. (1 + 1). (2.1 + 1) 1.2.3
𝑆1 = 1 = = =1
6 6
Paso Inductivo
Para n=k
k. (k + 1). (2. K + 1)
Sk = 12 + 22 + 32 + ⋯ + k 2 =
6
P á g i n a 71
Para n=k+1
(k+1).(k+2).(2k+3)
Sk+1 = 12 + 22 + 32 + ⋯ + k 2 + (k + 1)2 = 6
Reemplazando por 𝐒𝐤
k.(k+1).(2.K+1) (k+1).(k+2).(2k+3)
Sk+1 = + (k + 1)2 =
6 6
k.(k+1).(2.K+1)+6.(k+1)2 (k+1).(k+2).(2k+3)
Sk+1 = =
6 6
2.k3 +3.k2 +k+6.k2 +12.k+6 (k+1).(k+2).(2k+3)

Sk+1 = =
6 6
2.k3 +9.k2 +13.k+6 (k+1).(k+2).(2k+3)

Sk+1 = =
6 6
(𝐤+𝟏)+(𝐤+𝟐)+(𝟐.𝐤+𝟏) (𝐤+𝟏).(𝐤+𝟐).(𝟐𝐤+𝟑)
𝐒𝐤+𝟏 = =
𝟔 𝟔
Queda demostrado.
15) Demuestre por inducción que la suma de los cuadrados de los primeros n números
impares naturales es:
𝑛.(2.𝑛−1).(2.𝑛+1)
Sn = 12 + 32 + 52 + ⋯ + (2. 𝑛 − 1)2 =
3
Solución:
Base Inductiva
1.(2.1−1).(2.1+1) 3
𝑆1 = (2.1 − 1)2 = 1 = =3= 1
3
Paso Inductivo
Para n=k Hipótesis Inductiva

𝑘.(2.𝑘−1).(2.𝑘+1)
Sk = 12 + 32 + 52 + ⋯ + (2. 𝑘 − 1)2 = 3
Para n=k+1
(𝑘 + 1). (2. (𝑘 + 1) − 1). (2. (𝑘 + 1) + 1)
Sk+1 = 12 + 32 + 52 + ⋯ + (2. 𝑘 − 1)2 + (2. (𝑘 + 1) − 1)2 =
3
𝑘. (2. 𝑘 − 1). (2. 𝑘 + 1) (𝑘 + 1). (2. 𝑘 + 1). (2. 𝑘 + 3)

Sk+1 = + (2. 𝑘 + 1)2 =
3 3
𝑘. (2. 𝑘 − 1). (2. 𝑘 + 1) + 3. (2. 𝑘 + 1)2 (𝑘 + 1). (2. 𝑘 + 1). (2. 𝑘 + 3)

Sk+1 = =
3 3
(2𝑘 + 1) (2𝑘 + 1)
Sk+1 = [𝑘. (2𝑘 − 1) + 3. (2𝑘 + 1)] = . (𝑘 + 1). (2𝑘 + 3)
3 3
Sk+1 = [𝑘. (2𝑘 − 1) + 3. (2𝑘 + 1)] = (𝑘 + 1). (2𝑘 + 3)
P á g i n a 72
Sk+1 = 2𝑘 2 − 𝑘 + 6𝑘 + 3 = 2𝑘 2 + 3𝑘 + 2𝑘 + 3
𝐒𝐤+𝟏 = 𝟐𝒌𝟐 + 𝟓𝒌 + 𝟑 = 𝟐𝒌𝟐 + 𝟓𝒌 + 𝟑
Queda demostrado.
16) Demuestre por inducción matemática que la siguiente expresión es verdadera:

5. 𝑛. (𝑛 + 1)
Sn = 5 + 10 + 15 + ⋯ + 5. 𝑛 =
2
Solución:
Base Inductiva
5.1. (1 + 1) 5 .2
𝑆1 = 5.1 = 5 = = = 5
2 2
Paso Inductivo
Para n=k
5.k.(k+1)
Sk = 5 + 10 + 15 + ⋯ + 5. k = 2
Para n=k+1
5.(k+1).((k+1)+1)
Sk+1 = 5 + 10 + 15 + ⋯ + 5. k + 5. (k + 1) = 2
5.k.(k+1) 5.(k+1).(k+2)
Sk+1 = + 5. (k + 1) =
2 2
5. k. (k + 1) + 10. (k + 1) 5. (k + 1). (k + 2)
Sk+1 = =
2 2
𝟓. (𝐤 + 𝟏). (𝐤 + 𝟐) 𝟓. (𝐤 + 𝟏). (𝐤 + 𝟐)
𝐒𝐤+𝟏 = =
𝟐 𝟐
Queda demostrado.
17) Demuestre por inducción matemática que la siguiente expresión es verdadera:

𝑛. (𝑛 + 1)(𝑛 + 2)
Sn = 1.2 + 2.3 + 3.4 + ⋯ + 𝑛. (𝑛 + 1) =
3
Base Inductiva
1. (1 + 1). (1 + 2) 6
𝑆1 = 1. (1 + 1) = 2 = = = 2
3 3
P á g i n a 73
Paso Inductivo
Para n=k Hipótesis Inductiva
𝑘.(𝑘+1)(𝑘+2)
Sk = 1.2 + 2.3 + 3.4 + ⋯ + 𝑘. (𝑘 + 1) = 3
Para n=k+1
Sk+1 = 1.2 + 2.3 + 3.4 + ⋯ + 𝑘. (𝑘 + 1) + (𝑘 + 1). ((𝑘 + 1) + 1) =
(𝑘+1).((𝑘+1)+1)((𝑘+1)+2)
3
(𝑘 + 1). (𝑘 + 2)(𝑘 + 3)
Sk+1 = 1.2 + 2.3 + 3.4 + ⋯ + 𝑘. (𝑘 + 1) + (𝑘 + 1). (𝑘 + 2) =
3
𝑘. (𝑘 + 1)(𝑘 + 2) (𝑘 + 1). (𝑘 + 2)(𝑘 + 3)

Sk+1 = + (𝑘 + 1). (𝑘 + 2) =
3 3
𝑘. (𝑘 + 1)(𝑘 + 2) + (𝑘 + 1). (𝑘 + 2) (𝑘 + 1). (𝑘 + 2)(𝑘 + 3)

Sk+1 = =
3 3
𝑘. (𝑘 + 1)(𝑘 + 2) + 3((𝑘 + 1). (𝑘 + 2)) (𝑘 + 1). (𝑘 + 2)(𝑘 + 3)

Sk+1 = =
3 3
(𝒌 + 𝟏)(𝒌 + 𝟐). (𝒌 + 𝟑) (𝒌 + 𝟏). (𝒌 + 𝟐)(𝒌 + 𝟑)

𝐒k+1 = =
𝟑 𝟑
Queda demostrado.
19) Demostrar por inducción que la función proposicional F(n) que nos permite calcular el
valor de la sumatoria 1 n5n = 1.51+2. 52+3.53+…+n. 5n es
n
Sn = (5+(4n-1). 5n+1 ) / 16
o sea , 1.51+2. 52+…+n. 5n = (5+(4n-1). 5n+1 ) / 16
Solución:
Base Inductiva
Para n=1
S1 = 1.51= (5+(4.1-1). 51+1 ) / 16
5 = (5+75) / 16 = 80 / 16 = 40 / 8 = 5
5=5
Con lo cual se demuestra que para la Base Inductiva se cumple.
P á g i n a 74
Paso Inductivo
Para n= k
Sk = 1.51 + 2 . 52 + 3 . 53 + … + k . 5k = ( 5 + (4.k – 1) . 5k+1 ) / 16
Para n=k+1
Sk+1:= 1 . 51 +2 . 52 + … + k . 5k +(k+1) . 5(k+1) = (5 + (4 (k+1) – 1) 5k+2 ) / 16
Demostración: tenemos que verificar que se cumpla la igualdad:
[ 1. 51 + 2 . 52 + …+ k . 5k ]+ (k+1) . 5(k+1) = (5 + (4 k+4 – 1) 5k+2 ) / 16

[ (5 + (4.k – 1) . 5k+1 ) / 16 ] +.(k+1) . 5(k+1) = (5 + (4 k+3) 5k+2 ) / 16 Reemp. por Sk
[(5 + (4.k – 1) . 5k+1
) + 16.(k+1) . 5(k+1)
]/ 16 = (5 + (4 k+3) 5k+2
) / 16 Común denominador 16
[5 + ((4.k – 1) + 16 . (k+1) ). 5(k+1) ]/ 16 = (5 + (4 k+3) 5k+2 ) / 16 Fact. común 5(k+1)
[5+(4.k – 1+16k+16) . 5k+1 ]/16 = (5 + (4 k+3) 5k+2 ) / 16
[5+ (20.k +15) . 5k+1 ]/ 16 = (5 + (4 k+3) 5k+2 ) / 16
[5+ (4.k +3)5 . 5k+1 ]/ 16 = (5 + (4 k+3) 5k+2 ) / 16 Fact. común 5
(5+ (4.k +3) 5k+2 )/ 16 = (5 + (4 k+3) 5k+2 ) / 16
De esta manera queda demostrada la veracidad de la función proposicional F(n) planteada,
Sn =1.51+2. 52+…+n. 5n = (5+(4n-1). 5n+1 ) / 16
P á g i n a 75
MAD 2020

Unidad 4

Unidad N° 4 - Teoría de Conjuntos
1.  Reescriba las siguientes declaraciones usando la notación de conjuntos:

a) El elemento 1 no es un miembro de A. _______________________
b)  El elemento 5 es un miembro de B. _______________________
c)  A es un subconjunto de C. _______________________
d) A no es un subconjunto de D. _______________________
e)  F contiene todos los elementos de G. _______________________
f) E y F contienen los mismos elementos. _______________________
2. Sea U={1,2,3,4,5,6,7,8,9,10}, el conjunto universal de referencia y sean A ={1,2} y

B={2,4,6,8,10}. Indique la verdad o falsedad de las siguientes proposiciones:
a) 1A _____ f) 1A  1B _____

b) 9A _____ g) 4A  4U _____
c) 9B _____ h) 3A → 8U _____
d) 9B _____ i) 3A → 8U _____
e) 2A _____ j) 4A  5U _____
3.  Defina por comprensión los conjuntos A y B.

A es el conjunto de los números enteros cuyos cuadrados es igual a 1.
B es el conjunto de los números naturales mayores que 2, y que no superan a 6.
__________________________________________________________
4. Defina por comprensión los siguientes conjuntos:

A = {a,e,i,o,u}, B = {1,2,3,…}, C = {1,2} y D = {2,4,6,8,10}
__________________________________________________________
__________________________________________________________
__________________________________________________________
__________________________________________________________
5.  Enumere los elementos de los siguientes conjuntos (N = naturales y Z = enteros)
a)  A = x / x  N, 3 < x < 12 _________________________________

b) B = x / x  N, x es par, x < 15 _________________________________

c) C = x / x  N, 4+ x = 3 _________________________________
d)  D = x / x  N, x es un múltiplo de 3 ________________________________
e) E = x / x  N, x es impar, -5 < x < 5 _________________________________
f) F = x / x  Z, x2 + 1 = 10 _________________________________
g) G = x / x  Z, x es par, -5  x  4 _________________________________
6. Indique cuáles de los siguientes conjuntos son iguales:
A = {x/ (xN)  (x es primo)  (x<10)}

B = {x/ (xZ+)  (x<8)}
C = {1, 2, 3, 4, 5, 6, 7}
D = {2, 7, 7, 5, 3, 2}
E = {2, 3, 4, 5, 6, 1, 7}
7. Defina por extensión o enumeración los conjuntos B y C. Indique cuáles de los

siguientes conjuntos son iguales a A={2,4}:
B = {x/ (xN), x es par, 1 < x < 10}

C = {x/ (xN), x2 – 6x + 8 = 0}
D = {4,2}
8. Dado A = {2,{4,5},4} ¿qué afirmaciones son correctas y por qué?

a) {4, 5}  A b) {4, 5}  A c) {{4, 5}}  A
9. Dados los conjuntos A = {e, x, i, t, o} y B = {t, r, i, u, n, f, o}

a) ¿Cuál es el conjunto formado por la intersección de los conjuntos anteriores?
AB=
b) ¿Cuál es el conjunto formado por la unión de los conjuntos anteriores?
AB=
10.  Verifique, utilizando Diagrama de Venn, si se cumple la siguiente igualdad:
A-B=AB
A B A B
U U
11.  Sea U ={ 0,1,2,3,4,5,6,7,8,9 } A = {1,4,7,9} B = {1,2,3,4,5} C = {2,4,6,8}

Determine los elementos de los siguientes conjuntos:
a) B  U =
b) B  (C - A) =
c) (A  B)  C =
12. Sea U ={ a, b, c, d,. . . ., z} A ={ a, d, f, m, p} B = { a, p} C ={ e, f, g, h, i}

a) Indique la cardinalidad de los conjuntos A, B y C: ________________________
b) Encuentre los elementos de los conjuntos:
a) (A  B)  C =
b) C   =
c) A – C =
13. Dados los siguientes conjuntos:

U = { 0,1,2,3,4,5,6,7,8,9 } A = { 0,1,4,5,6 } B = { 2,3,4,6 } C = { 7,8,9 }
Realizar el diagrama de Venn y determinar por extensión o enumeración las
siguientes operaciones:
a) ~(A  B) b) (A – B)  ~C c) U – (A  C) d)   C
14. Sombrear en el diagrama de Venn el área representada por cada una de las siguientes
expresiones:
̅B
a) A ̅ b) ̅̅̅̅̅̅̅
B−A c) A  B
̅
A B A B A B
U U U
d) A  (B  C) ̅ BC
e) A f) A  (B-C)
A B A B A B
C C C
U U U
15. Dados los siguientes conjuntos:

U= { 1, 2, 3, 4, 5, 6, 7, 8, 9 } Ø = {} A= { x / x  Z+, x < 6
B= { 4, 5, 6, 7 } C= { 5, 6, 7, 8, 9 } D= { x / x  N, x es impar, x < 10
1) Determine por extensión los conjuntos resultantes de las operaciones (a) a (o).
2) Indique en cada caso la cardinalidad de los conjuntos resultantes del punto 1.
3) Grafique utilizando diagrama de Venn los puntos (i), (j), (l), (m), (n) y (o).
a) AB
b) AB
c) AC
d) AC
e) UØ
f) UØ
g) AØ
h) DU
i) A(BC)
j) (A-B)D
k) (AB)(CD)
l) (BC)-A
CD
m) ̅̅̅̅̅̅̅̅
n) ((A ∩ D) ∪ B)
o) A  (B
̅  D)
16. Dado el conjunto A = {{a},{b,c,d,e},{c,d}}. Enumere los elementos de A, indique su

cardinalidad y averigüe si las siguientes declaraciones son verdaderas o falsas:
Elementos de A: ____________________________________ |A| = _______
a) a  A _______ e) ØA _______

b) {a}  A _______ f) ØA _______
c) {{a},{c,d}} A _______ g) {{a},{b,c,d,e},{c,d}}  A _______
d) {b,c,d,e} A _______
17. Dado el conjunto A={x / xZ+  x2 < 16}, indique si son verdaderas:
a) {0, 1, 2, 3}  A ______ e) 0  A ______
b)   A ______ f) {1,2,3}  A ______
c) 4  A ______ g) {1,2,3}  A ______
d) {4}  A ______ h) 2  A ______
18. Sea A ={ 1, {1}, {2}}. ¿Cuáles de las siguientes proposiciones son verdaderas?
a) 1  A _______ e) {2}  A _______
b) {1}  A _______ f) {2} A _______
c) {1}  A _______ g) {{2}}  A _______
d) {{1}}  A _______ h) {{2}}  A _______
19.  Para A ={ 1, 2, {2}}. ¿Cuáles de las 8 proposiciones del ejercicio anterior son
verdaderas?
20.  Dados los conjuntos:

A = { 2, 3, 4, 5}, B = {x / xN  x es par} y C = {1, 2, 3, 4, 5, 6, 7, 8, 9}
a) El conjunto A es un subconjunto de B? Justifique.

____________________________________________________________________
b) El conjunto A es un subconjunto propio de C? Justifique.
____________________________________________________________________
21. Para U = {1,2,3,…,29,30}, sean (B y C)  U con B = {1,2,3,4,6,9,15} y

C = {2,3,6,15,22,29}. Cuánto vale |BC|?
22.  Dado el conjunto B = {1, 2, 3}…
a) Determine la clase M que es la clase de los subconjuntos de B que contienen

exactamente dos elementos de B.
b) Determine la clase N que es la clase de los subconjuntos de B que contienen el

número 3 y un elemento más de B.
23. Indique en cada caso la expresión que representa el diagrama de Venn:
A B A B
C C
U U
a) ________________ b) __________________ c) _________________
24. Dado el conjunto A={x/x es un día de la semana}, determine 3 particiones de A y

luego grafíquelos en un Diagrama de Venn.
25. Dado el conjunto S = {a, b, c, d, e, f, g}, determine si son o no particiones de S.
a) {{a, b, e, g},{c},{d, f}} ____

b) {{a, c, e},{b},{d, g}} ____
c) {{a, e, g},{c, d},{b, e, f}} ____
d) {{a}, {b}, {c}, {d}, {e}, {f}, {g}}____
26. Dado el conjunto S={1,2,3,4,5,6,7,8,9}, indicar si las siguientes son particiones de S.
a. {{1,3,5},{2,6},{4,8,9}} ____
b. {{1,3,5},{2,4,6,8},{5,7,9}} ____
c. {{1,3,5},{2,4,6,8},{7,9}} ____
d. Determine 2 particiones nuevas del conjunto S.
_______________________________________________________________
27. Determine el conjunto potencia de A={1,2} y la cardinalidad del mismo.

__________________________________________________________________
28.  Dado el conjunto B = {1,2,3}, determinar cual es el conjunto Potencia de B, que se

denota por P (B). Observar que P(B) tiene 23 elementos.
__________________________________________________________________
29. Halle el conjunto potencia P(A) de A = {a,b,c,d}.

__________________________________________________________________
30. Explique la diferencia principal entre: (a,b) y {a,b}.

__________________________________________________________________
31. Dados los conjuntos A= {1,2,3} y B= {a,b}, determine el producto cartesiano de:
a) A x B ____________________________________________________________
b) B x A _____________________________________________________________
c) B2 _____________________________________________________________
32.  Dados los conjuntos A = {1,2}, B = {x, y, z} y C = {3, 4} determine el producto

cartesiano de:
a)  A x B x C ________________________________________________________
__________________________________________________________
b) B x A x C x A ______________________________________________________
__________________________________________________________
33. Verifique por medio de Diagramas de Venn, si se cumplen las siguientes igualdades:
a) ~(A  B) = ~A  ~B d) A  (A  B) = (A  B)  A
b) ~A  A = Ø e) A  (B  C) = (A  B)  (A  C)
c) ( A  B )  ~C = ( A  ~C )  ( B  ~C )
34. Verifique si las siguientes igualdades son Verdaderas (V) o Falsas (F), por medio de
diagramas de Venn:
a) ~(A - B)  C = ~(A  C) - B b) A  (B  C) = (A  B)  (A  C)
c) (A  C)  B = B  C d) A - (B  C) = A - (A  B  C)
35.  Siendo U = {a,b,c,…,x,y,z}, A = {a,b,c} y C = {a,b,d,e}.

Si |AB|=2 y (AB)  B  C, determine B.
36.  Se define como diferencia simétrica de conjuntos (simbolizada por  o por ), a la
operación que aplicada a dos conjuntos A y B, genera el conjunto de todos los
elementos que pertenecen a A y a B, pero no a ambos. Defina estrictamente la
operación y dibuje su diagrama de Venn.
Ing. en Sistemas de Información Unidad 4 - Guía de Ejercicios Resueltos - Año 2020
Unidad 4: Conjuntos
1) Reescriba las siguientes declaraciones usando la notación de conjuntos:

Solución
a) El elemento 5 es un miembro de B. a) 5  B
b) A es un subconjunto de C. b) A  C
c) F contiene todos los elementos de G. c) G  F
3) Defina por comprensión los conjuntos A y B.
Solución
A es el conjunto de los números enteros cuyos cuadrados es igual a 1.
A = { x / x  Z  x2 = 1 } ó A = { x  Z / x2 = 1 }
B es el conjunto de los números naturales mayores que 2, y que no superan a 6.

B={x/xN2<x≤6} ó B={xN/2<x≤6}
5) Enumere los elementos de los siguientes conjuntos; aquí N = 0,1,2,3,…..

A = x / x  N, 3 < x < 12
D = x / x  N, x es un múltiplo de 3
Solución
A= {4,5,6,7,8,9,10,11}
D={0,3,6,9,12,15,18,21,24,,…}
10) Verifique, utilizando Diagrama de Venn, si se cumple la siguiente igualdad:
B B
A A
Solución
A - B  A  B
C C
11) Sea U ={ 0,1,2,3,4,5,6,7,8,9 } A = { 1,4,7,9 } B = { 1,2,3,4,5 } C = { 2,4,6,8 }
Página 1
Determine los elementos de los siguientes conjuntos:

a) B  U b) B  (C - A) c) (A  B)  C
Solución
a) B  U = {1,2,3,4,5}
b) (C - A) = {2,6,8} B  (C - A) = {2}
c) (A  B) = {1,4} (A  B)  C = {1,2,4,6,8}
19) Para A ={ 1, 2, {2}}. ¿Cuáles de las 8 proposiciones del ejercicio anterior son
verdaderas?
Solución
a) 1  A V e) {2}  A V
b) {1}  A F f) {2} A V
c) {1}  A V g) {{2}}  A V
d) {{1}}  A F h) {{2}}  A V
20) Dados los conjuntos:

A = { 2, 3, 4, 5}, B = {x / xN  x es par} y C = {1, 2, 3, 4, 5, 6, 7, 8, 9}
a) El conjunto A es un subconjunto de B? Justifique.
b) El conjunto A es un subconjunto propio de C? Justifique.
Solución
a) El conjunto A no es un subconjunto de B, ya que 3A y, como B está formado
por todos los números pares, 3B.
b) El conjunto A si es un subconjunto propio de C. Cada elemento de A pertenece a
C, por lo que A  C. Por outra parte, 1C pero 1A. Entonces A  C.
22) Dado el conjunto B = {1, 2, 3}…

b) Determine la clase N que es la clase de los subconjuntos de B que contienen el
número 3 y un elemento más de B.
Página 2
Solución

M = {{1, 2},{1, 3},{2, 3}}
Los elementos de M son los conjuntos {1, 2}, {1, 3} y {2, 3}.
b) Determine la clase N que es la clase de los subconjuntos de B que contienen
el número 3 y un elemento más de B.
N = {{1, 3}, {2, 3}}
Los elementos de N son los conjuntos {1, 3} y {2, 3}.
Así N es una subclase de M, ya que todo elemento de N es también elemento
de M.
28) Dado el conjunto B = {1,2,3}, determinar cual es el conjunto Potencia de B, que se

denota por P (B). Observar que P(B) tiene 23 elementos.
Solución
Si B = {1, 2, 3}, entonces:
P (B) = {Ø, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, B}
Observe que el conjunto vacío pertenece a P(B) y que P(B) tiene 8 elementos.
Si B, es finito entonces P (B) tiene 2n(B) elementos en donde n(B) es la cardinalidad
del conjunto B o lo que es lo mismo el número de elementos de B en este caso n(B)=3
por lo tanto 23=8 que es la cardinalidad de P (B), el conjunto potencia de B.
32) Dados los conjuntos A = {1,2}, B = {x, y, z} y C = {3, 4} determine el producto

cartesiano de:
a) A x B x C
Solución
A x B x C consta de todas las ternas ordenadas (a, b, c) donde a A, b B y c C.
Las ternas ordenadas son 12.
A x B x C = {(1,x,3), (1,x,4), (1,y,3), (1,y,4), (1,z,3), (1,z,4), (2,x,3), (2,x,4), (2,y,3),
(2,y,4), (2,z,3), (2,z,4)}
Página 3
35) Siendo U = {a,b,c,…,x,y,z}, A = {a,b,c} y C = {a,b,d,e}.

Si |AB|=2 y (AB)  B  C, determine B.
Solución
En base al enunciado, el conjunto B puede adoptar 2 definiciones diferentes,
B = { a, b, d } ó B = { a, b, e }
36) Se define como diferencia simétrica de conjuntos (simbolizada por  o por ), a la
operación que aplicada a dos conjuntos A y B, genera el conjunto de todos los
elementos que pertenecen a A y a B, pero no a ambos. Defina estrictamente la
operación y dibuje su diagrama de Venn.
Solución
Hay varias soluciones para el planteo anterior, algunas de estas son:
1. A  B = ( A – B )  ( B – A )
2. A  B = ( A  𝐁
̅)(B𝐀
̅) A B
3. A  B = ( A  B ) – (A  B )
4. A  B = ( A  B )  ( 𝐀 𝐁)
̅̅̅̅̅̅̅̅
U
Página 4
Facultad Regional Córdoba Guía de Ejercicios a Resolver Año 2020
Unidad N° 5
Relaciones y Funciones
1. Sea A = {1, 2, 3} y sea R = {(1,1), (2,1), (3,2), (1,3)} una relación sobre A (relación
de A en A).
a)  Determine si las siguientes declaraciones son verdaderas o falsas:
a) 1 R 1 b) 1 R 2 c) 2 R 3
d) 2 R 1 e) 3 R 2 f) 3 R 1
b) Represente la relación a través de gráfico cartesiano, matriz y digrafo.
2.  Dado A = {1, 2, 3, 4} y B = {x, y, z}. Considere la siguiente relación de A en B:

R = {(1,y), (1,z), (3,y), (4,x), (4,z)}
a)  Determine el alcance, rango, dominio e imagen de R
b) Grafique R en un diagrama de coordenadas de AxB
c) Determine la matriz de la relación.
d) Dibuje el diagrama de Venn o diagrama de flechas de R
e) Encuentre la relación inversa R-1 de R. Represéntela a través de un diagrama de
Venn.
3.  Sea M={a,b,c,d} y sea R la relación en M que consta de aquellos puntos que se

muestran en el diagrama de coordenadas de MxM,
a) Encuentre todos los elementos de M que están
relacionados con b; o sea, {x:(x,b)  R}
b) Encuentre todos los elementos de M con los cuales
está relacionado d; o sea, {x:(d,x)  R}
c) Determine la relación R.
d) Encuentre la relación inversa R-1
Página 1
4. Siendo R y S las siguientes relaciones en el conjunto A = {1, 2, 3}

R = {(1,1), (1,2), (2,3), (3,1), (3,3)} S = {(1,2), (1,3), (2,1), (3,3)}
Encuentre:
a) R  S __________________________________________________________
b) R  S __________________________________________________________
c) R ____________________________________________________________
d) S _____________________________________________________________
e) R – S ___________________________________________________________
f) S – R ___________________________________________________________
5. Sea R la relación sobre A = {1, 2, 3, 4} definida como “x es menor que y”, esto es, R
es la relación <.
a) Escriba R como conjunto de pares ordenados.
b) Determine el alcance, rango, dominio e imagen de R
c) Represente la relación por fórmula y matriz.
d) Grafique la relación a través de un digrafo y gráfico cartesiano.
e) Encuentre la relación inversa R-1 de R.
6. Sea S la relación sobre el conjunto de Z+ de los enteros positivos definida por la

ecuación x+3y=13.
a) Represente la relación por fórmula.
b) Escriba S como conjunto de pares ordenados.
c) Determine el alcance, rango, dominio e imagen de S
d) Encuentre la relación inversa S-1 de S.
e) Grafique S y S-1 en el mismo diagrama de coordenadas, junto la relación
R={(x,y) / y = x }, y observe. ¿Qué puede comentar al respecto?
7. Dada la siguiente relación sobre el conjunto de los números enteros Z:

R = {(-3,-27), (-2,-8), (-1,-1), (0,0), (1,1), (2,8), (3,27)}
a) ¿Cuál es el alcance, rango, dominio e imagen de la relación?
b) Represente la relación por fórmula y tabla.
c) Grafique la relación en un gráfico cartesiano.
d) Encuentre la relación inversa R-1 de R.
Página 2
8. Sea R la relación que se establece entre un país de América del Sur integrante del
Mercosur a la fecha, y su ciudad capital. Indique:
a) Determine por enumeración la relación.
b) ¿Cuál es el alcance, rango, dominio e imagen de la relación?
c) Represente la relación por tabla y matriz.
9. Sea A = {1, 2, 3, 4, 6} y sea R la relación sobre A definida por “x divide a y”

(teniendo en cuenta que el resto de este cociente es cero).
a) Escriba R como conjunto de pares ordenados.
b) Determine el dominio e imagen de R
c) Encuentre la relación inversa R-1 de R.
d) Grafique la relación a través de un digrafo.
e) Represente la relación R a través de una matriz.
10. Considere las siguientes cinco relaciones en el conjunto A = {1, 2, 3}
R = {(1,1), (1,2), (1,3), (3,3)} V = {(1,1), (2,2), (3,3)}

S = {(1,1), (1,2), (2,1), (2,2), (3,3)} AxA = la relación universal
T = {(1,1), (1,2), (2,2), (2,3)}
Determine si cada una de las relaciones anteriores es: (a) reflexiva, (b) simétrica, (c)
transitiva, (d) antisimétrica, (e) una relación de equivalencia o de orden parcial.
11. Sea R la relación sobre A={1, 2, 3, 4} definida por:

R={(1,1), (2,2), (2,3), (3,2), (4,2), (4,4)}
Demuestre que R no es ni (a) reflexiva, ni (b) transitiva, ni (c) simétrica, ni (d)
antisimétrica.
12. Sea R = {(1,1), (1,3), (3,1), (3,3)}

¿Es R una relación de equivalencia sobre A={1, 2, 3}? ¿Y sobre B={1, 3}?
13.  Dada la relación R = {(1,1), (2,2), (2,3), (3,3), (3,2), (4,2), (4,4)} sobre el conjunto
A = {1, 2, 3, 4}
a) La relación R es reflexiva? Sí  No  Porqué? __________________________
b) La relación R es simétrica? Sí  No  Porqué? ________________________
c) La relación R es transitiva? Sí  No  Porqué? __________________________
d) Qué par ordenado debería quitar para que R se convierta en una relación de
equivalencia?________
e) Qué par ordenado debería quitar para que R se convierta en una relación de orden
parcial?. ____________
Página 3
14. Dada una relación R sobre el conjunto A = {a, b, c, d, e} representada por el digrafo:
b
a
d e
c
a) Determine por enumeración la relación. ________________________________

b) Es reflexiva? por qué? ______________________________________________
c) Es simétrica? por qué? ______________________________________________
d) Es transitiva? por qué? ______________________________________________
e) Represente la relación en un diagrama cartesiano.
f) Indique los pares que sean necesarios agregar o quitar para que la relación sea de
equivalencia. _____________________________________________________
g) Indique los pares que sean necesarios agregar o quitar para que la relación sea de
orden parcial. _____________________________________________________
15.  La relación R = {(1,1), (1,2), (2,2), (2,1), (3,3)} es una relación de equivalencia
del conjunto S = {1, 2, 3}. Hallar el conjunto cociente S/R es decir, las clases de
equivalencia de R.
16. Cada una de las siguientes declaraciones definen una relación sobre el conjunto N de
los enteros positivos:
R: x es mayor que y R= ________________________________
S: x+ y = 10 S= ________________________________
T: x+ 4 y = 10 T= ________________________________
Determine si cada una de las relaciones anteriores es:

(a) reflexiva, (b) simétrica, (c) transitiva, (d) antisimétrica, (e) una relación de
equivalencia o de orden parcial.
17. Siendo R la siguiente relación de equivalencia en el conjunto A = {1, 2, 3, 4, 5, 6}

R = {(1,1), (1,5), (2,2), (2,3), (2,6), (3,2), (3,3), (3,6), (4,4), (5,1), (5,5), (6,2), (6,3), (6,6)}
Encuentre las clases de equivalencia de R, es decir, la partición de A inducida por R
o A/R.
Página 4
18.  Sea A= {a,b,c,d} y la relación de equivalencia R= {(a,a), (a,b), (a,c), (c,c), (b,b),
(b,a), (b,c), (d,d)}, hallar el conjunto cociente A|R
19. Sea B= {m,n,o,p} y la relación de equivalencia R= {(m,m), (n,n), (o,o), (p,p), (m,p),
(p,m), (n,o), (o,n)} hallar el conjunto cociente B|R
20. En los números naturales, ¿es la relación "" una relación de orden parcial?. ¿Es
además esta relación de equivalencia?. Justifique sus respuestas.
21. Siendo A={1,2,3,4}, B={a,b,c}, C={x,y,z}. Considere las siguientes relaciones, R de

A sobre B y S de B sobre C:
A B C
R S
R = {(1,b), (2,a), (2,c)} y
S = {(a,y), (b,x), (c,y), (c,z)}
Hallar la relación de composición S  R = _________________________________
22. Siendo R = {(1,2), (1,6), (2,4), (3,4), (3,6), (3,8)} una relación de X en Y y
S = {(2,u), (4,s), (4,t), (6,t), (8,u)} una relación de Y en Z, donde:
X = {1, 2, 3}; Y = {0, 2, 4, 6, 8, 10} y Z = {r, s, t, u, v}
Determinar S  R = __________________________________________________
23. Siendo R y S relaciones sobre A={1,2,3,4} dadas por:

R = {(1,1), (1,2), (3,4), (4,2)} y S = {(1,1), (2,1), (3,1), (4,4), (2,2)}
a) Determinar S  R ________________________________________________
b) Determinar R  S ________________________________________________
24. Siendo R y S relaciones no vacías en un conjunto A={1,2,3}. Determinar la verdad o

falsedad de los siguientes enunciados. En caso de ser falso, indique un
contraejemplo.
a) Si R y S son relaciones reflexivas, entonces R  S es una relación reflexiva.
b) Si R y S son relaciones simétricas, entonces R  S es una relación simétrica.
Página 5
25. Siendo R={(1,2),(1,1)(2,1),(2,2),(3,1),(3,2)} y S={(1,2),(2,2,),(3,2),(3,3),(1,3)},

relaciones transitivas sobre A={1,2,3}:
a) Determine si R  S es una relación transitiva.
b) Determine si R  S es una relación transitiva.
c) Determine si R-1 es transitiva.
26. Siendo R={(1,2),(2,1),(2,3),(3,2)} y S={(1,3),(3,1)}, relaciones simétricas sobre

A={1,2,3}:
a) Determine si R o S es una relación simétrica.
b) Determine si S o R es una relación simétrica.
27. Siendo R={(1,1),(2,2),(3,3),(1,2),(2,1),(2,3),(3,2)} y S={(1,1),(2,2),(3,3),(1,3),(3,1)},

relaciones reflexivas sobre A={1,2,3}:
a) Determine si R o S es una relación reflexiva.
b) Determine si S o R es una relación reflexiva.
28.  Indique si cada diagrama de la siguiente figura define o no una función de

A={a,b,c} sobre B={x,y,z}.
29. Indique si cada diagrama de la siguiente figura define o no una función de C={1,2,3}
sobre D={4,5,6}.
Página 6
30. Sea A el conjunto de estudiantes de un colegio. Determine cuáles de las siguientes

asignaciones definen funciones en A.
a) a cada estudiante, su edad b) a cada estudiante, el profesor
c) a cada estudiante, su sexo d) a cada estudiante, su esposa
31.  Siendo A={a,b,c,d}. Determine cuáles de los siguientes conjuntos de parejas

ordenadas es una función de A en A.
a) {(b,a), (c,d), (d,a), (c,d), (a,d)} b) {(d,d), (c,a), (a,b), (d,b)}
c) {(a,b), (b,b), (c,b), (d,b)} d) {(a,a), (b,a), (a,b), (c,d)}
32. Dada la siguiente figura escriba f como conjunto de pares ordenados.
33. Sea X={1,2,3,4}. Determine si cada una de las siguientes relaciones sobre X
(conjuntos de pares ordenados) es una función de X sobre X.
a) f = {(2,3), (1,4), (2,1), (3,2), (4,4)}
b) g = {(3,1), (4,2), (1,1)}
c) h = {(2,1), (3,4), (1,4), (2,1), (4,4)}
34.  Siendo V={1,2,3,4}. Determine si cada uno de los conjuntos de puntos en los
diagramas de coordenadas de VxV es una función de V en V.
Página 7
35.  Indique si cada diagrama de la siguiente figura define o no una función. En el caso
de ser una función, indicar si es: inyectiva, suryectiva y/o biyectiva.
d
x 1 a
e
v
y 2 b
f
z w 3 c
g
(a) (b) (c) (d)
36. Qué funciones de la siguiente figura son: (a) uno-a-uno (b) suprayectivas (c)
biyectivas. Determine, si es posible, la función inversa (f -1) en cada caso.
37. Sean las funciones f:A→B, g:B→C y h:C→D definidas en la siguiente figura.
Determine cuales de las funciones siguientes son: : (a) uno-a-uno (b) suprayectivas
(c) biyectivas. Determine, si es posible, la función inversa (f -1) en cada caso.
38. Indique si las siguientes relaciones en el conjunto de los números enteros positivos
son: reflexivas, simétricas, antisimétricas, transitivas, de orden parcial y/o de
equivalencia.
a) R = {(x,y) / y = x2} b) R = {(x,y) / y = x} c) R = {(x,y) / y = 4x}
d) R = {(x,y) / y = x3} e) R = {(x,y) / y =  x }
f) Las relaciones de los puntos anteriores, ¿son funciones?. En caso afirmativo,
analice además si son una biyección.
Página 8
g) Considerando las funciones biyectivas del punto anterior, analice sus

propiedades si aquellas estuvieran definidas en el conjunto Z (enteros positivos y
negativos). ¿Serían biyectivas?
39. Dada g = {(1,b),(2,c),(3,a)}, que es una función de X = {1,2,3} a Y = {a,b,c,d}, y

f = {(a,x),(b,x),(c,z),(d,w)}, que es una función de Y a Z = {w,x,y,z}, formule f °g
como un conjunto pares ordenados.
____________________________________________________________________
40. Sea A={1,2,3,4,5} y B={1,2}. Sea además la relación R de A en B definida por a es

múltiplo entero de b siendo aA y bB.
a) Determine alcance, rango, dominio e imagen de R.
b) Clasifique a R según sus propiedades.
c) ¿Es R una relación de equivalencia?.
d) ¿Es R una función?.
41. Sea f la función de X={0,1,2,3,4} a X definida por f(x) = 4x mod 5

a) Exprese f como conjunto de pares ordenados.
b) Es f inyectiva o suprayectiva?
c) Si es posible, determine la función inversa de f, es decir f-1
Página 9
Ing. en Sistemas de Información Guía de Ejercicios Resueltos Año 2020
Unidad 5: Relaciones y Funciones
1. Sea A = {1, 2, 3} y sea R = {(1,1), (2,1), (3,2), (1,3)} una relación sobre A (relación de
A en A).
Solución
a) Determine si las siguientes declaraciones son verdaderas o falsas:
a) 1 R 1 V b) 1 R 2 V c) 2 R 3 F
d) 2 R 1 F e) 3 R 2 V f) 3 R 1 V
2. Dado A = {1, 2, 3, 4} y B = {x, y, z}. Considere la siguiente relación de A en B:

R = {(1,y), (1,z), (3,y), (4,x), (4,z)}
a) Determine el alcance, rango, dominio e imagen de R
Solución
Alcance de R: A(R) = A = {1, 2, 3, 4}
Rango de R: R(R) = B = {x, y, z}
Dominio de R: D(R) = {1, 3, 4}
Imagen de R: I(R) = B = {x, y, z}
3. Sea M={a,b,c,d} y sea R la relación en M que consta de aquellos puntos que se

muestran en el diagrama de coordenadas de MxM,
a) Encuentre todos los elementos de M que están
relacionados con b; o sea, {x:(x,b)  R}
b) Encuentre todos los elementos de M con los cuales
está relacionado d; o sea, {x:(d,x)  R}
c) Determine la relación R.
d) Encuentre la relación inversa R-1
Solución
a) Los elementos de M relacionados con b son: (a, b), (b, b), (d, b)
b) Los elementos de M con los que está relacionado d son: (d, a), (d, b)
c) R = {(a, b), (b, a), (b, b), (b, d), (c, c), (d, a), (d, b)}
R-1 = {(b, a), (a, b), (b, b), (d, b), (c, c), (a, d), (b, d)}
Página 1
13. Dada la relación R={(1,1), (2,2), (2,3), (3,3), (3,2), (4,2), (4,4)} sobre el
conjunto A = {1, 2, 3, 4}
a) La relación R es reflexiva? Sí  No  Porqué? __________________________
b) La relación R es simétrica? Sí  No  Porqué? ________________________
c) La relación R es transitiva? Sí  No  Porqué? __________________________
d) Qué par ordenado debería quitar para que R se convierta en una relación de
equivalencia?________
e) Qué par ordenado debería quitar para que R se convierta en una relación de orden
parcial?. _______
Solución
a) La relación R es reflexiva? Sí Porque el par (x,x)  R
b) La relación R es simétrica? No Porque el par (2,4)  R
c) La relación R es transitiva? No Porque el par (4,3)  R
d) Para que R se convierta en una relación de equivalencia se debería quitar el par (4,2)
e) Para que R se convierta en una relación de orden parcial se debería quitar el par (2,3)
15. La relación R = {(1,1), (1,2), (2,2), (2,1), (3,3)} es una relación de equivalencia del
conjunto S = {1, 2, 3}. Hallar el conjunto cociente S/R es decir, las clases de
equivalencia de R.
Solución
Las clases de equivalencia son:
[1] = {1, 2} [2] = {1, 2} [3] = {3}
El conjunto cociente S/R = L = {[1], [3]}
18. Sea A= {a, b, c, d} y la relación de equivalencia R= {(a,a), (a,b), (a,c), (c,c), (b,b),
(b,a), (b,c), (d,d)}, hallar el conjunto cociente A|R
Solución
Las clases de equivalencia son:
[a]= {a,b,c} [d]= {d}
A|R= { [a], [d] } = {{a,b,c}, {d}}
Página 2
28. Indique si cada diagrama de la siguiente figura define o no una función de

A={a,b,c} sobre B={x,y,z}.
No es función No es función Sí es función
31. Siendo A={a,b,c,d}. Determine cuáles de los siguientes conjuntos de parejas

ordenadas es una función de A en A.
a) {(b,a), (c,d), (d,a), (c,d), (a,d)} b) {(d,d), (c,a), (a,b), (d,b)}
c) {(a,b), (b,b), (c,b), (d,b)} d) {(a,a), (b,a), (a,b), (c,d)}
Solución
a) Sí es función b) No es función.
bA y no es 1er elemento de ninguno de los pares
ordenados de la relación.
c) Sí es función d) No es función.
dA y no es 1er elemento de ninguno de los pares
ordenados de la relación.
34. Siendo V={1,2,3,4}. Determine si cada uno de los conjuntos de puntos en los
diagramas de coordenadas de VxV es una función de V en V.
Solución
a) No es función. b) No es función. c) Sí es función. d) No es función.
Página 3
35. Indique si cada diagrama de la siguiente figura define o no una función. En el caso
de ser una función, indicar si es: inyectiva, suryectiva y/o biyectiva.
d
x 1 a
e
v
y 2 b
f
z w 3 c
g
(a) (b) (c) (d)
Solución
Función Inyectiva Suryectiva Biyectiva

a Sí No Sí No
b Sí Sí No No
c Sí Sí Sí Sí
d Sí No No No
Página 4
Unidad N° 6
Álgebra de Boole
1. Encuentre el valor de cada una de las siguientes expresiones booleanas si los valores de
las variables booleanas a, b, c y d son 1, 1, 0 y 0, respectivamente.
a) b.c + b.c ________________________________________________________
b) a + b.c ________________________________________________________
c) a.b + c + c.d ____________________________________________________
d) a.b + b.c + c.d ___________________________________________________
e) (a.b + c.d ) + a.c + (a + c).(b + c) _____________________________________
2. Escriba el dual de cada expresión booleana:

a) (a ∗ 1) ∗ (0 + a̅) = 0 ________________________________________
b) a + a̅b = a + b ________________________________________
c) (1 + a) ∗ (b + 0) = b ________________________________________
d) a̅ ∗ (b + c̅) = (a̅ ∗ b) ∗ (a̅ ∗ c̅) ______________________________________
3. Siendo a, b y c variables booleanas, donde b toma el valor 1. Para cada una de las
siguientes expresiones booleanas, determine, si es posible, el valor de la expresión. Si
no puede determinar el valor de la expresión, encuentre entonces el número de
asignaciones de valores de a y c tales que producen el valor 1 para la expresión.
a) b + b.c + a b) a + b.c
c) b.c + a.b d) b.c + a
4. Dadas las siguientes funciones:
1. f ( a, b, c ) = ( a + b + c ) + ( a . ( b + c ))
2. f ( a, b, c ) = ( a + b . c ) . ( a . c )
3. f ( a, b, c ) = ( a + b ) . ( a . b . c ) . ( a . b )
4. f ( a, b, c, d ) = ( a + b ) . ( a . c . d )
5. f ( a, b, c, d ) = a.b + b.d + (c + d)
Construya la tabla de verdad de cada una de las funciones dadas.
1
5.  Dada la tabla de la función booleana de la derecha, determine las a b f(a,b)

expresiones canónicas, Suma de productos ∑m y Producto de sumas 0 0 1
∏M de la función. 0 1 0
1 0 1
1 1 1
a b c f(a,b,c)
6.  Dada la tabla de la función booleana de la derecha:
0 0 0 0
a) Determine la expresión canónica más conveniente de la 0 0 1 1
función. 0 1 0 0
_____________________________________________ 0 1 1 1
1 0 0 0
b) Construya el circuito combinatorio asociado. 1 0 1 0
1 1 0 0
1 1 1 1
7.  Dada la siguiente función booleana, f(a,b,c)= 𝐚 + 𝐛. 𝐜̅ encontrar la expresión FND

(Forma Normal Disyuntiva) o Suma de Productos canónicos aplicando el método
algebraico.
̅ + 𝐛̅. 𝐜̅ determinar algebraicamente
8.  Dada la siguiente función booleana, f(a,b,c)= 𝐚
la expresión canónica Producto de Sumas o FNC (Forma Normal Conjuntiva).
1. f (a,b,c) = (a + b).(a + c) 2. f (a,b,c,d) = a.d + b.c.d 3. f (a,b,c) = a.b

Determine la FND (Forma normal disyuntiva) y la FNC (Forma normal conjuntiva)
utilizando el método algebraico.
10. Dadas las funciones detalladas en el ejercicio 4:

1. f ( a, b, c ) = ( a + b + c ) + ( a . ( b + c ))
2. f ( a, b, c ) = ( a + b . c ) . ( a . c )
3. f ( a, b, c ) = ( a + b ) . ( a . b . c ) . ( a . b )
4. f ( a, b, c, d ) = ( a + b ) . ( a . c . d )
5. f ( a, b, c, d ) = a.b + b.d + (c + d)
a) Teniendo en cuenta la tabla de verdad obtenida para la función, determine las

FND (Forma normal disyuntiva) y FNC (Forma normal conjuntiva) de la misma.
b) Dibuje el circuito combinatorio asociado a la función original.
2
11.  Dada la siguiente función: f (a , b, c) = ((a.b).c).((a + c).(b + c))

a) Construya la Tabla de verdad de la función dada
b) Determine las expresiones canónicas Suma de productos Σm y Producto de
sumas ΠM de la función por el método de tabla de verdad.
c) Dibuje el circuito combinatorio que implementa la función original.
d) Determine algebraicamente las FND (Forma normal disyuntiva) y FNC (Forma
normal conjuntiva) de la función f(a, b, c) = a.(b + c)
e) Compare los resultados de los puntos b y d. Qué puede observar?. Justifique?
a b c f(a,b,c)
12.  Dada la tabla de la función booleana de la derecha: 0 0 0 0
a) Determine la Suma de productos Σm o FND de la función. 0 0 1 1
0 1 0 0
b) Determine el Producto de sumas ΠM o FNC de la función.
0 1 1 1
c) Construya el circuito combinatorio asociado a la función 1 0 0 0
obtenida en el punto a y en el punto b. 1 0 1 0
1 1 0 1
1 1 1 1
13.  Dada la siguiente función: f (a , b, c) = a.( b + c) + (a + b + c) + (a + b)
a) Construya la Tabla de verdad de la función dada.

b) Determine las expresiones canónicas, Suma de productos Σm y Producto de
sumas ΠM de la función a partir de la tabla de verdad.
14.  Para la siguiente función booleana: f(a, b, c) = (a.b + b.c).c

c) Implemente la función original con compuertas lógicas.
15.  Dada la Siguiente función: f(a, b, c) = a.( b + c) + a.b.c + (a + b)

3
16. Dado el siguiente circuito:
a b c d
a) Determine la función booleana
correspondiente al circuito.
b) Construya la Tabla de verdad de la
función obtenida en el punto a.
c) Determine las expresión canónicas más
conveniente para la función obtenida.
17. Dado el siguiente circuito: a b c
a) Determine la función booleana

correspondiente al circuito.
b) Construya la Tabla de verdad de la
función obtenida en el punto a.
c) Determine las expresión canónicas
más conveniente para la función
obtenida.
18. Dado el siguiente circuito, determinar la función booleana asociada.
1. f ( a, b, c ) = ( a . b + b . c ) . ( a . c + a . c )
2. f ( a, b, c ) = ( a + b + c ) + ( a . b . c ) + ( a . ( b + c ))
3. f ( a, b, c, d ) = (( a + c ) . d ) + ( a . b )
4. f ( a, b, c, d ) = (( a . b . c ) + d ) + b
5. f ( a, b, c ) = ( a + b ) . ( a . b . c ) . ( a . c )
4
a) Construya la tabla de verdad de la función dada.

b) Dibuje el circuito combinatorio asociado a la función original.
c) Obtenga las expresiones FND (Forma normal disyuntiva) y FNC (Forma normal
conjuntiva) de cada función.
20. En una casa se desea tener controlado el consumo de energía, para que en ningún
momento éste exceda los 3,7 kw. En la casa se tienen dos enchufes de 1 Kw cada uno
y dos enchufes de 1,5 kw cada uno.
a) Diseñar un circuito que active una alarma cuando haya exceso de consumo.
b) Confeccione la tabla de verdad e implemente con compuertas lógicas la
expresión suma de productos.
21. Un químico dispone de cuatro compuestos: A, B, C y D; potencialmente muy

peligrosos, que deben estar obligatoriamente en uno de dos recipientes disponibles.
Se busca generar una función lógica que tome el valor 1 cuando la situación sea
peligrosa, indicándose ésta mediante el encendido de una señal luminosa. La
situación se considera peligrosa si se cumple:
• A y D están juntas,
• A y B están juntas y no están con C,
Confeccione la tabla de verdad e implemente con compuertas lógicas la expresión
producto de sumas.
22. En una estantería de una biblioteca se encuentran los siguientes libros:

a) “Electrónica General Integrada”
b) “Circuitos Digitales y Microprocesadores”
c) “Fundamentos de Computadores Digitales”
d) “Arquitectura de Computadores Digitales”
Si alguien desea escoger alguno de ellos, deberá tener en cuenta las siguientes
condiciones:
a) Podrá retirar “Electrónica General Integrada” o “Arquitectura de Computadores
Digitales”, pero no ambos.
b) Podrá retirar “Fundamentos de Computadores Digitales” o “Arquitectura de
Computadores Digitales” pero no ambos.
c) Cualquier otro retiro está permitido.
Escriba una función lógica que active una señal auditiva cuando la selección de
libros no está permitida.
Confeccione la tabla de verdad e implemente con compuertas lógicas la FND (Forma
normal disyuntiva) o FNC (Forma normal conjuntiva).
5
Unidad 6 – Álgebra de Boole
5. Dada la tabla de la función booleana de la derecha, determine las a b f(a,b)

expresiones normales, Suma de productos y Producto de sumas de la 0 0 1
función. 0 1 0
1 0 1
Solución (FND) m = a.b + a.b + a.b
1 1 1
(FNC)  M = a + b
6. Dada la tabla de la función booleana de la derecha: a b c f(a,b,c)

0 0 0 0
a) Determine la forma normal más conveniente de la
0 0 1 1
función.
0 1 0 0
b) Construya el circuito combinatorio asociado. 0 1 1 1
1 0 0 0
1 0 1 0
Solución 1 1 0 0
a) Forma normal más conveniente de la función. 1 1 1 1
FND m = a.b.c + a.b.c + a.b.c
b) Circuito combinatorio asociado a la función.
a b c
7. Dada la siguiente función booleana, f(a,b,c)= 𝐚 + 𝐛. 𝐜̅ encontrar la expresión en FND

(Forma Normal Disyuntiva) aplicando el método algebraico.
Página 1
Solución
f (a,b,c) = a + b. c̅
f (a,b,c) = FND = a. 1.1 + 1. b. c̅ incorporo las variables que faltan por medio
del elemento neutro
̅
f (a,b,c) = FND = a. (b + b). (c + c̅) + (a + a̅). b. c̅ Ley del Complemento
̅ ̅
f (a,b,c) = FND = a. b. c + a. b. c̅ + a. b. c + a. b. c̅ + a. b. c̅ + a̅. b. c̅ Prop. Distributiva
̅ . c + a. b
f (a,b,c) = FND = a. b. c + a. b. c̅ + a. b ̅ . c̅ + a̅. b. c̅ Idempotencia
8. Dada la siguiente función booleana, f(a,b,c)= a ̅ . c̅ determinar algebraicamente la

̅+b
FNC (Forma Normal Conjuntiva).
Solución
F(a, b, c) = a + b.c
F(a, b, c) = FNC = (a + b).(a + c) Aplicamos distributiva para pasar a FC
F(a, b, c) = FNC = (a + b + 0).(a + 0 + c)
Incorporo las variables que faltan por medio del neutro
F(a , b, c) = FNC = (a + b + (c.c)).(a + ( b.b) + c)
F(a , b, c) = FNC = (a + b + c).(a + b + c).(a + b + c)
11. Dada la siguiente función:

f (a , b, c) = ((a.b).c).((a + c).(b + c))
a) Construya la Tabla de verdad de la función dada
b) Determine las formas normales disyuntivas Σm y conjuntivas ΠM de la función
por el método de tabla de verdad.
d) Determine algebraicamente las FND (Forma normal disyuntiva) y FNC (Forma
normal conjuntiva) de la función: f(a, b, c) = a.(b + c)
e) Compare los resultados de los puntos b y d. Qué puede observar?. Justifique?
Solución
Página 2
b) FND = m = a.b.c + a.b.c + a.b.c
FNC =  M = (a + b + c).(a + b + c).(a + b + c).(a + b + c).(a + b + c)
c) Circuito combinatorio asociado a la función.
a b c
d) f(a, b, c) = a.(b + c)
FND =  m = a.b.1 + a.c.1

FND =  m = a.b.(c + c) + a.c.( b + b)
FND =  m = a.b.c + a.b.c + a.b.c + a.b.c
FND =  m = a.b.c + a.b.c + a.b.c
FNC =  M = (a + 0 + 0).(0 + b + c)
FNC =  M = (a + b.b + c.c).(a.a + b + c)
FNC =  M = (a + b + c).(a + b + c).(a + b + c).(a + b + c).(a + b + c)
12. Dada la tabla de la función booleana de la derecha:

a) Determine la Suma de productos Σm o FND de la función. a b c f(a,b,c)
0 0 0 0
b) Determine el Producto de sumas ΠM o FNC de la función.
0 0 1 1
c) Construya el circuito combinatorio asociado a la función 0 1 0 0
obtenida en el punto a y en el punto b. 0 1 1 1
Solución 1 0 0 0
1 0 1 0
a) La FND o Suma de Productos es: 1 1 0 1
f(a,b,c) = a.b.c + a.b.c + a.b.c + a.b.c 1 1 1 1
b) La FNC o Producto de Sumas es:
f(a,b,c) = (a + b + c).(a + b + c).(a + b + c).(a + b + c)
Página 3
c) Circuito combinatorio asociado a la función obtenida en el punto a y b.

a b c
13. Dada la siguiente función: f (a , b, c) = a.( b + c) + (a + b + c) + (a + b)

b) Determine las formas normales disyuntiva Σm y conjuntiva ΠM de la función a
partir de la tabla de verdad.
Solución
a)
b) (FND) m = a.b.c + a.b.c + a.b.c
(FNC) M = (a + b + c).(a + b + c).(a + b + c).(a + b + c).(a + b + c)
Página 4
a b c
14. Para la siguiente función booleana: f(a, b, c) = (a.b + b.c).c

b) Determine las expresiones normales, Suma de productos Σm y Producto de
Solución
a)
A B
a b c a b c a.b b.c b.c A+B f(a,b,c)

0 0 0 1 1 1 0 0 1 1 1
0 0 1 1 1 0 0 0 1 1 0
0 1 0 1 0 1 0 0 1 1 1
0 1 1 1 0 0 0 1 0 0 0
1 0 0 0 1 1 1 0 1 1 1
1 0 1 0 1 0 1 0 1 1 0
1 1 0 0 0 1 0 0 1 1 1
1 1 1 0 0 0 0 1 0 0 0
b) FND = a.b.c + a.b.c + a.b.c + a.b.c
FNC = (a + b + c).(a + b + c).(a + b + c).(a + b + c)
c) Implemente la función a b c
original con compuertas
lógicas.
Página 5
15. Dada la Siguiente función: f(a, b, c) = a.( b + c) + a.b.c + (a + b)

b) Determine las expresiones normales, Suma de productos Σm y Producto de
Solución
a)
b) FND = m = a.b.c + a.b.c + a.b.c + a.b.c + a.b.c + a.b.c + a.b.c

FNC = M = a + b + c
Teniendo en cuenta la expresión simplificada de la función original:
f(a,b,c) = a+b+c podríamos obtener la FND o Suma de productos, completando
algebraicamente…
f(a,b,c) = a + b + c = a.1.1 + 1.b.1 + 1.1.c
FND = m = a.(b + b).(c + c) + (a + a ).b.(c + c) + (a + a ).(b + b).c
FND = m = a.b.c + a.b.c + a.b.c + a.b.c + a.b.c + a.b.c + a.b.c + a.b.c + a.b.c + a.b.c + a.b.c + a.b.c
FND = m = a.b.c + a.b.c + a.b.c + a.b.c + a.b.c + a.b.c + a.b.c
c) a
Página 6
Unidad N° 7
Grafos y Árboles
Grafos
1. Dibuje el diagrama del grafo G con:

a) nodos a, b, c, d y segmentos {a,b}, {a,c}, {b,c} ,{b,d}, {c,d};
b) nodos a, b, c, d, e, y segmentos {a,b}, { a , c } , { b , c}, {d,e}.
c) ¿Cuál de los grafos es conexo, si alguno lo es?
2.  Considerando el grafo de la figura, determine si las siguientes sucesiones, que

comienzan en el nodo P4 y terminan en el nodo P6, son:
a) camino, sendero y/o trayectoria
a. (P4, P1, P5, P2, P6) P1 P2 P3
b. (P4, P1, P5, P2, P3, P5, P6)
c. (P4, P1, P2, P5, P1, P2, P3, P6)
P4 P5 P6
d. (P4, P1, P5, P3, P6)
b) Defina la trayectoria de distancia mínima para el grafo entre P4 y P6
c) Defina un ciclo teniendo en cuenta que V 0 = P4
3. Considerando el grafo de la figura, encuentre el grado de cada nodo y verifique el

teorema enunciado (La suma de los grados de los vértices de un grafo es igual a
dos veces el número de aristas).
_______________________________________________
_______________________________________________
4. Considerando el grafo de la figura, Encuentre: a b c
a) todas las trayectorias del nodo a al nodo f,

b) todos los senderos de a a f,
c) la distancia entre a y f.
d e f
1
5. Considere el grafo del ejercicio anterior G(N,S).

a) Grafique el subgrafo de G definido por N’={a,b,c,e,} y S’={{a,b}, {b,e}, {e,c}}.
G’(N’,S’)
b) Indique el grado de los nodos de G’.
c) El subgrafo G’ verifica el teorema enunciado en el ejercicio 3?
6. Sea G el grafo de la Figura. Determine si cada una de las sucesiones de aristas

siguientes forman un camino:
A B C
a) {A,X},{X,B},{C,Y},{Y,X}
b) {A,X},{X,Y},{Y,Z},{Z,A}
c) {X, B}, {B, Y}, {Y, C}
d) {B,Y},{X,Y},{A,X} X Y Z
7. Determine si cada uno de las siguientes sucesiones de nodos es:

a) camino cerrado, b) sendero, c) trayectoria, d) ciclo o e) ninguno A
a.- B,A,X,C,B b.- X,A,B,Y B C

c.- B,X,Y,B d.- B,A,X,C,B,Y
e.- X,C,A,B,Y f.- X,B,A,X,C
X Y
8. Cuáles de los grafos de la siguente figura son:

(a) Grafos//Multigrafo
(b) Grafos conexos
(c) Grafos libres de lazos.
9.  Hay cinco PCs que se quieren interconectar en forma directa tal que: PC2 se conecte
con todas las otras; PC1 y PC4 estén conectadas entre ellas; PC5 se conecta con PC1 y
PC3 y, finalmente PC4 debe también estar conectada con PC3.
a) Modele con un grafo no dirigido esta información.
b) Encuentre y exprese un ciclo. _______________________________________
c) Encuentre y exprese una trayectoria entre PC1 y PC5 de longitud 4.
d) Cuál es la longitud de la trayectoria más larga entre PC4 y PC5? ___________

Detalle la trayectoria. ____________________________________________
e) ¿El grafo es conexo? Justifique. _____________________________________
f) Indique el grado de cada vértice del grafo. _____________________________
2
10. Sea G el grafo no dirigido de la figura, ¿Cuántos a

subgrafos conexos de G tienen cuatro nodos e incluyen G
un ciclo?
11. Para el grafo de la figura, determine:

a) un camino de b a d que no sea un
sendero;
b) un sendero de b a d que no sea una
trayectoria;
a
c) una trayectoria de b a d
d) un camino cerrado de b a b que no sea
un circuito;
e) un circuito de b a b que no sea un ciclo; y, un ciclo de b a b.
f) ¿cuántas trayectorias existen de b a f?
12. Sea G(N,S) el grafo no dirigido de la figura:

a) ¿Cuántas trayectorias existen en G de a a h?
b) ¿Cuántas de ellas son de longitud 5?
c) El grafo G es conexo? Justifique.
d) Dibuje el subgrafo G-e. Es conexo?
e) Dibuje el subgrafo G-b. Es conexo?
f) El grafo G tiene puntos de corte?. Identifíquelos.
13. Sea G(N,S) el grafo no dirigido de la figura:

a) Encuentre las distancias de d a los
nodos h, i, k y m de G.
b) Dibuje el subgrafo G-c. Cuántas
componentes conexas tiene?
c) El grafo G tiene puntos de corte?.
Identifíquelos.
14. Teniendo en cuenta el grafo del ejercicio 3, indique si es un grafo completo. SI - NO

Si considera que NO lo es, indique los segmentos faltantes y redibújelo.____________
3
15. Considere los grafos planteados en los ejercicios 3, 4 y 6. Responda:

a) ¿Son cada uno de ellos, grafos plano?
b) En caso afirmativo, dé el Mapa correspondiente e identifique las regiones. Es
decir, redibuje el grafo para que se vea claramente como grafo plano.
c) Verifique la fórmula de Euler.
16. Considere los grafos planteados en el ejercicio 8. Responda:

a) ¿Son cada uno de ellos, grafos plano?
b) En caso afirmativo, dé el Mapa correspondiente e identifique las regiones. Es
decir, redibuje el grafo para que se vea claramente como grafo plano.
c) Verifique la fórmula de Euler.
17. Para cada una de las figuras, determine si el grafo es o no plano. En los casos en que
el grafo es plano, verifique la fórmula de Euler.
a b a b
c d c d
e f
g h
e f
g h
C
18.  Teniendo en cuenta el grafo dirigido de la figura:
a) Encuentre el grado de entrada y salida de los D A
nodos A y E.
b) Indique, si hubiera, los sumideros y fuentes
del grafo. E
B
c) Encuentre todas las trayectorias y los senderos
de E a A. F
19. Considere el grafo dirigido de la figura y determine:

a) Número de trayectorias de X a Z y defínalas.
b) Número de trayectorias de Y a Z
c) ¿Hay fuentes o sumideros?
d) Determine la matriz MD del digrafo D.
4
20. Considere el grafo dirigido de la figura y determine:

a) ¿Hay fuentes o sumideros? Cuáles?
b) Determine la matriz MD del digrafo D.
21. Dado el siguiente grafo rotulado, determine la trayectoria de peso mínimo entre P y Q.
22. Siendo G el grafo rotulado de la figura, determine:

a) las trayectorias entre A y D.
b) la trayectoria de peso mínimo entre A y D y su peso.
c) las trayectorias entre A y C.
d) la trayectoria de peso mínimo entre A y C y su peso. D
23. Teniendo en cuenta el grafo ponderado G (N,S) de la figura,

a) Determine la distancia más corta del nodo “a”
a cada uno de los otros seis nodos de G.
b) Determine la trayectoria de peso mínimo del
nodo “a” a los nodos “c”, “f” e “i”.
c) Diga si se verifica el teorema de Euler.
Demuestre.
24.  Teniendo en cuenta el digrafo de la figura:

a) Encuentre el grado de entrada y salida de los nodos
A y F. 1
B 7
5
. F
3
.
b) Indique (si hubiera) los sumideros y fuentes E
5
8
c) Encuentre todos los senderos y trayectorias de B a F A 1
d) Busque la trayectoria de peso mínimo entre B y F. C 2 D
e) Identifique los ciclos del grafo.
5
25. Considere el grafo dirigido D de la figura

a) Encuentre los grados de entrada y de salida de cada
nodo.
b) Encuentre el número de trayectorias de v1 a v4.
c) ¿Hay fuentes y sumideros?
d) Encuentre la matriz M de D.
e) Encuentre el número de caminos de longitud 3 o menos de v1 a v3.
26. Siete ciudades a, b, c, d, e, f y g están conectadas por un sistema de autopistas como

sigue:
1. I-22 va de a a c, pasando por b;
2. I-33 va de c a d y pasa por b y continúa hacia f;
3. I-44 va de d por e hacia a;
4. I-55 va de f a b, pasando por g
5. I-66 va de g a d.
a) Use los nodos para las ciudades y las aristas dirigidas para los tramos de
autopista que las unen, y dibuje un grafo dirigido que modele esta situación.
b) Enumere las trayectorias de g a a.
c) ¿Cuál es el menor número de segmentos de autopista que tendrían que cerrarse
para interrumpir el paso de b a d?
d) ¿Es posible salir de la ciudad c y regresar a ella, visitando una sola vez las otras
ciudades?
e) ¿Cuál es la respuesta de la parte (d) si no es necesario regresar a c?
f) ¿Es posible comenzar en alguna ciudad y viajar por todas las autopistas
exactamente una vez? (Se permite visitar una ciudad más de una vez y no es
necesario regresar a la ciudad donde se inició el recorrido.)
27. Teniendo en cuenta el grafo dirigido y ponderado

G=(N,S) de la figura, determine la trayectoria de 11
peso mínimo del nodo a a los demás nodos del
grafo.
6
Árboles
28.  Dibuje árboles distintos que tengan:

a. Dos nodos. b. Tres nodos. c. Cuatro nodos. d. Cinco nodos.
29. Teniendo en cuenta el grafo conexo de la figura indique:
a b
a) El grafo es un árbol? SI - NO. Justifique.
b) Si elimina el nodo d:
c d e
i. el grafo resultante es un árbol?
SI - NO. Justifique.
f g
ii. El grafo resultante es un bosque?
SI - NO. Justifique.
h
iii. Cuántas componentes conexas tiene?
c) Si agrega la arista {e,g} ¿el grafo es un árbol? Justifique.
d) Indentifique los nodos colgantes o extremos ____________________________
e) Indentifique los nodos internos_______________________________________
f) ¿Se cumple el teorema enunciado? |N|=|S|+1 ____________________________
30. Teniendo en cuenta el grafo ponderado G (N,S) de la figura:

a) Identifique al menos 3 árboles maximales diferentes. Dibújelos.
b) Identifique y dibuje el árbol maximal minimal de G e indique su peso.
7
Árboles con raíz
31.  Teniendo en cuenta el árbol con raíz de la figura, responder a las siguientes
preguntas:
1. ¿Cuál es el nodo raíz? ______________________________________________

2. ¿Cuántos caminos diferentes de longitud 3 hay? _________________________
3. ¿La sucesión de nodos HGFBACI, es un camino? ________________________
4. ¿Cuáles nodos son los ancestros de K? _________________________________
5. ¿Cuáles nodos son los descendientes de M? ____________________________
6. ¿Cuáles nodos son hojas? ___________________________________________
7. ¿Cuál es la profundidad del nodo G? __________________________________
8. ¿Cuál es la altura del árbol? __________________________________________
9. ¿Cuál es la profundidad del nodo C? __________________________________
10. ¿Cuál es el hermano a la derecha de D? ________________________________
11. ¿Cuántos hijos tiene A? _____________________________________________
32. Considere el árbol con raíz R de la siguiente figura.
1) Identifique el camino desde la raíz R a cada uno de los nodos siguientes:

a) A _________ b) H _________ c) F _________ d) M _________
8
2) Determine el nivel de cada uno de los nodos siguientes:

a) A _________ b) H _________ c) F _________ d) M _________
3) Identifique:
a) Todos los nodos que preceden a L ___________________________________
b) Todos los nodos que siguen a A ____________________________________
c) Los hijos de B __________________________________________________
d) Los hermanos de C ______________________________________________
e) Las hojas del árbol ______________________________________________
f) Altura del árbol _________________________________________________
g) Recorrer el árbol en profundidad y en anchura _________________________
33.  Represente la siguiente expresión algebraica como un árbol binario:

a)  ((a - 6) * b) / (c - a)
b) [(( a + 7 ) * c) – (b/5)] * [ (b – a) / 7]
c) (3x – 5z)4
a(2b + c2)
34. Recorra los siguientes arboles binarios visitando todos sus nodos en profundidad y en
anchura.
a) b)
35.  Considere el árbol binario con raíz de la siguiente figura:

Identifique:
a) Todos los nodos descendientes de A ______________________
b) Los hijos de E ______________________________________
c) Los hermanos de D ___________________________________
d) Las hojas del árbol ___________________________________
e) Altura del árbol _____________________________________
f) Profundidad del nodo F _______________________________
9
g) ¿Cuántos caminos diferentes de longitud 3 hay? Identifíquelos.
h) Recorra el árbol en profundidad y anchura.
i) Redibuje el árbol con raíz en el nodo C. El nuevo árbol ¿es binario? ______
j) Redibuje el árbol con raíz en el nodo E. El nuevo árbol ¿es binario? ______
k) Dibuje el subárbol con raíz en el nodo E.
36. Teniendo en cuenta el árbol del ejercicio 31:

a) Recorra el árbol en Profundidad y en Anchura.
b) Considere el subárbol de raíz C, responda los items del ejercicio 31 y recorra el
árbol visitanto todos sus nodos en anchura y profundidad.
c) Redibuje el árbol con raíz en el nodo C.
d) Determine otros 3 subárboles del árbol dado.
37.  Sea A1 = (N1, S1) un bosque de siete árboles con |S1| = 40. ¿Cuánto vale N1?
38.  Si A2 = (N2, S2) es un bosque con |N2| = 62 y |S2| = 51. ¿Cuántos árboles determina A2?
39. Sea A1 = (N1, S1), A2 = (N2, S2) dos árboles tales que |S1| = 17 y |N1| = 2|N2|.
Determine |N1|, |N2| y |S2|.
40.  Considere el árbol binario con raíz de la siguiente figura, identifique:

a) El camino desde la raíz R hasta el nodo B.
b) Los hijos de S. R
c) Las hojas del árbol. S T

d) Profundidad del nodo Y. U V W
e) ¿Cuántos caminos diferentes de longitud 4 hay?
X Y Z
f) Identifique los caminos del punto (e)
A B
g) Identificar los recorridos en anchura y profundidad.
10
Ing. en Sistemas de Información Unidad 7 - Guía de Ejercicios Resueltos Año 2020
Unidad 7: Grafos y Árboles
2. Considerando el grafo de la figura, determine si las siguientes sucesiones, que

comienzan en el nodo P4 y terminan en el nodo P6, son:
a) camino, sendero y/o trayectoria
P1 P2 P3
a. (P4, P1, P5, P2, P6)
b. (P4, P1, P5, P2, P3, P5, P6)
c. (P4, P1, P2, P5, P1, P2, P3, P6) P4 P5 P6
d. (P4, P1, P5, P3, P6)

b) Defina la trayectoria de distancia mínima para el grafo entre P4 y P6
c) Defina un ciclo teniendo en cuenta que V 0 = P4
Solución
a) Camino: Sendero: Trayectoria:
a) (P4, P1, P5, P2, P6) No. Falta (P2, P6) No. No.
b) (P4, P1, P5, P2, P3, P5, P6) Sí. Sí. No. P5 dos veces
c) (P4, P1, P2, P5, P1, P2, P3, P6) Sí. No. El segmento No. P1 y P2 dos
P1, P2 dos veces. veces.
d) (P4, P1, P5, P3, P6) Sí. Sí. Sí.
b) La trayectoria de peso mínimo entre P4 y P6 es: (P4, P5, P6) que tiene longitud 2.
c) Hay varios ciclos definidos… uno de ellos es (P4, P1,P2,P3,P5,P4)
9. Hay cinco PCs que se quieren interconectar en forma directa tal que: PC2 se conecte
con todas las otras; PC1 y PC4 estén conectadas entre ellas; PC5 se conecta con PC1 y
PC3 y, finalmente PC4 debe también estar conectada con PC3.
a) Modele con un grafo no dirigido esta información.
b) Encuentre y exprese un ciclo.
c) Encuentre y exprese una trayectoria entre PC1 y PC5 de longitud 4.
d) Cuál es la longitud de la trayectoria más larga entre PC4 y PC5. Detalle la
trayectoria.
e) ¿El grafo es conexo? Justifique.
f) Indique el grado de cada vértice del grafo.
Página 1
Solución
a)
PC1 PC2
PC4 PC3 PC5
b) Hay muchos ciclos definidos en el grafo… uno de ellos: PC1, PC2, PC3, PC4, PC1
c) Hay 3 posibilidades: (PC1, PC4, PC2, PC3, PC5) o
(PC1, PC2, PC4, PC3, PC5) o (PC1, PC4, PC3, PC2, PC5)
d) La longitud de la trayectoria más larga entre PC4 y PC5 es: 4
y las opciones son 2: (PC4, PC1, PC2, PC3, PC5) o (PC4, PC3, PC2, PC1, PC5)
e) El grafo es conexo ya que hay una trayectoria entre dos nodos cualquiera.
f) El grado de los vértices es:
gr(PC1)= 3 - gr(PC2)= 4 - gr(PC3)= 3 - gr(PC4)= 3 - gr(PC5)= 3
18. Teniendo en cuenta el grafo dirigido de la figura: C

a) Encuentre el grado de entrada y salida de los
nodos A y E. D A
b) Indique, si hubiera, los sumideros y fuentes
del grafo.
c) Encuentre todas las trayectorias y los E
senderos de E a A. B
Solución
Teniendo en cuenta la figura:
a) ge(A)= 3 gs(A)=0 ge(E)=1 gs(E)=2
b) Sumidero A y no hay Fuentes.
c) Senderos: E,F,C,D,E,A
Trayectorias: E,A – E,F,C,A – E,F,B,A
Página 2
24. Teniendo en cuenta el digrafo de la figura:
a) Encuentre el grado de entrada y salida de los nodos

A y F. 1
B 7
5
. F
b) Indique (si hubiera) los sumideros y fuentes 1
.
E
5
c) Encuentre todos los senderos y trayectorias de B a F. 8
A 1
d) Busque la trayectoria de peso mínimo entre B y F.
C 2 D
e) Identifique los ciclos del grafo.
Solución
a) Los grados de entrada y salida correspondientes son:
ge (A) = 2 y gs (A) = 2 / ge (F)= 4 y gs (F) = 0
b) Fuentes = B, E - Sumidero = F
c) Senderos = BAF, BF, BACDF, BACDAF
Trayectorias = BF, BAF, BACDF
d) La trayectoria de peso mínimo tiene peso 5 y es BACDF
e) Identifique los ciclos del grafo: ACDA (es un único ciclo) CDAC - DACD
28. Dibujar árboles distintos que tengan:

a. Dos vértices. b. Tres vértices. c. Cuatro vértices. d. Cinco vértices.
Solución
31. Teniendo en cuenta el árbol de la figura, responder a las siguientes preguntas:
Página 3
Solución
1. ¿Cuál es el nodo raíz? El nodo A.
2. ¿Cuántos caminos diferentes de longitud 3 hay?
Hay 7: ABFG, BFGH, ACJK, CJKL, CJKM, AENP, AENQ.
3. ¿La sucesión de nodos HGFBACI, es un camino?
No. Por ejemplo H no es padre de G.
4. ¿Cuáles nodos son los ancestros de K? ACJ.
5. ¿Cuáles nodos son los descendientes propios de M? Ninguno.
6. ¿Cuáles nodos son hojas? HILMDPQ.
7. ¿Cuál es la altura del nodo G? Altura 3.
8. ¿Cuál es la altura del árbol? Altura 4.
9. ¿Cuál es la profundidad del nodo C? Profundidad 1.
10. ¿Cuál es el hermano a la derecha de D? E.
11. ¿Cuántos hijos tiene A? Tiene 4 hijos: BCDE.
33. Represente la siguiente expresión algebraica como un árbol binario
a) ((a - 6) * b ) / (c - a)
Solución
35. Considere el árbol binario con raíz de la siguiente figura:

Identificar:
a) Todos los nodos descendientes de A
b) Los hijos de E
c) Los hermanos de D
d) Las hojas del árbol
e) Altura del árbol
f) Profundidad del nodo F
g) Cuántos caminos diferentes de longitud 3 hay? Identifíquelos.
Página 4

i) Redibuje el árbol con raíz en el nodo C. El nuevo árbol es binario?
j) Redibuje el árbol con raíz en el nodo E. El nuevo árbol es binario?
Solución
a) Todos los nodos descendientes de A (C,D,F,I)

b) Los hijos de E (G,H)
c) Los hermanos de D (C)
d) Las hojas del árbol (I,D,G,H)
e) Altura del árbol (4)
f) Profundidad del nodo F - 3
g) Cuántos caminos diferentes de longitud 3 hay? 4 Caminos
RACF - ACFI - RBEG - RBEH
Profundidad: RACFIDBEGH
Anchura: RABCDEFGHI
i) Redibuje el árbol con raíz en el nodo C. El nuevo árbol es binario? SI
j) Redibuje el árbol con raíz en el nodo E. El nuevo árbol es binario? NO
37. Sea A1 = (N1, S1) un bosque de siete árboles con |S1| = 40. Cuánto vale N1?
Solución
El teorema 6.3b enuncia que en cualquier árbol la cantidad de nodos es igual a la cantidad
de aristas más 1.
Por lo que en los 7 árboles se verifica que |N1.i| = |S1.i| +1 para i = 1…7
Luego la cantidad total de aristas es: |S1| = |S1.1|+|S1.2|+|S1.3|+|S1.4|+|S1.5|+|S1.6|+|S1.7| = 40
Y la cantidad total de nodos en el arbol es |N1| = |S1| +1
Reemplazando nos queda que
|N1| = (|S1.1|+1) +(|S1.2|+1) +(|S1.3|+1) +(|S1.4|+1) +(|S1.5|+1) +(|S1.6|+1) +(|S1.7|+1)
|N1|= |S1| + 7
|N1|= 40 +7 cantidad de árboles
|N1|= 47
Rta: La cantidad total de nodos en el bosque es 47.
Página 5
38. Si A2 = (N2, S2) es un bosque con |N2| = 62 y |S2| = 51. ¿Cuántos árboles determina A2?
Solución
Nuevamente aplicamos el teorema 6.3b. |N|= |S| +1

En el bosque se verifica |N2|= |S2| + x cantidad de árboles
Despejando nos queda |N2| - |S2| = x
62 – 51 = 11 Rta: A2 determina 11 árboles
40. Considere el árbol binario con raíz de la siguiente figura, identifique:
Solución
R
a) El camino desde la raíz R hasta el nodo B:
S T
RTWZB
b) Los hijos de S: U y V U V W
c) Las hojas del árbol: A, Y, V, B X Y Z
d) Altura del nodo Y es 3 A B

e) Cuántos caminos diferentes de longitud 4 hay? 2
f) Identifique los caminos del punto e): R S U X A y R T W Z B
g) Identificar los recorridos en
Anchura: R S T U V W X Y Z A B
Profundidad: R S U X A Y V T W Z B
/////////////////////////////////////////////////////////////
Bibliografía utilizada para la Guía de Ejercicios a resolver y resueltos
• Grimaldi, Ralph P. MATEMÁTICAS DISCRETAS Y COMBINATORIA. 1998 3ra

Edición. Editorial ADDISON-WESLEY IBEROAMERICANA. USA
• Lipschutz, Seymour y Lipson Marc. 2000 PROBLEMAS RESUELTOS DE
MATEMÁTICA DISCRETA Serie Schaum. 2004. Edit. McGRAW-HILL. España
• Lipschutz, Seymour y Lipson Marc. MATEMÁTICAS DISCRETAS Serie Schaum.
2009 3° Edición. Edit. McGRAW-HILL. México
Página 6

MAD2022 Practico

Cargado por

Información del documento

Título original

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

MAD2022 Practico

Cargado por

Copyright:

Formatos disponibles

Universidad Tecnológica Nacional – FRC

Ingeniería en Sistemas de Información

Guía de Ejercicios a Resolver

Confección, análisis y selección de ejercicios

Es la parte de la matemática encargada del estudio de los conjuntos discretos: finitos o

Objetivo de la Guía de Ejercicios

Nota: Los ejercicios señalados con el símbolo  están desarrollados en la Guía de

Teoría de los Números

2.  Calcule 8 mod 3 y 8 div 3; 15 mod 3 y 15 div 3; 11 mod 2 y 11 div 2

3.  Calcule el mcd de a = 190 y b = 34, utilizando el algoritmo de Euclides.

4.  Calcule el mcd de 689 y 234, utilizando el algoritmo de Euclides.

5.  Encuentre aplicando el algoritmo de Euclides el mcd de los siguientes pares de

6.  Escriba cada entero como un producto de potencias de primos:

7.  Encuentre el mcd de los siguientes pares de enteros mediante la factorización de

8.  Encuentre el mcm de 500 y 120 mediante la factorización de ambos en números

10. Determine, utilizando el algoritmo enunciado en el teórico, si son primos o no los

a) 40x35 b) 39x26 c) 150x55 d) 46x38

12.  Calcule el MCD y el MCM de los siguientes números:

16.  Calcule el MCD de los siguientes número, mediante el Algoritmo de Euclides:

Unidad 1: Teoría de los Números

a) m = 20, n = 3 → q=6, r=2, [ (6.3) + 2] = 20

2) Calcular 8 mod 3 y 8 div 3; 15 mod 3 y 15 div 3; 11 mod 2 y 11 div 2

3) Calcular el mcd de a = 190 y b = 34, utilizando el algoritmo de Euclides.

Siendo a = 190 y b = 34, usando el algoritmo de Euclides obtenemos:

Se divide 190 entre 34: 190 = 5 . 34 + 20

de manera que el MCD(190, 34) es 2, el último de los divisores.

4) Calcular el mcd de 689 y 234, utilizando el algoritmo de Euclides.

689 mod 234 = 221 → mcd (689,234) = mcd (234,221)

otra forma de presentarlo teniendo en cuenta el Teorema del Resto sería:

689 = 234*2 + 221

5) Encuentre aplicando el algoritmo de Euclides el mcd de los siguientes pares de

a) 369 y 900 b) 428 y 124 c) 1000 y 7550

369 / 900 428 / 124 1000 / 7550

900 / 369 124 / 56 7550 / 1000

369 / 162 56 / 12 1000 / 550

162 / 45 12 / 8 550 / 450

6) Escriba cada entero como un producto de potencias de primos:

7) Encuentre el mcd de los siguientes pares de enteros mediante la factorización de dichos

Teniendo en cuenta que: 100 = 22 x 52 x 11 y 1024= 210 el factor común es 2 y el

8) Encontrar el mcm de 500 y 120 mediante la factorización de ambos en números

Solución: mcm (120, 500) = 23 . 3. 53 = 8 . 3. 125 = 3.000

12) Calcular el MCD y el MCM de los siguientes números:

a) 18, 30, 40 y 12 e) 84, 189, 210 y 105

a) mcd(18,30,40,12) = 2 mcm(18,30,40,12) = 23 . 32 . 5 = 8 . 9 . 5 = 360

b) mcd(18,45,60,72) = 3 mcm(18,45,6,72) = 23 . 32 . 5 = 8 . 9 . 5 = 360

c) mcd(20,12,16)= 2 mcm(20,12,16) = 24 . 3 . 5 = 16 . 3 . 5 = 240

d) mcd (81,540,162,243) = 33= 27

81 / 3 540 / 2 162 / 2 243 / 3

84 / 2 189 / 3 210 / 2 105 / 3

90 / 2 315 / 3 225 / 3 40 / 3 450 / 2

Solución: Se pueden poner como máximo 30 latas por cajón.

16) Calcular el MCD de los siguientes número, mediante el Algoritmo de Euclides:

a) mcd (660,5544) b) mcd (1980,1008)

d) mcd(6930,450) e) mcd (8154,3246)

Guía de Ejercicios a Resolver

Confección, análisis y selección de ejercicios

Unidad N° 2: Lógica Matemática

1. Indique cuales de las siguientes oraciones son proposiciones lógicas.

2. Indique de las siguientes proposiciones, cuáles son simples y cuáles compuestas. En el

3. Sea p “Hace frío” y sea q “Está lloviendo”. Dé ejemplos de declaraciones verbales

5. Hallar el valor de verdad de los enunciados:

6.  Exprese en lenguaje simbólico los siguientes enunciados:

b) No es cierto que, si la computadora es una herramienta que ayuda al hombre,