Actividad 2 Cuantificadores y estructuras matemáticas

Andrés Felipe Martínez Luna.

ID. 100072805

Tomas David Perez Berrio.

Universidad Iberoamericana.

Septiembre 27 del 2022

Tutor Virtual.

Juan Nuñez.

Notas del Autor

Andrés Felipe Martínez Luna, Facultad de Ingeniería, Universidad Iberoamericana.

Correspondencia relacionada con el trabajo debe ser dirigida a Nombre de Andrés Felipe

Martínez Luna, Universidad Iberoamericana, Calle 67 # 5-27, Bogotá Colombia

amarti94@ibero.edu.co
 Actividad 2.

1. Considere los siguientes predicados con los números enteros como universo de
discurso

𝑃(𝑥 ): 𝑥 2 − 8𝑥 + 15 = 0
𝑄(𝑥 ): 𝑥 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟
𝑅 ( 𝑥 ): 𝑥 > 0

Determine la verdad o falsedad de cada una de las siguientes afirmaciones

a. ∀𝑥(𝑃 (𝑥 ) → 𝑄(𝑥 ))

Solución

Para toda 𝑥 ∈ ℤ 𝑃 (𝑥 ) es falso ya que 𝑥 2 − 8𝑥 + 15 = 0 se cumple solo para dos

números 𝑥 = 3 o 𝑥 = 5, por otro lado 𝑄 (𝑥 ) es falso por que se cumple solo para
los enteros impares, entonces la afirmación ∀𝑥(𝑃 (𝑥 ) → 𝑄(𝑥 )) es verdadera por la
tabla de verdad de la implicación.

b. ∃𝑥(𝑃(𝑥 ) → 𝑄 (𝑥 ))

Solución

Existe 𝑥 ∈ ℤ 𝑃 (𝑥 ) es verdadera ya que 𝑥 > 0 se cumple solo para dos números 𝑥 =

3 o 𝑥 = 5, por otro lado 𝑄(𝑥 ) es verdadera por que se cumple solo para los enteros
impares, entonces la afirmación ∃𝑥(𝑃(𝑥 ) → 𝑄 (𝑥 )) es verdadera por la tabla de
verdad de la implicación.

c. ∃𝑥(𝑅(𝑥 ) → 𝑃(𝑥 ))

Solución

Existe 𝑥 ∈ ℤ 𝑅(𝑥 ) es verdadera ya que 𝑥 > 0 se cumple solo para dos positivos,
por otro lado 𝑃(𝑥 ) es verdadera por que se cumple solo para los 𝑥 = 3 o 𝑥 = 5,
 entonces la afirmación ∃𝑥(𝑅(𝑥 ) → 𝑃(𝑥 )) es verdadera por la tabla de verdad de la
implicación.

d. ∃𝑥 (𝑃 (𝑥 ) → (𝑄(𝑥 ) ∧ 𝑅 (𝑥 )))

Solución

La afirmación es verdadera ya que existen número en los enteros tales 𝑥 2 − 8𝑥 +

15 = 0 y mayores que cero e impares.

e. ∀𝑥 ((𝑃(𝑥 ) ∨ 𝑄(𝑥 )) → 𝑅(𝑥 ))

Solución

f. 𝑃(𝑥 ) ∨ 𝑄(𝑥 ) es falso ya no se cumple para todos los números enteros, pero por la
tabla de verdad de la implicación la afirmación es verdadera ∀𝑥 ((𝑃(𝑥 ) ∨ 𝑄(𝑥 )) →
𝑅 (𝑥 ))

g. ∀𝑥(𝑄(𝑥 ) → 𝑃(𝑥 ))

Solución

Para toda 𝑥 ∈ ℤ 𝑃 (𝑥 ) es falso ya que 𝑥 2 − 8𝑥 + 15 = 0 se cumple solo para dos

números 𝑥 = 3 o 𝑥 = 5, por otro lado 𝑄 (𝑥 ) es falso por que se cumple solo para
los enteros impares, entonces la afirmación ∀𝑥(𝑄 (𝑥 ) → 𝑃(𝑥 )) es verdadera por la
tabla de verdad de la implicación.

h. ∃𝑥(𝑄 (𝑥 ) → 𝑃(𝑥 ))

