Unidad 3 - Resolución

Universidad Tecnológica Nacional
Facultad Regional Concepción del Uruguay
Resolución Guı́a Práctica - Unidad 3

Matemática Discreta
Dr. Carlos Antonio Casanova Pietroboni
Ing. Giovanni Daián Rottoli
Ing. Gonzalo Maximiliano Gorosito
Srta. Luisina Gras
2020
1. Predicados
1. Un zoológico tiene siete perros de color café, dos perros de color negro, seis gatos grises,
diez gatos negros, cinco pájaros azules, seis pájaros amarillos y un pájaro negro. Determine
cuáles de los siguientes enunciados son verdaderos y cuáles son falsos.
a) Hay un animal en el zoológico que es rojo. Falso

b) Todo animal en el zoológico o es un ave o es un mamı́fero. Verdadero
c) Todo animal en el zoológico es de color café, gris o negro. Falso
d ) Hay un animal en el zoológico que no es ni un gato ni perro. Verdadero
e) Ningún animal en el zoológico es de color azul. Falso
f ) Hay en el zoológico un perro, un gato y un pájaro que todos tienen el mismo color.
Verdadero
2. A cargo del alumno
3. Sea P (x) el predicado “x > x1 ”:
a) Escriba P (2), P ( 12 ), P (−1), P (− 12 ) y P (−8) e indique cuáles de estos enunciados

son verdaderos y cuáles son falsos.
P (2) : 2 > 12 Verdadero
P ( 12 ) : 12 > 2 Falso
P (−1) : −1 > −1 Falso
P (− 12 ) : − 12 > −2 Verdadero
P (−8) : −8 > − 81 Falso
b) Busque el conjunto de verdad de P (x) si el dominio de x es R, el conjunto de todos
los números reales.
(−1, 0) ∪ (1, ∞)
c) Si el dominio es el conjunto Z+ de todos los números enteros positivos, ¿cuál es el
conjunto de verdad de P (x)?
{2, 3, 4, 5, · · · }
4. A cargo del alumno.
5. Determine el conjunto de verdad de cada predicado.
a) predicado: 6/d es un entero, dominio: Z

{−6, −3, −2, −1, 1, 2, 3, 6}
b) predicado: 6/d es un entero, dominio: Z+
{1, 2, 3, 6}
c) predicado: 1 ≤ x2 ≤ 4, dominio: R
{x ∈ R|1 ≤ x ≤ 2}
d ) predicado: 1 ≤ x2 ≤ 4, dominio: Z
{1, 2}
1
7. Para los siguientes ejercicios, encuentre contraejemplos para mostrar que los enunciados
de los ejercicios del 9 al 12 son falsos.
a) ∀x ∈ R, x < 1/x
Falso, pues 1 ∈ R ∧ ¬(1 < 1)
b) ∀a ∈ Z, (a − 1)/a no es un número entero
(1−1)
Falso, pues 1 ∈ Z ∧ 1
∈Z
c) ∀ enteros positivos m y n, m · n ≥ m + n
Falso, pues 1 ∈ Z+ ∧ ¬(1 ∗ 1 ≥ 1 + 1)
√ √ √
d ) ∀ número reales x y y, x + y = x + y
√ √ √
Falso, pues x = y = 1 ∈ R ∧ 1 + 1 6= 1 + 1
9. Reescriba cada uno de las siguientes enunciados en la forma “∀ x, ”.
a) Todos los dinosaurios se extinguieron.

