SEMANA 1: SEPARATA 1A

NÚMEROS REALES

CONTENIDO
 Conjunto de Números Reales: Axiomas y Teoremas
 Desigualdades: Teoremas
 Ejercicios resueltos.

Números Reales (ℝ)

1. El conjunto de los números reales ℝ es la unión de los conjuntos de los
racionales y los irracionales. Es decir, ℝ = ℚ ∪ 𝕀 .
2. En ℝ existen dos operaciones: adición (+), multiplicación (∙) y las relaciones
de orden: menor que (<) y la igualdad (=).
3. Un axioma es un enunciado verdadero, evidente y que no requiere
demostración. Los axiomas constituyen una estructura sólida para las
teorías matemáticas y sus teoremas.
Axioma de los números reales
 Axiomas de adición:
A1. Axioma de clausura: Si 𝑎, 𝑏  ℝ → (𝑎 + 𝑏)  ℝ
A2. Axioma conmutativo: Si 𝑎, 𝑏  ℝ → 𝑎 + 𝑏 = 𝑏 + 𝑎
A3. Axioma asociativo: Si 𝑎, 𝑏, 𝑐  ℝ → (𝑎 + 𝑏) + 𝑐 = 𝑎 + (𝑏 + 𝑐)
A4. Neutro aditivo: ∃ 0  ℝ tal que ∀𝑎 ∈ ℝ, 𝑎 + 0 = 𝑎 = 0 + 𝑎
A5. Inverso aditivo: ∀𝑎 ∈ ℝ, 𝑎 ≠ 0, ∃ (– 𝑎) ℝ, tal que 𝑎 + (−𝑎) = 0
 Axiomas de la multiplicación
M1. Axioma de clausura: Si 𝑎, 𝑏  ℝ entonces (𝑎 ∙ 𝑏)  ℝ
M2. Axioma conmutativo: Si 𝑎, 𝑏  ℝ, entonces 𝑎 ∙ 𝑏 = 𝑏 ∙ 𝑎
M3. Axioma asociativo: Si 𝑎, 𝑏, 𝑐  ℝ → (𝑎 ∙ 𝑏) ∙ 𝑐 = 𝑎 ∙ (𝑏 ∙ 𝑐)
M4. Neutro multiplicativo: ∀𝑎 ∈ ℝ, ∃ 1 ∈ ℝ, tal que 𝑎 ∙ 1 = 𝑎 = 1 ∙ 𝑎
M5. Inverso multiplicativo: ∀𝑎 ∈ ℝ ∧ 𝑎 ≠ 0, ∃ 𝑎−1 ∈ ℝ, tal que 𝑎 ∙ 𝑎−1 = 1
D. Axioma distributivo: Si 𝑎, 𝑏, 𝑐  ℝ entonces:
𝑎 ∙ (𝑏 + 𝑐 ) = 𝑎 ∙ 𝑏 + 𝑎 ∙ 𝑐 ∧ (𝑎 + 𝑏) ∙ 𝑐 = 𝑎 ∙ 𝑐 + 𝑏 ∙ 𝑐
 UPCH CICLO REGULAR Pre Cayetano
 Axiomas de orden
O1. Axioma de tricotomía. Si 𝑎, 𝑏  ℝ se cumple una y sólo una de las
siguientes relaciones: 𝑎 > 𝑏 ∨ 𝑎 = 𝑏 ∨ 𝑎<𝑏
O2. Axioma transitivo. Si 𝑎, 𝑏, 𝑐  ℝ: 𝑎 < 𝑏 ∧ 𝑏 < 𝑐 → 𝑎 < 𝑐
O3. Axioma aditivo. Si 𝑎, 𝑏, 𝑐  ℝ: 𝑎 < 𝑏 → 𝑎 + 𝑐 < 𝑏 + 𝑐,

4. Un teorema es una proposición que admite ser demostrada. Los axiomas

antes mencionados se utilizan para la demostración de los teoremas.

Teoremas
4.2 ∀𝑎 ∈ ℝ, 𝑎 ≠ 0: 𝑎 −1 ≠ 0
4.1 ∀𝑎 ∈ ℝ: 𝑎 ∙ 0 = 0
Demostración
Demostración
Por el axioma M5:
a 0  a 0  0
Si 𝑎 ≠ 0; ∃ 𝑎−1 ∈ ℝ / 𝑎 ∙ 𝑎−1 = 1
 a  0  a  0   (a  0) 
Supongamos que 𝑎−1 = 0
 a(0  0)   (a  0) 