Solución

La afirmación es verdadera ya que existen número en los enteros impares y

también existen números tales 𝑥 2 − 8𝑥 + 15 = 0.
2. Considere la relación menor < sobre el conjunto de números naturales enteros y
racionales respectivamente. Para cada una de las siguientes afirmaciones escriba en
palabras que quiere decir y decida el valor de verdad para los tres conjuntos.

a. ∀𝑥 ∃𝑦: 𝑦 < 𝑥

Solución

Para todo número natural, existe un numero natural talque ese número es menor
que el anterior, la afirmación es falsa ya que si tomamos el cero no existe un
número natural menor que cero.

Para todo número entero, existe un numero entero talque ese número es menor
que el anterior, la afirmación es verdadera ya que todo número entero tiene
sucesor.

Para todo número Racional, existe un número racional talque ese número es
menor que el anterior, la afirmación es verdadera ya que todo número racional
se cumple esa relación.

b. ∃𝑥 ∀𝑦: 𝑥 < 𝑦

Solución

Existe un número natural, para todo número natural talque ese número es
menor que el anterior, la afirmación es falsa ya que si tomamos el cero no
existe un número natural menor que cero.

Existe un número entero, para todo número entero talque ese número es menor
que el anterior, la afirmación es verdadera ya que todo número entero tiene
sucesor.

Existe un número racional, para todo número racional talque ese número es
menor que el anterior, la afirmación es verdadera ya que todo número racional
se cumple esa relación.

c. ∃𝑥 ∀𝑦: 𝑦 < 𝑥

Solución
 Existe un número natural, para todo número natural talque ese número es
menor que el anterior, la afirmación es falsa ya que si tomamos el cero no
existe un número natural menor que cero.

Existe un número entero, para todo número entero talque ese número es menor
que el anterior, la afirmación es verdadera ya que todo número entero tiene
sucesor.

Existe un número racional, para todo número racional talque ese número es
menor que el anterior, la afirmación es verdadera ya que todo número racional
se cumple esa relación.

d. ∀𝑥 ( (0 < 𝑥 ) → ∃𝑦 ((0 < 𝑦) ∧ (𝑦 < 𝑥 )))

Solución

Para todo número natural tal que cero es menor que ese número, entonces existe
otro número tal que cero es menor que dicho número y ese número es menor que
el numero anterior.
La afirmación es falsa ya cero es menor que cualquier numero natural es
verdadero pero para dos números naturales distintos no se cumple que uno sea
menor que el otro por ejemplo 1 no existe otro natura que sea menor que el, por
las tabla de verdad es falsa ya que la primera afirmación es verdadera y la
segunda es falsa

Para todo número entero tal que cero es menor que ese número, entonces existe
otro número tal que cero es menor que dicho número y ese número es menor que
el numero anterior.
La afirmación es verdadera ya cero es menor que cualquier numero entero es
verdadero y para dos números entero distintos se cumple que uno sea menor que
el otro, por las tabla de verdad es verdadera ya que la primera afirmación es
verdadera y la segunda es verdadera.

Para todo número racional tal que cero es menor que ese número, entonces existe
otro número tal que cero es menor que dicho número y ese número es menor que
el numero anterior.
La afirmación es verdadera ya cero es menor que cualquier numero racional es
verdadero y para dos números racional distintos se cumple que uno sea menor
que el otro, por las tabla de verdad es verdadera ya que la primera afirmación es
verdadera y la segunda es verdadera.
3. Considere la afirmación

∀𝑥∀𝑦 ((((𝑥 > 0) ∧ (𝑦 > 0)) ∨ ((𝑥 < 0) ∧ (𝑦 > 0))) → (𝑥𝑦 > 0))

a. Escriba en palabras el significado de la afirmación

Solución

∀𝑥∀𝑦 ((((𝑥 > 0) ∧ (𝑦 > 0)) ∨ ((𝑥 < 0) ∧ (𝑦 > 0))) → (𝑥𝑦 > 0))

Para todo 𝑥 para todo 𝑦 𝑥 es mayor que cero y 𝑦 es mayor que cero, o 𝑥 es menor
que cero y 𝑦 es mayor que cero por lo tanto el producto de 𝑥 por 𝑦 es mayor que
cero.