∀ Dinosaurio x, Extinto(x)
b) Cada número real es positivo, negativo o cero.
∀ Real x, x < 0 ∨ x = 0 ∨ x > 0
c) Ninguno de los números irracionales son números enteros.
∀ Irracional x, ¬Entero(x)
d ) Los que no son lógicos son perezosos.
∀ ilógico x, perezoso(x)
e) El número 2147581953 no es igual al cuadrado de ningún número entero.
∀ Entero x, x2 6= 2147581953
f ) El número −1 no es igual al cuadrado de cualquier número real.
∀ Real x, x2 6= −1
11. Sea D el conjunto de todos los estudiantes en la F.R.C.U. y sea AM (s) “s es un estudiante
de análisis matemático I”, sea IO(s) “s es un estudiante de investigación operativa” y sea
IA(s) “s es un estudiante de inteligencia artificial”. Exprese cada uno de los siguientes
enunciados utilizando cuantificadores, variables y los predicados AM (s), IO(s) y IA(s).
a) Hay un estudiante de inteligencia artificial que es estudiante de análisis matemático

I.
∃x ∈ D| IA(x) ∧ AM (x)
b) Cada estudiante de investigación operativa es un estudiante de inteligencia artificial.
∀x ∈ D, IO(x) → IA(x)
c) No hay estudiantes de investigación operativa que sean estudiantes de inteligencia
artificial.
∀x ∈ D, IO(x) → ¬IA(x)
2
d ) Algunos estudiantes de investigación operativa también son estudiantes de análisis
matemático I.
∃x ∈ D | IO(x) ∧ AM (x)
e) Algunos estudiantes de investigación operativa son estudiantes de inteligencia arti-
ficial y otros no.
∃x ∈ D | IO(x) ∧ (IA(x) ∨ ¬(IA(x))
13. Consulte la imagen del mundo de Tarski mostrada a continuación (extraı́da de [Epp11,
Ejemplo 3.1.13]). Sea que Arriba(x, y) signifique que x está arriba de y. (aunque posible-
mente en otra columna). Determine la verdad o falsedad de cada uno de los siguientes
enunciados. Justifique sus respuestas
a) ∀u, Cı́rculo(u) → Gris(u).

Falso, ya que Cı́rculo(b) ∧ ¬Gris(b)
b) ∀x, Gris(x) → Cı́rculo(x).
Verdadero, ya que las figuras d,f,i,k son grises y son cı́rculos.
c) ∃y tal que Cuadrado(y) ∧ Arriba(y, d).
Falso, todos los cuadrados están por debajo de d
d ) ∃z tal que T riángulo(z) ∧ Arriba(f, z).
Verdadero, ya que T riángulo(e) ∧ Arriba(f, e)
15. ¿Cuál de los siguientes enunciados es una negación para “Todos los perros son leales”?
Más de una respuesta puede ser correcta.
a) Todos los perros son desleales

b) Ningún perro es leal
c) Algunos perros son desleales
d ) Algunos perros son leales
e) Hay un animal desleal que no es un perro
f ) Hay un perro que es desleal
3
g) Ningún animal que no sea perro es leal
h) Algunos animales que no son perros son leales.
17. El lenguaje informal es en realidad más complejo que el lenguaje formal. Por ejemplo,
la frase “No hay pedidos en la tienda A del articulo B contiene la palabra hay. ¿Es un
enunciado existencial?
Es un enunciado universal.
a) Escriba una negación informal del enunciado

Hay algún pedido en la tienda A del artı́culo B que contiene la palabra hay.
b) Escriba el enunciado formal usando cuantificadores y variables
∀p ∈ P edidos , [T ienda(p, A) ∧ P ide(p, B)] → ¬ Contiene(p, hay)
19. Por cada uno de los siguientes enunciados, determine si la negación propuesta es correcta.
Si no lo es, escrı́bala correctamente.
Enunciado a) La suma de dos números irracionales es irracional

Negación a) La suma de dos números irracionales es racional
Hay por lo menos un par de números irracionales cuya suma es racional
Enunciado b) Para todo entero n, si n2 es par entonces n es par.
Negación b) Para todos los enteros n, si n2 es par entonces n no es par.
Existe algún entero n impar cuyo cuadrado es par.
21. Escriba la negación de cada uno de los siguientes enunciados
a) ∀ número real x, si x2 ≥ 1 entonces x > 0.

