Álgebra I.

525140 - DIM - CFM

15 de agosto de 2022
Profesores: Francisco Tassara, Gladis Torres,
Nicolás Sanhueza, Beatriz Vera, Fabiola Lobos,
Felipe Vargas, Nayda Guerrero

Desarrollo - Ayudantı́a - Listado 1

Lógica y Conjuntos
1. Considere las siguientes funciones proposicionales:

p(x) : x es divisible por 4.

q(x, y) : x es múltiplo de y.
r(z) : z es un número real que satisface z 2 + z − 6 = 0.
w(y) : y 2 > 4.

Determine el valor de verdad de las siguientes proposiciones:

a) p(16) (P)

Observamos que p(16) : 16 es divisible por 4, es verdadera, pues 16 = 4 · 4.

2. Sea A = {1, 2, 3, 4, 5, 6}. Escribir en lenguaje matemático y averiguar el valor de verdad de

las siguientes proposiciones (justifique). Además niéguelas:

b) Para cada elemento en A, existe un elemento diferente en A que es mayor o igual que
él. (P)

La proposición en lenguaje matemático se escribe como,

p : ∀ x ∈ A, ∃ y ∈ A : x ̸= y ∧ y ≥ x.

La proposición es falsa, si tomamos el elemento 6 ∈ A, no existe un elemento en A que

sea diferente a él y mayor o igual a él.

La negación de la proposición es,

∼ p : ∃ x ∈ A, ∀ y ∈ A : x = y ∨ y < x.

3. Escriba en castellano las siguientes proposiciones. Además determine su valor de verdad y

niéguelas:
 f) (x − y < 5 ∧ x ≥ 8) ⇒ y > 3 (P)

Castellano: Si x menos y es menor que 5 y x es mayor o igual que 8, entonces y es mayor

que 3.

Valor de verdad: Verdadera

Negación: (x − y < 5 ∧ x ≥ 8) ∧ y ≤ 3

4. Considere los conjuntos

A = {n ∈ N : n ≤ 100} ,
B = {z ∈ Z : −10 ≤ z ≤ 10} ,
C = {2, 4, 6, 8} .

Determine el valor de verdad de cada una de las siguientes proposiciones (justifique):

a) ∃ n ∈ A , 2n = n2 (P)

Verdadera, existe n = 2 ∈ A tal que 22 = 22 .

b) ∃! n ∈ A , ∀ z ∈ B , n + z > 0 (P)

Falso. Si tomamos n = 20, tenemos z > −20, para todo z ∈ B lo cual es verdad.
Luego, con n = 21, se cumple que z > −21, para todo z ∈ B.

5. Escriba la contrarrecı́proca de los siguientes condicionales:

Recuerde que la contrarecı́proca de A ⇒ B es ∼ B ⇒ ∼ A

a) ∼ p ⇒ (q∧ ∼ r) (P)

La contrarecı́proca: ∼ (q∧ ∼ r) ⇒∼ (∼ p) lo que es equivalente a (∼ q ∨ r) ⇒ p.

e) “Si tengo tiempo y no estoy cansado, iré al cine”. (P)

La contrarecı́proca: “Si no voy al cine, entonces no tengo tiempo o estoy cansado”.

Nota: Recuerde utilizar las Leyes de De Morgan cuando corresponda.

4. Considere como universo el conjunto de los números reales. Además, considere:

A = {y ∈ Z : y = x + 3 ∧ −5 ≤ x < 5} ,
B = {x ∈ R : (x + 3)(x − 2) = 0} ,
C = {q ∈ Z : q = 2k + 1, k ∈ Z} .

Determine A ∩ B, B ∩ C c , A − C y C − B .
7 (P) Si el universo es el conjunto de los números reales y se definen los conjuntos

A = {x ∈ R : (x − 2)(x + 2) = 0} ,
B = {x ∈ Z : −5 < x < 5} ,
C = {x ∈ N : x < 7} .

Determine: B ∪ C, Ac ∩ C y A − B c .

Los conjuntos se pueden escribir por extensión,

A = {−2, 2} ,
B = {−4, −3, −2, −1, 0, 1, 2, 3, 4} ,
C = {1, 2, 3, 4, 5, 6} .