→ 1 = 𝑎 ∙ 𝑎−1 = 𝑎 ∙ 0 = 0
 a  0   (a  0) 
→ 1 = 0 es absurdo
0
Por lo tanto: 𝑎 ≠ 0 → 𝑎−1 ≠ 0.

4.3 ∀𝑎; 𝑏 ∈ ℝ: 𝑎𝑏 = 0 ↔ 𝑎 = 0 ∨ 𝑏 = 0

Demostración
Recuerde que el símbolo ↔ significa “si, y solo si” y para la demostración
hay que tener en cuenta la equivalencia: 𝑝 ↔ 𝑞 ≡ 𝑝 → 𝑞 ∧ 𝑞 → 𝑝
 Probemos que si 𝑎 = 0 ∨ 𝑏 = 0 → 𝑎𝑏 = 0
Esto es cierto por el teorema (4.1), así:
Si 𝑎 = 0 → 𝑎𝑏 = 0 ∙ 𝑏 = 0 ∨ Si 𝑏 = 0 → 𝑎𝑏 = 𝑏 ∙ 0 = 0
 Probemos que si 𝑎𝑏 = 0 → 𝑎 = 0 ∨ 𝑏 = 0
Por el teorema (4.2) tenemos si 𝑎 ≠ 0 → 𝑎 −1 ≠ 0.
Luego:
𝑎𝑏 = 0 → (𝑎−1 ) ∙ (𝑎𝑏) = (𝑎 −1 ) ∙ 0 → (𝑎 −1 ∙ 𝑎) ∙ 𝑏 = 0 → 1 ∙ 𝑏 = 0 → 𝑏 = 0
Análogamente se demuestre para 𝑏 ≠ 0.
Álgebra / Separata 1 Ciclo regular 2020- 1 / 2
 UPCH CICLO REGULAR Pre Cayetano
Sustracción
La sustracción de dos números reales 𝑥 e 𝑦, se define x  y  x  ( y) .
Esto significa que restar dos números es sumar a uno de ellos 𝑥 el inverso aditivo
del otro (−𝑦).
División
La división de dos números reales 𝑥 e 𝑦, con 𝑦 ≠ 0se define así: existe un único
𝑥
número 𝑧 tal que yz  x , entonces = 𝑧. Esto significa que dividir dos números
𝑦
1
es multiplicar uno de ellos 𝑥 con el inverso multiplicativo del otro ( ).
𝑦

Teorema
La división entre cero no está definida
Demostración
Consideremos la igualdad yz  x , donde “z” es único siempre que y  0 .
Supongamos que en contra de lo asumido, que con y=0 también obtenemos un
z único.
Caso 1:
Sea 𝑥 = 0, entonces yz  x  yz  0 .
Pero si 𝑦 = 0 entonces yz  0  0  z  0 ,
“z” puede ser cualquier valor para que la igualdad se cumpla y es contrario a la
unicidad de “z”.
Caso 2:
Sea x  0 entonces yz  0 , pero como 𝑦 = 0 entonces yz  0 con lo cual
llegamos a una contradicción.
Luego se concluye que en ambos casos, al suponer y=0, conduce a
contradicciones, lo que se demuestra que la división entre cero no existe.

Álgebra / Separata 1 Ciclo regular 2020- 1 / 3

 UPCH CICLO REGULAR Pre Cayetano
Desigualdades
Se define una desigualdad como una relación de comparación entre dos
números reales, para ello se utilizan los símbolos de las desigualdades.
Definiciones
 Un número real 𝑥 se llama positivo si 𝑥 > 0 y se le denomina negativo si 𝑥 < 0.
Luego, empleando la notación de conjuntos, tenemos:
Conjunto de los reales positivos: ℝ+ = {𝑥 ∈ ℝ / 𝑥 > 0}
Conjunto de los reales positivos: ℝ− = {𝑥 ∈ ℝ / 𝑥 < 0}
 La desigualdad 𝑥 ≤ 𝑦, que se lee como “𝑥 es menor o igual que y”, (o en
forma equivalente 𝑦 ≥ 𝑥) significa que: 𝑥 < 𝑦 ∨ 𝑥 = 𝑦.
 Un número real 𝒙 es mayor que otro real 𝒚 si y solo si 𝑥 − 𝑦 es positivo.
 Un número real 𝒙 es menor que otro real 𝒚 si y solo si 𝑥 − 𝑦 es negativo.

Teoremas de las desigualdades