∃ número real x, tal que x2 ≥ 1 ∧ x ≤ 0.
b) ∀ entero d, si 6/d es un entero, entonces d = 3.
∃ entero d| 6/d es un entero o d 6= 3
c) ∀x ∈ R, si x(x + 1) > 0 entonces x > 0 o x < −1.
∃x ∈ R| x(x + 1) > 0 ∧ ¬(x > 0 ∨ x < −1)
∃x ∈ R| x(x + 1) > 0 ∧ x ≤ 0 ∧ x ≥ −1)
d ) ∀n ∈ Z, si n es primo entonces n es impar o n = 2.
∃n ∈ Z | n es primo que es par y n 6= 2
e) ∀ entero a,b y c, si a − b es par y b − c es par, entonces a − c es par.
∃ enteros a, b, c tal que (a − b) es par, (b − c) es par y (a − c) es impar
f ) ∀ entero n, si n es divisible por 6, entonces n es divisible por 2 y n es divisible por 3.
∃ entero n que es divisible por 6 y n no es divisible por dos o no es divisible por
3.
g) Si el cuadrado de un número entero es impar, entonces el entero es impar.
4
Existe un número entero par cuyo cuadrado es impar.
23. Por cada uno de los items del ejercicio 21 escriba su recı́proco, su contrarecı́proco y el
contrario. Determine el valor de verdad de cada uno de ellos. De un contraejemplo para
los falsos.
a) ∀ número real x, si x2 ≥ 1 entonces x > 0.

Recı́proco ∀ número real x, si x > 0 entonces x2 ≥ 1.
Contrarecı́proco ∀ número real x, si x ≤ 0 entonces x2 < 1.
Contrario ∀ número real x, si x2 < 1 entonces x ≤ 0.
b) ∀ entero d, si 6/d es un entero, entonces d = 3.
Recı́proco ∀ entero d, si d = 3, entonces 6/d es un entero
Contrarecı́proco ∀ entero d, si d 6= 3, entonces 6/d no es un entero
Contrario ∀ entero d, si 6/d no es un entero, entonces d 6= 3.
c) ∀x ∈ R, si x(x + 1) > 0 entonces x > 0 o x < −1.
Recı́proco ∀x ∈ R, si (x > 0 o x < −1) entonces x(x + 1) > 0
Contrarecı́proco ∀x ∈ R, si (x ≤ 0 y x ≥ −1) entonces x(x + 1) ≤ 0
Contrario ∀x ∈ R, si x(x + 1) ≤ 0 entonces x ≤ 0 y x ≥ −1.
d ) ∀n ∈ Z, si n es primo entonces n es impar o n = 2.
Recı́proco ∀n ∈ Z, si n es impar o n = 2, entonces n es primo
Contrarecı́proco ∀n ∈ Z, si n es par y n 6= 2, entonces n no es primo
Contrario ∀n ∈ Z, si n no es primo entonces n es par y n 6= 2.
e) ∀ entero a,b y c, si a − b es par y b − c es par, entonces a − c es par.
Recı́proco ∀ entero a,b y c, si a − c es par entonces a − b es par y b − c es par.
Contrarecı́proco ∀ entero a,b y c, si a − c es impar entonces a − b es impar o b − c es impar.
Contrario ∀ entero a,b y c, si a − b es impar o b − c es impar, entonces a − c es impar.
f ) ∀ entero n, si n es divisible por 6, entonces n es divisible por 2 y n es divisible por 3.
Recı́proco ∀ entero n, si n es divisible por 2 y n es divisible por 3, entonces n es divisible
por 6.
Contrarecı́proco ∀ entero n, si n no es divisible por 2 o n no es divisible por 3, entonces n no es
divisible por 6.
Contrario ∀ entero n, si n no es divisible por 6, entonces n no es divisible por 2 o n no es
divisible por 3.
g) Si el cuadrado de un número entero es impar, entonces el entero es impar.
Recı́proco Si un entero es impar entonces su cuadrado es impar.
Contrarecı́proco Si el cuadrado de un número entero es par, entonces el entero es par.
Contrario Si el cuadrado de un número entero es par, entonces el entero es par.
25. ¿La afirmación ”Todas las letras u en Matemática Discreta están en minúsculas es ver-
dadera o falsa? Justifique su respuesta.
5
Es verdadero, puesto que no hay letras u en ”Matemática Discreta”, el condicional
Letra(x, u) → M inusculas(x) es vacı́amente verdadero para toda letra en la frase.
Por tanto el enunciado cuantificado universalmente es verdadero.
27. Si la negación de un enunciado universal es un enunciado existencial, y la negación de un