De esta forma, podemos obtener,

B ∪ C = {x ∈ R : x ∈ B ∨ x ∈ C} = {−4, −3, −2, −1, 0, 1, 2, 3, 4, 5, 6} ,

Ac ∩ C = {x ∈ R : x ∈
/ A ∧ x ∈ C} = {1, 3, 4, 5, 6},

A − B c = {x ∈ R : x ∈ A ∧ x ∈
/ B c } = {x ∈ R : x ∈ A ∧ x ∈ B} = {−2, 2}.

8. Sea
A =] − ∞, −3], B =] − 7, 7[, C = [0, 5], D =]7, +∞[ y E = [1, 10[.

Calcule:

f) D − E = [10, +∞) (P)

i) Ac ∩ Dc = (−3, 7] (P)

9. Suponga que

A = {2, 4, 6, 8},
B = {1, 2, 3, 4, 5, 6, 7, 8, 9},
C = {x : x es un número entero positivo par menor que 10},

Determine si las siguientes proposiciones son verdaderas o falsas, justifique:

b) B ⊆ A (P)

Falsa, porque no todos los elementos de B pertenecen a A, por ejemplo el elemento

1.

h) A = C (P)
 Verdadera, porque los conjuntos A y C, tienen exctamente los mismos conjuntos;
C = {2, 4, 6, 8}.

10. Indicar si las siguientes afirmaciones son verdaderas o falsas. Justifique su afirmación:

b) 3 ∈ {3} (P)

Verdadera, porque 3 es un elemento de {3}.

e) {2, 3} = {3, 2} (P)

Verdadera, ambos conujuntos tienen los mismos elementos.

g) {a, b} ⊆ {a, {a, b} , b} (P)

Verdadera, como a y b son elementos de {a, {a, b} , b}, entonces {a, b} ⊆ {a, {a, b} , b}.

Nota:: Recuerde que ϕ es el conjunto vacı́o. Si A es cualquier conjunto, entonces se cumple:

ϕ⊆A ϕ∪A=A ϕ∩A=ϕ

11. (P) Considere los siguientes conjuntos.

  
3 3
A = 2+x : x∈ − ,
2 2
n z o
B = z ∈ R : z + 1 < 5, 1 ∧ ≥1
2
Encuentre un conjunto C, con 3 elementos tal que C ⊆ B \ A. Demuestre la verdad de su
respuesta.

Para poder encontrar el conjunto C que se nos pide, conviene calcular B \ A, pero para
hacer esto conviene simplificar primero la definición de A.
En realidad no cuesta mucho darse cuenta que los  elementos de A son números que se
3 3

obtienen
 3 al sumar 2 a los números del intervalo − ,
2 2
, lo cual nos arroja el intervalo:
3
 1 7
A = − 2 + 2, 2 + 2 = 2 , 2 .
Un podrı́a trabajar esto de manera más formal, aunque tal cosa no es en absoluto necesaria
si uno ya entendió lo anterior. De todas formas lo hacemos en caso que alguien haya optado
 por este método.
  
3 3
A = 2+x : x∈ − ,
2 2
   
3 3
= y : ∃x∈ − , , y =2+x
2 2
   
3 3
= y : ∃x∈ − , , x=y−2
2 2
  
3 3
= y : y−2∈ − ,
2 2
 
3 3
= y : − ≤y−2≤
2 2
 
3 3
= y : − +2≤y ≤ +2
2 2
 
1 7
= y : ≤y≤
2 2
 
1 7
= ,
2 2

Ahora podemos calcular B \ A fácilmente.

B \ A = {z : z ∈ B ∧ z ̸∈ A}
  
z 1 7
= z ∈ R : z + 1 < 5,1 ∧ ≥ 1 ∧ z ̸∈ ,
2 2 2
= {z ∈ R : z < 4,1 ∧ z ≥ 2 ∧ z ̸∈ [0,5 ; 3,5]}
= {z ∈ R : z ∈ [2 ; 4,1) ∧ z ̸∈ [0,5; 3,5]}
= {z ∈ R : z ∈ [2 ; 4,1) ∧ z ∈ (−∞ ; 0,5) ∪ (3,5 ; ∞)}
= (3,5 ; 4,1)