∀ 𝑥; 𝑦; 𝑧; 𝑤 ∈ ℝ:
1. 𝑥 < 𝑦 → 𝑥 + 𝑧 < 𝑦 + 𝑧
2. Si 𝑥 < 𝑦 ∧ 𝑧 < 𝑤 → 𝑥 + 𝑧 < 𝑦 + 𝑤
3. Si 𝑥 < 𝑦 ∧ 𝑧 > 0 → 𝑥𝑧 < 𝑦𝑧
4. Si 𝑥 < 𝑦 ∧ 𝑧 < 0 → 𝑥𝑧 > 𝑦𝑧
5. ∀ 𝑥 ∈ ℝ: 𝑥 2 ≥ 0; ( 𝑥 2 = 0 ↔ 𝑥 = 0)
6. Si 0 ≤ 𝑥 < 𝑦 ∧ 0 ≤ 𝑧 < 𝑤 → 𝑥𝑧 < 𝑦𝑤
7. Si: 𝑥 e 𝑦 tienen el mismo signo, entonces 𝑥𝑦 > 0
8. Si 𝑥 e 𝑦 tienen signos diferentes, entonces 𝑥𝑦 < 0
9. 𝑥𝑦 > 0 ↔ [(𝑥 > 0 ∧ 𝑦 > 0 ) ∨ (𝑥 < 0 ∧ 𝑦 < 0)]
10. 𝑥𝑦 < 0 ↔ [(𝑥 > 0 ∧ 𝑦 < 0 ) ∨ (𝑥 < 0 ∧ 𝑦 > 0)]
11. ∀ 𝑥 ≠ 0: 𝑥 −1 tiene el mismo signo que 𝑥
12. Sean 𝑥 ≥ 0 ∧ 𝑦 ≥ 0: entonces 𝑥 2 ≥ 𝑦 2 ↔ 𝑥 > 𝑦
13. Sea 𝑦 > 0: entonces 𝑥 2 ≥ 𝑦 ↔ (𝑥 ≥ √𝑦 ∨ 𝑥 ≤ −√𝑦)

14. Sea 𝑦 > 0: entonces 𝑥 2 ≤ 𝑦 ↔ −√𝑦 ≤ 𝑥 ≤ √𝑦

Álgebra / Separata 1 Ciclo regular 2020- 1 / 4

 UPCH CICLO REGULAR Pre Cayetano
Ejercicios resueltos
1. Pruebe que ∀ 𝑎; 𝑏 ∈ ℝ: 2(𝑎2 + 𝑏 2 ) ≥ (𝑎 + 𝑏)2 .
Resolución
Sabemos que ∀ 𝑥 ∈ ℝ: 𝑥 2 ≥ 0. Si hacemos 𝑥 = 𝑎 − 𝑏; 𝑎; 𝑏 ∈ ℝ.
Tenemos: (𝑎 − 𝑏)2 ≥ 0 ↔ 𝑎2 + 𝑏2 − 2𝑎𝑏 ≥ 0
↔ 𝑎2 + 𝑏2 − 2𝑎𝑏 + 2𝑎𝑏 ≥ 0 + 2𝑎𝑏
↔ 𝑎2 + 𝑏2 + 𝑎2 + 𝑏2 ≥ 𝑎2 + 𝑏2 + 2𝑎𝑏
∴ 2 (𝑎2 + 𝑏2 ) ≥ (𝑎 + 𝑏)2
2. Pruebe que: 𝑎2 = 𝑏2 ↔ 𝑎 = 𝑏 ∨ 𝑎 = −𝑏
Resolución
Como: 𝑎2 = 𝑏2 ↔ 𝑎2 + (−𝑏2 ) = 𝑏2 + (−𝑏2 )
↔ 𝑎2 − 𝑏2 = 0 ↔ (𝑎 + 𝑏)(𝑎 − 𝑏) = 0
Por el teorema 4.3: 𝑎 + 𝑏 = 0 ∨ 𝑎 − 𝑏 = 0
↔ 𝑎 + 𝑏 + (−𝑏) = 0 + (−𝑏) ∨ 𝑎 − 𝑏 + 𝑏 = 0 + 𝑏
∴ 𝑎 = −𝑏 ∨ 𝑎 = 𝑏
𝑎+𝑏
3. Pruebe que: Si 0 < 𝑎 < 𝑏 → 𝑎 < √𝑎𝑏 < <𝑏
2

Resolución
Como 0 < 𝑎 < 𝑏: (𝑎 − 𝑏)2 > 0 ↔ 𝑎2 + 𝑏2 − 2𝑎𝑏 > 0.

Entonces: 𝑎2 + 𝑏2 > 2𝑎𝑏 → a 2  b2   2ab   2ab   2ab   (a  b)2  4ab