condicional es una conjunción, reescriba los siguientes enunciados sin utilizar las palabras
“necesario” y “suficiente”.
a) El ser divisible por 8 no es una condición necesaria para ser divisible por 4.
Hay números divisibes por 4 que no son divisibles por 8.
b) Tener dinero no es una condición necesaria para ser feliz.
Hay personas que son felices y no tienen dinero.
c) Tener dinero no es una condición suficiente para ser feliz.
Tener dinero no te garantiza que seas feliz.
d ) Ser un polinomio no es una condición suficiente para que una función tenga raı́z real.
Algunos polinomios no tienen una raı́z real.
29. El siguiente enunciado es verdadero: ”∀ número real x, ∃ un entero n tal que n > x”(Esto
se conoce como el principio de Arquı́medes, ya que fue formulada por primera vez (en
términos geométricos) por el gran matemático griego Arquı́medes de Siracusa, que vi-
vió aproximadamente del 287 al 212 a.C.). Para cada x que se indique a continuación,
encuentre una n que haga que el predicado ”n > x”sea verdadero.
10 10
a) x = 15,83: n = 16 b) x = 108 : n = 109 c) x = 1010 : n = 1010 + 1
31. Sea D = E = {−2, −1, 0, 1, 2}. Explique por qué los siguientes enunciados son verdaderos.
a) ∀x en D, ∃y en E tal que x + y = 0
Es verdadero ya que los siguientes pares (x,y) cumplen con el enunciado:
(−2, 2), (−1, 1), (0, 0), (1, −1), (2, −2)
b) ∃x en D tal que ∀y en E, x + y = y:
Verdadero, ya que el valor x = 0 hace que el enunciado sea verdadero.
33. Sea D = E = {−2, −1, 0, 1, 2}. Escriba negaciones para cada uno de los siguientes enun-
ciados y determine cuál es verdadero, el enunciado dado o su negación.
a) ∀x en D, ∃y en E tal que x + y = 1.
∃x en D tal que ∀y en E se cumple que x + y 6= 1.
b) ∃x en D ∀y en E tales que x + y = −y.
∀x en D ∃y en E tal que x + y 6= −y
c) ∀x en D, ∃y en E tal que xy ≥ y.
6
∃x en D tal que ∀y en E xy < y
d ) ∃x en D tal que ∀y en E, x ≤ y.
∀x en D ∃y en E tal que x > y.
35. Para los siguientes ejercicios, reescriba cada frase, sin usar variables o el sı́mbolo ∀ o ∃.
Indique si el enunciado es verdadero o falso.
a) ∀ número real x, ∃ un número real y tal que x + y = 0.

Todo número real tiene un elemento opuesto.
b) ∃ número real y tal que ∀ número real x, x + y = 0.
Hay un número real que es neutro en la suma.
37. En los ejercicios mostrados a continuación, a) reescriba el enunciado formalmente con

cuantificadores y variables y b) escriba una negación del enunciado.
a) Todo el mundo ama a alguien.