b. Escriba la negación, moviendo la negación delante de los cuantificadores

Solución

¬ (∀𝑥∀𝑦 ((((𝑥 > 0) ∧ (𝑦 > 0)) ∨ ((𝑥 < 0) ∧ (𝑦 > 0))) → (𝑥𝑦 > 0)))

→ ∃𝑥∃𝑦 (¬ ((((𝑥 > 0) ∧ (𝑦 > 0)) ∨ ((𝑥 < 0) ∧ (𝑦 > 0))) → (𝑥𝑦 > 0)))

→ ∃𝑥∃𝑦 (((((𝑥 > 0) ∧ (𝑦 > 0)) ∨ ((𝑥 < 0) ∧ (𝑦 > 0))) ∧ ¬(𝑥𝑦 > 0)))

→ ∃𝑥∃𝑦 (((((𝑥 > 0) ∧ (𝑦 > 0)) ∨ ((𝑥 < 0) ∧ (𝑦 > 0))) ∧ (𝑥𝑦 ≤ 0)))

4. 𝑃(𝑥 ), 𝑄(𝑥 ) son predicados sobre un universo de discurso 𝑈. Determine si para cada uno
de los siguientes pares de afirmaciones son equivalentes o si al menos una implica
lógicamente la otra.

a. (∃𝑥 𝑃(𝑥 )) ∧ (∃𝑦 𝑄(𝑦)) y ∃𝑧(𝑃(𝑧) ∧ 𝑄 (𝑧))

Solución
 ∃𝑧(𝑃(𝑧) ∧ 𝑄(𝑧)) ⟺ (∃𝑧 𝑃(𝑧)) ∧ (∃𝑧 𝑄(𝑧))

(∃𝑧 𝑃(𝑧)) ∧ (∃𝑧 𝑄(𝑧)) ⇎ (∃𝑥 𝑃 (𝑥 )) ∧ (∃𝑦 𝑄(𝑦))

Ya que 𝑥 ≠ 𝑦

b. (∃𝑥 𝑃(𝑥 )) ∨ (∃𝑦 𝑄(𝑦)) y ∃𝑧(𝑃(𝑧) ∨ 𝑄 (𝑧))

Solución

∃𝑧(𝑃(𝑧) ∨ 𝑄(𝑧)) ⟺ (∃𝑧 𝑃(𝑧)) ∨ (∃𝑧 𝑄(𝑧))

(∃𝑧 𝑃(𝑧)) ∨ (∃𝑧 𝑄(𝑧)) ⇎ (∃𝑥 𝑃 (𝑥 )) ∨ (∃𝑦 𝑄(𝑦))

Ya que 𝑥 ≠ 𝑦

5. Para cada uno de los siguientes conjuntos determina si 2 es o no elemento suyo.

a. {𝑥 ∈ 𝑅/𝑥 𝑒𝑠 𝑢𝑛 𝑒𝑛𝑡𝑒𝑟𝑜 𝑚𝑎𝑦𝑜𝑟 𝑞𝑢𝑒 1}

Solución

2 ∈ {𝑥 ∈ 𝑅/𝑥 𝑒𝑠 𝑢𝑛 𝑒𝑛𝑡𝑒𝑟𝑜 𝑚𝑎𝑦𝑜𝑟 𝑞𝑢𝑒 1}

b. {𝑥 ∈ 𝑅/𝑥 𝑒𝑠 𝑒𝑙 𝑐𝑢𝑎𝑑𝑟𝑎𝑑𝑜 𝑑𝑒 𝑢𝑛 𝑒𝑛𝑡𝑒𝑟𝑜}

Solución

2 ∈ {𝑥 ∈ 𝑅/𝑥 𝑒𝑠 𝑒𝑙 𝑐𝑢𝑎𝑑𝑟𝑎𝑑𝑜 𝑑𝑒 𝑢𝑛 𝑒𝑛𝑡𝑒𝑟𝑜}

c. {2, {2}}

Solución

2 ∈ {2, {2}}
 d. {{{2}}}

Solución

2 ∉ {{{2}}}

6. Halle el dominio y la imagen de las siguientes funciones:

a. La función que a cada par de enteros positivos le asigna el primer entero par.

Solución