Sacamos raíz cuadrada en cada miembro:

𝑎+𝑏
√(𝑎 + 𝑏)2 > √4𝑎𝑏 → 𝑎 + 𝑏 > 2√𝑎𝑏 → > √𝑎𝑏
2
𝑎+𝑏
Es decir: √𝑎𝑏 < 2
… (1)

También: 𝑎 < 𝑏 → 𝑎 + 𝑏 < 𝑏 + 𝑏 → 𝑎 + 𝑏 < 2𝑏

𝑎+𝑏
Luego: < 𝑏 … (2)
2
De otro lado: 𝑎 < 𝑏 → 𝑎 ∙ 𝑎 < 𝑎𝑏 → 𝑎2 < 𝑎𝑏 → √𝑎2 < √𝑎𝑏
Luego: 𝑎 < √𝑎𝑏 … (3)
𝑎+𝑏
De (1), (2) y (3) obtenemos: 0 < 𝑎 < 𝑏 → 𝑎 < √𝑎𝑏 < < 𝑏.
2

Álgebra / Separata 1 Ciclo regular 2020- 1 / 5

 UPCH CICLO REGULAR Pre Cayetano
SEMANA 1: SEPARATA 1B
TEORÍA DE CONJUNTOS
CONTENIDO
 Noción de Conjunto. Determinación y clases de conjuntos.
 Relación entre conjuntos.
 Leyes del Álgebra de Conjuntos.
 Ejercicios resueltos.
Noción de Conjunto
Una idea de conjunto, es una colección, agrupación o reunión de objetos
abstractos o concretos. A los objetos del conjunto se les denomina
elementos del conjunto.

Ejemplos
 Los días de la semana.
 Los países de América del Sur.
 Los jugadores de un equipo de fútbol.

Notación
Los conjuntos se denotan usando letras mayúsculas: Conjuntos A, B, C,…
Los elementos de un conjunto se denotan usando letras minúsculas: a, b, c,...
𝑎 ∈ 𝐴: Se lee “a es elemento del conjunto A” o “a pertenece a A”
𝑏 ∉ 𝐵: Se lee, “b no es elemento del conjunto B” o “b no pertenece a B”

Determinación de conjuntos

Por Extensión Por Comprensión

Cuando se enuncia a todos y cada Cuando se enuncia una propiedad
uno de los elementos del conjunto. común a los elementos del conjunto.
Se escriben dentro de llaves. Ejemplos
Ejemplos
𝐴 = {𝑛 / 𝑛 𝑒𝑠 𝑢𝑛𝑎 𝑣𝑜𝑐𝑎𝑙}
𝐴 = {𝑎, 𝑒, 𝑖, 𝑜, 𝑢} 𝐷 = {𝑁ú𝑚𝑒𝑟𝑜𝑠 𝑝𝑎𝑟𝑒𝑠 𝑚𝑒𝑛𝑜𝑟𝑒𝑠 𝑞𝑢𝑒 10}
𝐷 = {2, 4, 6, 8} 𝐽 = {𝑛2 − 1 / 𝑛 𝑒𝑠 𝑒𝑛𝑡𝑒𝑟𝑜 ∧ 1 ≤ 𝑛 ≤ 7}
𝐽 = {0, 3, 8, 15, 24, 35, 48}

Álgebra / Separata 1 Ciclo regular 2020- 1 / 6

 UPCH CICLO REGULAR Pre Cayetano
Clases de conjuntos
Conjunto Finito Conjunto Infinito
Un conjunto es finito si se puede Un conjunto es infinito si no es finito,
determinar la cantidad de elementos es decir, que el proceso de contar sus
que lo conforman, es decir, que el elementos nunca termina.
proceso de contar sus diferentes
elementos tiene fin. Ejemplos
M = {𝑥 ∕ 𝑥 ∈ ℚ ∧ 1 ≤ 𝑥 ≤ 2}
Ejemplos M es infinito, pues hay infinitos
𝐾 = {3𝑛 + 2 / 𝑛 ∈ ℤ ∧ 1 ≤ 𝑛 ≤ 4 } números racionales entre 1 y 2
𝐾 es finito pues tiene 4 elementos. ℤ+ = {1; 2; 3; 4; 5; 6; 7; … }
𝐿 = {x / x es un día de la semana} ℤ+ es infinito pues hay infinitos
𝐿 es finito pues tiene 7 elementos. números enteros positivos.