∀x ∈ P ersonas ∃y ∈ P ersonas tal que Ama(x, y)
∃x ∈ P ersonas tal que ∀y ∈ P ersonas, ¬ Ama(x, y)
b) Alguien ama a todos.
∃x ∈ P ersonas tal que ∀y ∈ P ersonas, Ama(x, y)
∀x ∈ P ersonas ∃y ∈ P ersonas tal que ¬ Ama(x, y)
c) Todo el mundo confı́a en alguien.
∀x ∈ P ersonas ∃y ∈ P ersonas tal que Conf ia(x, y)
∃x ∈ P ersonas tal que ∀y ∈ P ersonas, ¬ Conf ia(x, y)
d ) Alguien confı́a en todo el mundo.
∃x ∈ P ersonas tal que ∀y ∈ P ersonas, Conf ia(x, y)
∀x ∈ P ersonas ∃y ∈ P ersonas tal que ¬ Conf ia(x, y)
e) Cualquier entero par es igual al doble de un número entero.
∀x ∈ Z, ∃y ∈ Z |P ar(x) → x = 2 ∗ y
∃x ∈ Z, ∀y ∈ Z |P ar(x) ∧ x 6= 2 ∗ y
f ) Cada acción tiene una reacción igual y opuesta.
∀x ∈ Acciones, ∃y ∈ Acciones tal que x = −y (si tomamos el módulo como la
intensidad de la relación y el signo como la dirección).
∃x ∈ Acciones tal que ∀yin Acciones, x 6= −y
g) Hay un programa que da la respuesta correcta a cada pregunta que se plantea él
mismo.
Pendiente de resolución
7
Bibliografı́a
[Epp11] Susanna S. Epp. Matemáticas discretas con aplicaciones (4a. ed.). Cengage Learning
Editores S.A. de C.V., 2011.
[Ros04] Kenneth H. Rosen. Matemática discreta y sus aplicaciones. McGraw-Hill, 2004.

Unidad 3 - Resolución

Cargado por

Copyright:

Formatos disponibles

Unidad 3 - Resolución

Cargado por

Información del documento

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

Unidad 3 - Resolución

Cargado por

Copyright:

Formatos disponibles

Universidad Tecnológica Nacional

Facultad Regional Concepción del Uruguay

Resolución Guı́a Práctica - Unidad 3

Dr. Carlos Antonio Casanova Pietroboni

Ing. Giovanni Daián Rottoli

Ing. Gonzalo Maximiliano Gorosito

Srta. Luisina Gras

a) Hay un animal en el zoológico que es rojo. Falso

2. A cargo del alumno

3. Sea P (x) el predicado “x > x1 ”:

a) Escriba P (2), P ( 12 ), P (−1), P (− 12 ) y P (−8) e indique cuáles de estos enunciados

4. A cargo del alumno.

5. Determine el conjunto de verdad de cada predicado.

a) predicado: 6/d es un entero, dominio: Z

6. A cargo del alumno

8. A cargo del alumno

9. Reescriba cada uno de las siguientes enunciados en la forma “∀ x, ”.

a) Todos los dinosaurios se extinguieron.

10. A cargo del alumno

a) Hay un estudiante de inteligencia artificial que es estudiante de análisis matemático

12. A cargo del alumno.

a) ∀u, Cı́rculo(u) → Gris(u).

14. A cargo del alumno.

a) Todos los perros son desleales

16. A cargo del alumno.

a) Escriba una negación informal del enunciado

18. A cargo del alumno.

Enunciado a) La suma de dos números irracionales es irracional

20. A cargo del alumno

21. Escriba la negación de cada uno de los siguientes enunciados

a) ∀ número real x, si x2 ≥ 1 entonces x > 0.

22. A cargo del alumno

a) ∀ número real x, si x2 ≥ 1 entonces x > 0.

24. A cargo del alumno.

26. A cargo del alumno.

27. Si la negación de un enunciado universal es un enunciado existencial, y la negación de un

28. A cargo del alumno.

30. A cargo del alumno.

32. A cargo del alumno

34. A cargo del alumno

a) ∀ número real x, ∃ un número real y tal que x + y = 0.

36. A cargo del alumno.

37. En los ejercicios mostrados a continuación, a) reescriba el enunciado formalmente con

a) Todo el mundo ama a alguien.

38. A cargo del alumno.

[Ros04] Kenneth H. Rosen. Matemática discreta y sus aplicaciones. McGraw-Hill, 2004.

También podría gustarte