El dominio es {𝑥 ∈ ℤ /𝑥 > 0}

Rango es {𝑥 ∈ ℤ /𝑥 𝑒𝑠 𝑝𝑎𝑟}

b. La función que a cada par entero positivo le asigna su mayor cifra decimal

Solución

El dominio es {𝑥 ∈ ℤ /𝑥 > 0}

Rango es {𝑥 ∈ ℤ / 𝑥 𝑒𝑠 𝑙𝑎 𝑚𝑎𝑦𝑜𝑟 𝑐𝑖𝑓𝑟𝑎 𝑑𝑒𝑐𝑖𝑚𝑎𝑙 }

c. La función que a cada entero positivo le asigna el mayor número entero menor o
igual que la raíz cuadrada del entero.

Solución

El dominio es {𝑥 ∈ ℤ /𝑥 > 0}

Rango es {𝑥 ∈ ℤ / √𝑥 𝑒𝑠 𝑒𝑙 𝑚𝑎𝑦𝑜𝑟 𝑒𝑛𝑡𝑒𝑟𝑜}

7. Determinar si estas funciones son biyecciones de 𝑅 en 𝑅.

a. 𝑓(𝑥 ) = −3𝑥 + 4

Solución

𝑓 es biyectiva ya que 𝑓 es inyectiva ya que es una función lineal, y también es

sobreyectiva porque para cada 𝑥 ∈ 𝐷𝑜𝑚(𝑓 ) existe 𝑦 = 𝑓 (𝑥 ) ∈ 𝑅𝑎𝑛𝑔𝑜 (𝑓 ). Por lo
tanto 𝑓 es biyectiva.

b. 𝑓(𝑥 ) = −3𝑥 2 + 7

Solución

𝑓 no es biyectiva puesto que 𝑓 no es inyectiva ya que

𝑓(−1) = −3(−1)2 + 7 = 4 = −3(1)2 + 7 = 𝑓(1)

Con
−1 ≠ 1

𝑥+1
c. 𝑓(𝑥 ) = 𝑥+2

Solución

𝑓 es biyectiva ya que 𝑓 es inyectiva ya que si trazamos una recta horizontal la

corta en solo punto como lo muestra la siguiente gráfica, y también es sobreyectiva
porque para cada 𝑥 ∈ 𝐷𝑜𝑚(𝑓 ) existe 𝑦 = 𝑓 (𝑥 ) ∈ 𝑅𝑎𝑛𝑔𝑜 (𝑓 ). Por lo tanto 𝑓 es
biyectiva.
d. 𝑓(𝑥 ) = 𝑥 3 + 1

Solución

𝑓 es biyectiva ya que 𝑓 es inyectiva ya que si trazamos una recta horizontal la

corta en solo punto como lo muestra la siguiente gráfica, y también es sobreyectiva
porque para cada 𝑥 ∈ 𝐷𝑜𝑚(𝑓 ) existe 𝑦 = 𝑓 (𝑥 ) ∈ 𝑅𝑎𝑛𝑔𝑜 (𝑓 ). Por lo tanto 𝑓 es
biyectiva.
 Conclusiones

Hacienda una Mirada a la Matemática básica, la representación de conjuntos agrupados por

sus principales características facilita así su uso, aplicándolo así en diferentes circunstancias
para la solución de problemas. Los conjuntos son agrupaciones de elementos dependiendo
de sus características comunes.

Los conjuntos nos sirven para tener una perspectiva más lógica y pertinente de las situaciones
problémicas de la vida. Comprender la utilidad de las operaciones entre conjuntos nos lleva
a tener una visión más amplia de los conjuntos numeritos y sus operaciones.

Los conjuntos son las reuniones de ciertos objetos que comparten características comunes,
estos objetos lo llamados elementos. Así mismo ellos se pueden representar por extensión o
por diagramas venn., también se determinan dos maneras por compresión o por extensión
donde se nombran cada uno de sus elementos que lo conforman. Entre las operaciones entre
conjunto encontramos la unión, intersección, la diferencia simétrica. De esta manera
interpretando el rasgo básico de las funciones entre conjunto construimos un conocimiento
basado en la resolución de situaciones problémicas apoyados en la teorías y operaciones entre
conjuntos.