Debemos entonces escoger 3 elementos distintos en (3,5 ; 4,3), como no se exige nada más
de C, estos elementos pueden ser enteros, racionales o irracionales, todos sirven. Podemos
tomar por ejemplo C = {3,81 ; 4 ; 4,023}.

12. Dados n, m ∈ Z+ fijos, considere los siguientes conjuntos.

An = {x : ∃k ∈ N tal que x = nk } Bm = {k m : k ∈ N}

b) (P) Determine para qué valores de n y m se cumple que {2, 3} ⊊ An ∪ Bm , y demuestre

por qué.

Debemos determinar para qué valores de n, m ∈ Z+ se cumple que 2 ∈ An ∪ Bm , 3 ∈

An ∪ Bm y si existe y ∈ An ∪ Bm tal que y ̸∈ {2, 3}.
Entendamos mejor a los conjuntos An y Bm .
 Notemos primero que

An = {x : ∃k ∈ N tal que x = nk } = nk : k ∈ N ,


es decir,

A1 = 1k : k ∈ N = {1},


A2 = 2k : k ∈ N = {2, 4, 8, 16, . . .},



A3 = 3k : k ∈ N = {3, 9, 27, 81, . . .},



..
.

Para cada n ∈ N, An es el conjunto de las potencias de n.

Por otro lado,

B1 = 11 , 21 , 31 , . . . = N,


B2 = 12 , 22 , 32 , . . . = {1, 4, 9, 16, . . .} ,


B3 = 13 , 23 , 33 , . . . = {1, 8, 27, 64, . . .} ,



..
.

es decir, B1 es igual a N, B2 es el conjunto de los cuadrados perfectos, B3 , el de los cubos

perfectos, y ası́ sucesivamente.
Dado que para todo n ∈ N se cumple que An ∪ B1 = B1 = N, si n es un número natural
cualquiera y m = 1 se cumple que {2, 3} ⊊ An ∪ Bm .
Si m > 1, 2 ̸∈ Bm y 3 ̸∈ Bm . Por tanto, si m > 1, se cumple que {2, 3} ⊊ An ∪ Bm
si y solo si n es tal que {2, 3} ⊆ An . Dado que ninguno de los conjuntos An contiene
simultáneamente al número 2 y al número 3, si m > 1, no es posible encontrar n tal que
{2, 3} ⊊ An ∪ Bm .

13. (P) Sean A, B y C conjuntos cualesquiera. Demuestre que:

(A \ B = A) ⇒ (A ∩ B = ϕ).

Debemos demostrar que si A \ B = A (hipótesis), entonces A ∩ B = ϕ (tesis).

Veamos primero qué podemos concluir de la hipótesis de este teorema.

A \ B = A ⇔ (A \ B ⊆ A) ∧ (A ⊆ A \ B).

Notemos que la primera de las proposiciones anteriores es verdadera, independientemente

de cuáles sean los conjuntos A y B, pues

x ∈ A \ B ⇒ (x ∈ A) ∧ (x ̸∈ B) ⇒ x ∈ A.
Por tanto, lo que realmente aporta la hipótesis es:

A ⊆ A \ B. (1)

Lo que tenemos que demostrar es: A ∩ B = ϕ. Una cosa ası́ se puede demostrar por
contradicción (o reducción al absurdo). Suponemos entonces que NO es vacı́o, que SÍ hay
algo en A ∩ B. Sea x ese algo, supongamos que x ∈ A ∩ B.
Por definición de la intersección x ∈ A y x ∈ B.
Pero de (1) sabemos que si x ∈ A, entonces x ∈ A \ B, y de la definición de diferencia de
conjuntos sabemos que si x ∈ A\B, entonces x ∈ A y x ̸∈ B, lo cual es una contradicción,
x no puede estar en B y no estar en B al mismo tiempo.
Cuando llegamos a una contradicción es por que habı́amos hecho un supuesto que no es
posible. Lo que habı́amos supuesto era habı́a alguien en A ∩ B, deducimos entonces que
no hay nadie en A ∩ B, deducimos que A ∩ B = ϕ.