Cardinal de un conjunto
Es el número de elementos diferentes del conjunto considerado.
Notación: A , n(A) o card(A): se lee, “Número de elementos de A”
 𝐴 = {𝑎, 𝑒, 𝑖, 𝑜, 𝑢}  A  n (A)  5
 𝐵 = {2, 2, 3, 3, 3, 5, 7}  B  n (B)  4

Conjunto Vacío o Nulo

Es aquel conjunto que carece de elementos. Se denota por:  o 
Además:   n ()  0
Observe que   {} . En efecto, {} es un conjunto con un elemento, mientras
que  es el conjunto vacío.
Por ejemplo, 𝐴 = {𝑥 ∈ ℝ / 𝑥 2 < 0} =  =  es un conjunto vacío.

Propiedades del conjunto vacío

1.   A : El conjunto vacío es subconjunto de cualquier conjunto
2.     
3.  1

Conjunto Unitario o Singletón

Es aquel conjunto que tiene un sólo elemento.
Por ejemplo, M = {𝑥 ∈ ℝ /𝑥 > 0 ∧ 𝑥 2 = 9} = {3} es unitario.
Álgebra / Separata 1 Ciclo regular 2020- 1 / 7
 UPCH CICLO REGULAR Pre Cayetano
Conjunto Universal
Es un conjunto referencial que se define para cada situación particular. Al
conjunto universal se le denota generalmente por U.
Por ejemplo, el conjunto U = {0, 2, 4, 6, … } es conjunto universal de
𝐵 = {𝑥/𝑥 es par ∧ 0 < 𝑥 < 10}.

Conjunto de Conjuntos
Es aquel conjunto cuyos elementos son todos conjuntos. También se le
denomina familia de conjuntos o clase de conjuntos.
Ejemplos
C = {{2,3}, {3}, {𝑎}, {6, 𝑏},  }. C es familia de conjuntos.
D = {{𝑎, 𝑏, 𝑐}, {2, 3, 6} {6}, 𝑐, 8}. D no es familia de conjuntos.

Conjunto Potencia del conjunto A

Es denotado por 𝐏(𝐀) y agrupa a todos los subconjuntos de A, incluyendo al
conjunto vacío: . Si A es un conjunto con “n” elementos: |A| = 𝑛, entonces A
tiene 2n subconjuntos. Luego, P(A) tendrá 2n elementos. Es decir: P(A)  2n .
Un elemento del conjunto potencia P(A) es un subconjunto de A; es decir,
X  P  A  X  A .
Por ejemplo, si consideramos el conjunto A = {3, 4, 5}, en la siguiente tabla
mostramos todos los subconjuntos de A.
N° de elementos Subconjuntos
0 
1 {3}; {4}; {5}
2 {3; 4}, {3; 5}, {4; 5}
3 {3; 4; 5}

Luego el conjunto potencia de A es:

𝑃(𝐴) = {  , {3}, {4}, {5}, {3; 4}, {3; 5}, {4; 5}, {3; 4; 5}}
Notas
 Al conjunto potencia P(A) también se le llama el conjunto de partes de A.
 Si un conjunto A es finito y tiene “n” elementos, entonces el conjunto potencia
P(A) tiene 2𝑛 elementos.
 El conjunto vacío siempre es un elemento del conjunto potencia.

Álgebra / Separata 1 Ciclo regular 2020- 1 / 8

 UPCH CICLO REGULAR Pre Cayetano
Relaciones entre conjuntos
Inclusión (  )
B
El conjunto A es un subconjunto del conjunto B si cada
elemento de A es elemento de B. A

Notación: A  B se lee “A está contenido en B” .x

“A es subconjunto de B”
“B contiene a A”
Representación: A  B   x  A:x A  x  B
Por ejemplo, si A = {𝑡𝑜𝑑𝑜𝑠 𝑙𝑜𝑠 𝑔𝑎𝑡𝑜𝑠} y B = {𝑡𝑜𝑑𝑜𝑠 𝑙𝑜𝑠 𝑚𝑎𝑚í𝑓𝑒𝑟𝑜𝑠} → A ⊂ B.
Cuando un conjunto D no es subconjunto de otro conjunto E, se escribe D ⊄ E
y se lee “D no es subconjunto de E”

Por ejemplo, si D = {2; 4; 6} y E = {1; 2; 3; 5}, como no todos los elementos

de D están contenidos en E; en ese caso escribimos D ⊄ E.
Igualdad de conjuntos
Se dice que dos conjuntos A y B son iguales si ambos poseen los mismos
elementos. No importa el orden en que se escriban los elementos.

Dados los conjuntos A = {𝟑𝑛 + 2/𝑛 ∈ ℤ ∧ 1 ≤ 𝑛 ≤ 4 } y B = {5; 8; 11; 14}, note

que: A = B.
Si los conjuntos A y B son iguales, entonces A es subconjunto de B y B es
subconjunto de A. Es decir: 𝐴 = 𝐵 ↔ 𝐴 ⊂ 𝐵 ∧ 𝐵 ⊂ 𝐴
Conjuntos Comparables
Dos conjuntos son comparables cuando por lo menos uno de ellos está incluido
en el otro.
Por ejemplo, si tenemos los conjuntos:
A = {3; 5} ; B = {1; 2; 3; 4; 5; 6; 7} ; C = {2; 4; 6; 7} 𝑦 D = {4; 7}.
Entonces, son conjuntos comparables: A y B; B y C; B y D; C y D.
Conjuntos Disjuntos
Dos conjuntos son disjuntos cuando no poseen elemento en común.
Por ejemplo, los conjuntos C = {x / x es un hombre} y D = {x / x es una mujer}
son disjuntos.
 Si dos conjuntos son disjuntos ambos conjuntos serán diferentes.
 Si dos conjuntos son diferentes entonces no siempre serán disjuntos.
Álgebra / Separata 1 Ciclo regular 2020- 1 / 9
 UPCH CICLO REGULAR Pre Cayetano
Ejemplos

• Dados los conjuntos E = {2, 5, 𝑎, 𝑏} y F = {3, 4, 𝑐, 𝑑}, entonces

E y F son disjuntos: E ≠ F.
• Dados los conjuntos G = {1, 3, 8, 𝑑, 7} y H = {2, 8, 𝑒, 𝑓, 𝑐}, entonces
G ≠ H pero G y H no son disjuntos.

Operaciones entre conjuntos

1. Intersección (∩)
La intersección de los conjuntos A y B es el conjunto formado por los
elementos que pertenecen a A y a B.
A  B  x / x  A  x B 

A B U

Ejemplo
Dados los conjuntos A = {2; 3; 4; 5; 6} y B = {4; 6; 7; 9} → A ∩ B = {4; 6}.

2. Unión (∪)
La unión de los conjuntos A y B es el conjunto formado por todos los
elementos que pertenecen a A o a B (o a ambos).
A  B   x/ x A  x B

A B

Ejemplo
Dados los conjuntos A = {2; 3; 5} ; B = {1; 7; 5} → A ∪ B = {2; 3; 5; 1; 7}

Álgebra / Separata 1 Ciclo regular 2020- 1 / 10

 UPCH CICLO REGULAR Pre Cayetano
Diferencia (−)
El conjunto diferencia A - B es aquel que está formado por los elementos de A
que no pertenecen a B.
A  B  {x / x  A  x  B}

A B U

A-
B

Ejemplo

A = {2, 4, 5, 6, 7, 8} y B = {1, 3, 6, 7, 9} → A − B = {2, 4, 5, 8} ∧ B − A = {1, 3, 9}

Diferencia Simétrica (Δ )
La diferencia simétrica de dos conjuntos A y B es el conjunto formado por los elementos
que pertenecen a A o B pero no a ambos.
A Δ B  x / x (A  B)  x (A  B) 

A B U

Ejemplo

A = {2; 4; 5; 6; 7; 8} y B = {1; 3; 6; 7; 9} → A ∆ B = {2; 4; 5; 8; 1; 3; 9}

Álgebra / Separata 1 Ciclo regular 2020- 1 / 11

 UPCH CICLO REGULAR Pre Cayetano
Complemento de A ( AC ; A ; A' )
El complemento de A es el conjunto formado por los elementos que pertenecen al
conjunto universal (U) pero no al conjunto A.
AC  {x / x  U  x  A}  U  A

A
AC

Ejemplo: U   x / x  N  4  x  10  = {5, 6, 7, 8, 9} → A = {6, 7, 8} y A’ = {5, 9}

Leyes del álgebra de conjuntos

1. Ley de Idempotencia 8. Ley de Absorción

AA A
AA A A  (A  B)  A
2. Ley conmutativa A  (A  B)  A
AB  BA A  (AC  B)  A  B
AB  BA
A  (AC  B)  A  B
3. Ley Asociativa
(A  B)  C  A  (B  C)
9. Ley del complemento
(A  B)  C  A  (B  C)
A  AC  U
4. Ley distributiva
A  AC  
A  (B  C)  (A  B)  (A  C)
A  (B  C)  (A  B)  (A  C) (AC )C  A
5. Ley de Morgan (U)C  
(A  B)C  AC  BC ()C  U

(A  B)C  AC  BC 10. Ley de la Unidad

6. Ley de la diferencia
A  B  A  BC
AUU
7. Ley de la diferencia simétrica AUA
AΔB  (A  B)  (B  A) A A
AΔB  (A  B)  (A  B) A 

Álgebra / Separata 1 Ciclo regular 2020- 1 / 12

 **********************************************************

Ejercicios Resueltos

1. Si los conjuntos unitarios A y B son iguales, calcule: 𝑎 + 𝑏 + 𝑐.

𝐴 = { 2𝑎 + 𝑏 ; 𝑐 } y 𝐵 = { 2𝑐 − 7 ; 5𝑏 + 2 }
Resolución
Se cumple: 2𝑎 + 𝑏 = 𝑐 = 2𝑐 – 7 = 5𝑏 + 2.
De aquí:
𝑐 = 2𝑐 − 7  𝑐 = 7
𝑐 = 5𝑏 + 2 = 7  𝑏 = 1
Finalmente: 2𝑎 + 𝑏 = 𝑐  𝑎 = 3
 𝑎 + 𝑏 + 𝑐 = 11

𝑥
2. Llevar a la forma tabular el siguiente conjunto: C = { ∈ ℕ / 3 ≤ 𝑥 < 10 }
2

Resolución
𝑥
De la condición ∈ ℕ → 𝑥 𝑒𝑠 𝑝𝑎𝑟 → 𝑥 ∈ {4; 6; 8}
2
 B  {4;6;8}
3. Sean los conjuntos A = {1; 2; 3; 4; 5} ∧ B = {2; 3; 5} ; 𝐶 = {2; 4; 5};
Halle el conjunto: [(A − B) ∆ (B ∆ C)] ∆ [(B − C) ∩ (A − C)]
Resolución
Hallemos cada parte de la operación:
A − B = {1; 4} ; B ∆ C = (B − C) ∪ (C − B) = {3; 4}
Por lo tanto: (A − B) ∆ (B ∆ C) = {1; 3}.
B − C = {3} ; A − C = {1; 3} → (B − C) ∩ (A − C) = {3}
Finalmente: [(A − B) ∆ (B ∆ C)] ∆ [(B − C) ∩ (A − C)] = {1}
 UPCH CICLO REGULAR Pre Cayetano
SEMANA 1: SEPARATA 1C
LÓGICA PROPOSICIONAL
CONTENIDO
 Lógica Proposicional. Operaciones
 Leyes del Álgebra Proposicional.
 Ejercicios resueltos.

Lógica Proposicional
Es una parte de la lógica que tiene como objeto de estudio la proposición y la
relación existente entre ellas, así como la función que tienen las variables
proposicionales y los conectivos lógicos.
Proposición lógica
Es el significado de una expresión aseverativa que se caracteriza por tener un
valor de verdad, es decir el significado tiene la posibilidad de ser verdadero o
falso, pero no los dos a la vez.
Ejemplos:
p: Arequipa es una ciudad europea
q: El río Amazonas pasa por la selva
r: (10 - 3). 2 < 18
Las proposiciones pueden ser simples o compuestas. La proposición simple
es aquella con un solo significado, en cambio la proposición compuesta enlaza
mediante conectivos lógicos, al menos dos proposiciones simples.
Operaciones con proposiciones lógicas
Para enlazar proposiciones simples emplearemos los conectivos lógicos.
Estos conectivos lógicos no forman parte de la proposición, Entre los
conectivos lógicos tenemos:
La negación Tabla de verdad
Proposición: p → Negación de p: p p ~p
se lee “no p” o “no es cierto que p” V F
F V

Álgebra / Separata 1 Ciclo regular 2020- 1 / 14

 UPCH CICLO REGULAR Pre Cayetano
La conjunción Tabla de verdad
Si la proposición p es verdadera y la proposición p q pq
q es verdadera, entonces la conjunción también
V V V
es verdadera. En cualquier otro caso es falso.
V F F
Notación: p  q, se lee “p y q” F V F
F F F

La disyunción Inclusiva Tabla de verdad

Si al menos una de las proposiciones p, q es p q pq
verdadera, entonces la disyunción también es V V V
verdadera. V F V

Notación: p  q, se lee “p o q” F V V
F F F

La condicional Tabla de verdad

La condicional es verdadera salvo que la p q pq
proposición p sea verdadero y la proposición
V V V
q es falso en cuyo caso es falso. V F F
Notación: p  q, se lee “p implica q” F V V

Tabla de verdad F F V

La bicondicional Tabla de verdad

La bicondicional es verdadera cuando la
p q pq
proposición p y la proposición q tienen
V V V
el mismo valor de verdad. Si son diferentes,
V F F
es falso.
F V F
Notación: p  q, se lee p si y solo si q
F F V

Álgebra / Separata 1 Ciclo regular 2020- 1 / 15

 UPCH CICLO REGULAR Pre Cayetano
La disyunción exclusiva Tabla de verdad

Esta proposición es verdadera cuando las

p q pq
V V F
proposiciones p y q tienen valor de verdad
V F V
diferentes.
F V V
Notación: p  q F F F

Leyes de álgebra proposicional

1. Ley de Idempotencia 7. Leyes del complemento

𝑝∨p ≡ 𝑝 p ∨∼ p ≡ V

𝑝∧p ≡ 𝑝 p ∧∼ p ≡ F
8. Ley de la condicional
2. Ley conmutativa
p → q ≡∼ p ∨ q
𝑝∨q ≡ q ∨𝑝
p → q ≡∼ q →∼ p
𝑝∧q ≡ q∧ p
9. Ley de la bicondicional
3. Ley asociativa
p ↔ q ≡ (p → q) ∧ (q → p)
p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r
p ↔ q ≡ (p ∧ q) ∨ (∼ p ∧∼ q)
p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r
4. Ley distributiva 10. Leyes de De Morgan
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) ∼ (p ∧ q) ≡ ∼ p ∨∼ q
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
∼ (p ∨ q) ≡ ∼ p ∧∼ q
5. Ley de la doble negación
11. Ley de absorción
∼ (∼ 𝑝) ≡ 𝑝
p ∨ (p ∧ q) ≡ p
6. Leyes de identidad
p ∧ (p ∨ q) ≡ p
𝑝∨V ≡V ; 𝑝∧V ≡p
p ∨ (∼ p ∧ q) ≡ p ∨ q
𝑝∨F ≡ p ; 𝑝∧F ≡ F
p ∧ (∼ p ∨ q) ≡ p ∧ q

Álgebra / Separata 1 Ciclo regular 2020- 1 / 16

 La demostración se basa en utilizar las tablas de verdad. Demostremos la ley distributiva.
p q r qr p  (q  r) pq pr (p  q)  (p  r)
V V V V V V V V
V V F V V V F V
V F V V V F V V
V F F F F F F F
F V V V F F F F
F V F V F F F F
F F V V F F F F
F F F F F F F F

Note en la tabla, que las proposiciones p ∧ (q ∨ r) y (p ∧ q) ∨ (p ∧ r) tienen el

mismo resultado. Por lo tanto, se ha demostrado que son equivalentes.

TAUTOLOGÍA – CONTRADICCIÓN – CONTINGENCIA

Tautología Contradicción
Son aquellos valores de verdad que Son aquellos valores de verdad que
son ciertas para cualquier valoración son falsas para cualquier valoración
de sus proposiciones que la forman. de sus proposiciones que la forman.
Ejemplo Ejemplo

Sea el caso: A ∨ ∼ A Sea el caso: A ∧ ∼ A

A ∼A A∧∼A
A ∼A A∨∼A
V F V V F F
F V V F V F

Contingencia
Proposición que puede ser verdadera o falsa según los valores de verdad de sus
proposiciones que la forman.
Ejemplo
Sea el caso: A ∧ (B ∨ C)
 UPCH CICLO REGULAR Pre Cayetano
Tabla de verdad

A B C B∨C A ∧ (B ∨ C)
V V V V V
V V F V V
V F V V V
V F F F F
F V V V F
F V F V F
F F V V F
F F F F F

Ejercicios resueltos

Halle la equivalencia de las siguientes proposiciones lógicas

1. (p ∨ q) → (∼ p ∧ q) 2. (∼ p → q) ↔ (p ∨∼ q) 3. [(p ∧ q) ∨∼ p] ↔∼ p

Resolución

1. p q ∼p pq ∼ p∧q (p ∨ q) → (∼ p ∧ q)
V V F V F F
V F F V F F
F V V V V V
F F V F F V

2. p q ∼p ∼q ∼ p → q p ∨∼ q (∼ p → q) ↔ (p ∨∼ q)
V V F F V V V
V F F V V V V
F V V F V F F
F F V V F V F

3.
p q ∼p ∼q pq (p ∧ q) ∨∼ p [(p ∧ q) ∨∼ p] ↔∼ p
V V F F V V F
V F F V F V F
F V V F V V V
F F V V F V V

Álgebra / Separata 1 Ciclo regular 2020- 1 / 18