Solucionario

UNIVERSIDAD AUTÓNOMA TOMÁS FRÍAS
Facultad de ciencias Puras

Carrera de MATEMÁTICA
ÁLGEBRA MAT 100
SOLUCIONARIO DE SEBASTIAN LAZO

Resuelto por:
Univ. Santos Huanca Fernandez

Univ. Cecili Tola Pacheco
Potosı́-Bolivia
2022
CONTENIDO GENERAL
Capı́tulos Página
Capı́tulo I : LÓGICA 1
I.1 Operaciones proporcionales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
I.2 Clasificación de fórmulas proporcionales . . . . . . . . . . . . . . . . . . . . . . . . . . 2
I.3 Leyes lógicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
I.4 Reglas de inferencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
I.5 EJERCICIOS RESUELTOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
I.6 EJERCICIOS VARIOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
Capı́tulo II : CONJUNTOS 38
II.1 Relación entre conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
II.2 Operaciones entre conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
II.3 Leyes de operaciones con conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
II.4 Cardinal de un conjunto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
II.5 Producto cartesiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
II.6 EJERCICIOS RESUELTOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
II.7 EJERCICIOS VARIOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
Capı́tulo III :RELACIONES 74
Capı́tulo IV :FUNCIONES 75
I
CAPÍTULO I
LÓGICA
I.1. Operaciones proporcionales
Negación
P ∼P
V F
F V
Conjunción
p q p∧q
V V V
V F F
F V F
F F F
Disyunción
p q p∨q
V V V
V F V
F V V
F F F
1
2 CAPÍTULO I. LÓGICA
Implicación o condicional
p q p→q
V V V
V F F
F V V
F F V
Doble implicación o bicondicional

p q p↔q
V V V
V F F
F V F
F F V
Disyunción exclusiva
p q p⊻q
V V F
V F V
F V V
F F F
I.2. Clasificación de fórmulas proporcionales
Tautologia
Es una fórmula proporcional que es verdadera para cualquier valor de verdad de las proposiciones
que la componen.
Contradicción
Es una fórmula proporcional que es falsa para cualquier valor de verdad de las proposiciones que la
componen.
Contingencia
Es una fórmula proporcional que no es tautologia ni contradicción.

I.3. LEYES LÓGICAS 3
I.3. Leyes lógicas

1. Leyes de idempotencia p ∧ p ≡ p p∨p ≡ p
2. Leyes conmutativas p ∧ q ≡ q ∧ p p∨q ≡ q∨p
3. Leyes asociativas (p ∧ q) ∧ r ≡ p ∧ (q ∧ r) (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
4. Leyes de negación ∼ (∼ p) ≡ p p∧ ∼ p ≡ F p∨ ∼ p ≡ V
5. Leyes de identidad p ∧ V ≡ p p∨F ≡ p
6. Leyes de Morgan ∼ (p ∧ q) ≡∼ p∨ ∼ q ∼ (p ∨ q) ≡∼ p∧ ∼ q
7. Definición de implicación p → q ≡∼ p ∨ q
8. Leyes distributivas p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
9. Leyes de absorción p ∧ (p ∨ q) ≡ p p ∨ (p ∧ q) ≡ p p∧F ≡ F p∨V ≡ V
10. Definición de doble implicación p ↔ q ≡ (p −→ q) ∧ (q −→ p)
11. Definición de conjunción exclusiva p ⊻ q ≡∼ (p ←→ q)
I.4. Reglas de inferencia
Modus ponendo ponens (PP)
p→q
p
Modus tollendo tollens (TT)
p→q
∼q
∼p
Modus tollendo ponens (TP)
a).-p ∨ q b).- p ∨ q
∼p ∼q
q p
Ley del silogismo hipotético (SH)
p→q
q→r
p→r
Ley de simplificación (LS)
a).-p ∧ q b).- p ∧ q
p q
Ley de conjunción (LC)
p
q
p∧q
Ley de adición (LA)
p∨A
Dilema constructivo (DC)
p −→ q
r −→ t
p∨r
q∨t
Dilema destructivo (DD)
p −→ q
r −→ t
∼ q∨ ∼ t
∼ p∨ ∼ r
I.5. EJERCICIOS RESUELTOS 5
I.5. EJERCICIOS RESUELTOS
Determinar por medio de una tabla de verdad, si cada una de las siguientes proposiciones es una
tautologia, contradicción o contingencia.
7. [(∼ p∧ ∼ q) → p] ∨ (p ∧ q)
Solución.-
p q [(∼ p∧ ∼ q) −→ p] ∨ (p ∧ q)
V V F V V V V
V F F V V V F R.- CONTINGENCIA
F V F V F V F
F F V F F F F
8. [(p −→∼ q) ∧ p] ⊻ (∼ p ∧ q)
Solución.-
p q [(p −→∼ q) ∧ p] ⊻ (∼ p ∧ q)
V V F F V F F
V F V V V V F R.-CONTINGENCIA
F V V F F V V
F F V F F F F
9. [(∼ p⊻ ∼ q) ∧ (p −→∼ q)]∨ ∼ (∼ p ↔ q)
Solución.-
p q [(∼ p⊻ ∼ q) ∧ (p −→∼ q)] ∨ ∼ (∼ p ↔ q)
V V F F F V V F
V F V V V V F V R.-TAUTOLOGIA
F V V V V V F V
F F F F V V V F
10. {(p ∧ q) ∨ [p ∧ (∼ p ∨ q)]}⊻ ∼ (p →∼ q)
Solución.-
p q {(p ∧ q) ∨[ p ∧ (∼ p ∨ q)]} ⊻ ∼ (p →∼ q)
V V V V V V V F V F
V F F F V F F F F V R.-CONTRADICCIÓN
F V F F F F V F F V
F F F F F F V F F V
11. {[p → (q∧ ∼ p)]∧ ∼ q} ←→∼ (p ∨ q)

Solución.-
p q {[p → (q∧ ∼ p)] ∧ ∼ q} ←→ ∼ (p ∨ q)
V V V F F F F V F V
V F V F F F V V F V R.-TAUTOLOGIA
F V F V V F F V F V
F F F V F V V V V F
12. (∼ p⊻ ∼ r) ←→ [∼ (p ∧ q)∨ ∼ r]
Solución.-
p q r (∼ p⊻ ∼ r) ←→ [ ∼ (p ∧ q) ∨ ∼ r]
V V V F V F V F F
V V F V V F V V V
V F V F F V F V F
V F F V V V F V V R.-CONTINGENCIA
F V V V V V F V F
F V F F F V F V V
F F V V V V F V F
F F F F F V F V V
13. [(∼ p ∨ q) ∧ (q −→ r)] −→∼ (p∧ ∼ r)
Solución.-
p q r [(∼ p ∨ q) ∧ (q −→ r)] −→ ∼ (p∧ ∼ r)
V V V V V V V V F
V V F V F F V F V
V F V F F V V V F
V F F F F V V F V R.-TAUTOLOGIA
F V V V V V V V F
F V F V F F V V F
F F V V V V V V F
F F F V V V V V F
14. [(∼ p ∧ q) −→∼ r] ←→ [r∧ ∼ (p∨ ∼ q)]
Solución.-
p q r [(∼ p ∧ q) −→ ∼ r] ←→ [ r ∧ ∼ (p∨ ∼ q)]
V V V F V F F V F F V
V V F F V V F F F F V
V F V F V F F V F F V
V F F F V V F F F F V R.-CONTRADICCIÓN
F V V V F F F V V V F
F V F V V V F F F V F
F F V F V F F V F F V
F F F F V V F F F F V
15. [(r −→∼ p) ∧ (p −→∼ q)] ∨ [(∼ p −→ r) ∧ (∼ q −→ p)]
Solución.-
p q r [(r −→∼ p) ∧ (p −→∼ q)] ∨ [(∼ p −→ r) ∧ (∼ q −→ p)]
V V V F F F V V V V
V V F V F F V V V V
V F V F F V V V V V
V F F V V V V V V V R.-TAUTOLOGIA
F V V V V V V V V V
F V F V V V V F F V
F F V V V V V V F F
F F F V V V V F F F
Sean q y s proposiciones cualesquiera, p y r proposiciones tales que ∼ (p∨ ∼ r) es verdadera. Hallar

el valor de verdad de las proposiciones siguientes:
16. a). ∼ (p∧ ∼ q) −→∼ (s ∨ r)
Solución.-
∼ (p∨ ∼ r) es V
∼ p ∧ r es V
∼ p es V, entonces p es F
r es V
luego buscando la solución de:
a). ∼ (p∧ ∼ q) −→∼ (s ∨ r)
∼ (F∧ ∼ q) −→∼ (s ∨ V )
∼ (F) −→∼ (V ) por conjunción y disyunción
V −→ F por negación
F
∴ la proposición ∼ (p∧ ∼ q) −→∼ (s ∨ r) es F
b). [(∼ r ∧ q)⊻ ∼ p] −→∼ [(p ∧ s)∨ ∼ r]
Solución.-
[(F ∧ q) ⊻ V ] −→∼ [(F ∧ s) ∨ F]
[F ⊻ V ] −→∼ [F ∨ F]
V −→∼ F
V −→ V
V
∴ la proposición [(∼ r ∧ q)⊻ ∼ p] −→∼ [(p ∧ s)∨ ∼ r] es V
17. a). [p −→ (q ∧ s)] ⊻ (∼ q −→ r)

Solución.-
[F −→ (q ∧ s)] ⊻ (∼ q −→ V )
V ⊻V
F
∴ la proposición [p −→ (q ∧ s)] ⊻ (∼ q −→ r) es F
b). [(r ∨ q) −→ (p ∧ s)] −→ (∼ q ⊻ s)
Solución.-
[(V ∨ q) −→ (F ∧ s)] −→ (∼ q ⊻ s)
[V −→ F] −→ (q ⊻ s)
F −→ (∼ q ⊻ s)
V
∴ la proposición [(r ∨ q) −→ (p ∧ s)] −→ (∼ q ⊻ s) es V
Sean p y r proposiciones cualesquiera, q y s proposiciones tales que ∼ (∼ q ∧s) es falsa. Hallar el valor
de verdad de las proposiciones siguientes:
Solución.-
∼ (∼ q ∧ s) es F
(∼ q ∧ s) es V
∼ q es V entonces q es F y s es V
18. a). [(p∨ ∼ q) ∧ s] −→∼ (∼ r ∨ s)
Solución.-
[(p ∨ V ) ∧ V ] −→∼ (∼ r ∨ V )
[V ∧ V ] −→∼ V
V −→ F
F
∴ la proposición [(p∨ ∼ q) ∧ s] −→∼ (∼ r ∨ s) es F
b). [(∼ p ∧ q) −→∼ r]⊻ ∼ (p ∨ s)
Solución.-
[(∼ p ∧ F) −→∼ r]⊻ ∼ (p ∨ V )
[F −→∼ r]⊻ ∼ V
V ⊻F
V
∴ la proposición [(∼ p ∧ q) −→∼ r]⊻ ∼ (p ∨ s) es V
19. a). [(∼ p ∨ s) −→ (q ∧ r)] ←→ (p −→∼ q)
Solución.-
[(∼ p ∨ V ) −→ (F ∧ r)] ←→ (p −→ V )
[V −→ F] ←→ V
F ←→ V
F
∴ la proposición [(∼ p ∨ s) −→ (q ∧ r)] ←→ (p −→∼ q) es F
b). [(q −→ p) ∨ (∼ p ∧ r)] ∧ [(p −→ s)∨ ∼ r]
Solución.-
[(F −→ p) ∨ (∼ p ∧ r)] ∧ [(p −→ V )∨ ∼ r]
[V ∨ (∼ p ∧ r)] ∧ [V ∨ ∼ r]
V ∧V
V
∴ la proposición [(q −→ p) ∨ (∼ p ∧ r)] ∧ [(p −→ s)∨ ∼ r] es V
Hallar el valor de verdad de las proposiciones p, q, r, y s sabiendo que:
20. a). (∼ p −→ q)∨ ∼ (r∧ ∼ s) es falsa
Solución.-
(∼ p −→ q)∨ ∼ (r∧ ∼ s) es F
(1)(∼ p −→ q) es F (2)∼ (r∧ ∼ s) es F
∼ p es V entonces p es F r∧ ∼ s es V
q es F r es V
∼ s es V entonces s es F
∴ p es F, q es F, r es V y s es F
b). ∼ (r −→∼ p) ∧ (∼ q ∧ s) es verdadera
Solución.-
∼ (r −→∼ p) ∧ (∼ q ∧ s) es V
(1) ∼ (r −→∼ p) es V (2)∼ q ∧ s es V
r →∼ p es F ∼ q es V, entonces q es F
r es V s es V
∼ p es F, entonces p es V
∴ p es V , q es F, r es V y s es V
21. a). (∼ p ∧ q) −→ (∼ r −→ s) es falso
Solución.-
(∼ p ∧ q) −→ (∼ r −→ s) es F
(1)(∼ p ∧ q) es V (2)(∼ r −→ s) es F
∼ p es V, entonces p es F ∼ r es V, entonces r es F
q es V s es F
∴ p es F, q es V, r es F y s es F
b). ∼ (r −→∼ p) −→ (∼ q ∨ s) es falso
Solución.-
∼ (r −→∼ p) −→ (∼ q ∨ s) es F
(1)∼ (r −→∼ p) es V (2)(∼ q ∨ s) es F
r −→∼ p es F ∼ q es F, entonces q es V
r es V s es F
∼ p es F, entonces p es V
∴ p es V, q es V, r es V y s es F
22. a). ∼ (p∨ ∼ r)∧ ∼ (q −→∼ s) es verdadera
Solución.-
∼ (p∨ ∼ r)∧ ∼ (q −→∼ s) es V
(1)∼ (p∨ ∼ r) es V (2)∼ (q −→∼ s) es V
p∨ ∼ r es F q −→∼ s es F
p es F q es V
∼ r es F, entonces r es V ∼ s es falso, entonces s es V
∴ p es F, q es V, r es V y s es V
b). ∼ [(r∧ ∼ q) −→ (∼ p −→ s)] es verdadera
Solución.-
∼ [(r∧ ∼ q) −→ (∼ p −→ s)] es V
[(r∧ ∼ q) −→ (∼ p −→ s)] es F
(1)(r∧ ∼ q) es V (2)(∼ p −→ s) es F
r es V ∼ p es V, entonces p es F
∼ q es V, entonces q es F s es F
∴ p es F, q es F, r es V y s es F
23. Si las implicaciones (p∧ ∼ q) −→ q y (p ∧ q) −→∼ r son verdaderas. ¿Cual es el valor de verdad
de p y de r?
Solución.-
(1)(p∧ ∼ q) −→ q es V (2)(p ∧ q) −→∼ r es V
p∧ ∼ q es F y q es F p ∧ q es F y ∼ r es F
p ∧ V es F
∴ p es F y r es V
Determinar ¿cual de los siguientes formulas son lógicamente equivalentes?
24. I (p∨ ∼ q) −→∼ p

II (p −→ q) ∨ (p ∧ q)
III (p ←→∼ q) −→ (∼ p ∧ q)
Solución.-
p q (p∨ ∼ q) −→ ∼ p (p −→ q) ∨ (p ∧ q) (p ←→∼ q) −→ (∼ p ∧ q)
V V V F F V V V F V F
V F V F F F F F V F F
F V F V V V V F V V V
F F V V V V V F F V F
∴ II ≡ III
25. I ∼ (p −→ q) ←→ [(p ∨ q)∧ ∼ q]

II [(∼ p∧ ∼ q)∨ ∼ q] ←→∼ [(p ∨ q) ∧ q]
III [∼ q ∧ (∼ p ∨ q)] ←→∼ (∼ p −→ q)
Solución.-
p q ∼ (p −→ q) ←→ [(p ∨ q) ∧ ∼ q] [(∼ p∧ ∼ q)∨ ∼ q] ←→ ∼ [(p ∨ q) ∧ q] ∼ q ∧ (∼ p ∨ q)] ←→ ∼ (∼ p −→ q)

V V F V V V F F F F F V F V V F F V V F V
V F V F V V V V F V V V V V F V F F V F V
F V F V V V F F F F F V F V V F F V V F V
F F F V V F F V V V V V V F F V V V V V F
∴ I ≡ II ≡ III
Sabiendo que p es F y q es una proposición cualquiera, determinar el valor de verdad de la proposi-
ción x, tal que:
26. [x −→ (p ∧ q)] −→ p sea F
Solución.-
[x −→ (p ∧ q)] −→ p es F
x −→ (p ∧ q) es V
∼ x ∨ (p ∧ q) es V
como p es F, entoncesp ∧ q es F
∼ x ∨ F es V
∼ x es V
∴ x es F
27. [x ∨ (p∧ ∼ q)] ←→ (∼ p ∨ q) sea V
Solución.-
[x ∨ (F∧ ∼ q)] ←→ (V ∨ q) es V
[x ∨ F] ←→ V es V
x ←→ V es V
∴ x es V
28. [(p −→ q) ←→ x]⊻ ∼ (p ∧ q) sea V
Solución.-
[(∼ p ∨ q) ←→ x]⊻ ∼ (F ∧ q) es V
[(V ∨ q) ←→ x]⊻ ∼ (F) es V
[V ←→ x] ⊻ V es V
V ←→ x es F
∴ x es F
Simplificar las proposiciones siguientes.

29. (p ←→ q) ∨ (∼ p ∨ q)
Simplificación.-
≡ [(p −→ q) ∧ (q −→ p)] ∨ (∼ p ∨ q), por definición de doble implicación
≡ [(∼ p ∨ q) ∧ (∼ q ∨ p)] ∨ (∼ p ∨ q), por definición de implicación
≡∼ p ∨ q, por ley de absorción
30. [(∼ p ∨ q) ∧ (∼ q −→ p)] −→ (p∧ ∼ q)
Simplificación.-
≡∼ [(∼ p ∨ q) ∧ (q ∨ p)] ∨ (p∧ ∼ q), por definición de implicación
≡∼ [q ∨ (∼ p ∧ p)] ∨ (p∧ ∼ q), por leyes distributivas
≡∼ [q ∨ F] ∨ (p∧ ∼ q), por ley de negación
≡∼ q ∨ (p∧ ∼ q), por ley de identidad
≡∼ q, por ley de absorción
31. [q −→ (p ∧ r)] ∧ [∼ p −→ (p ∧ r)]
Simplificación.-
≡ [∼ q ∨ (p ∧ r)] ∧ [p ∨ (p ∧ r)], por definición de implicación
≡ [∼ q ∨ (p ∧ r)] ∧ p, por ley de absorción
≡ (p∧ ∼ q) ∨ [p ∧ (p ∧ r)], por leyes distributivas
≡ (p∧ ∼ q) ∨ [(p ∧ p) ∧ r], por leyes de asociativas
≡ (p∧ ∼ q) ∨ (p ∧ r), por ley de idempotencia
≡ p ∧ (∼ q ∨ r), por leyes de distributivas
32. [(q −→ p) ∧ (∼ p −→ q)] −→∼ (p∨ ∼ q)
Simplificación.-
≡∼ [(∼ q ∨ p) ∧ (p ∨ q)]∨ ∼ (p∨ ∼ q), por definición de implicación
≡∼ [p ∨ (∼ q ∧ q)] ∨ (∼ p ∧ q), por leyes de distributivas y de Morgan
≡∼ [p ∨ F] ∨ (∼ p ∧ q), ley de negación
≡∼ p ∨ (∼ p ∧ q), ley de identidad
≡∼ p, ley de absorción
33. (q −→ p) −→ [(p ∨ q) −→ (q∧ ∼ p)]
Simplificación.-
≡∼ (∼ q ∨ p) ∨ [∼ (p ∨ q) ∨ (q∧ ∼ p)], por definición de implicación
≡ (q∧ ∼ p) ∨ [(∼ p∧ ∼ q) ∨ (q∧ ∼ p)], por ley de Morgan
≡ (q∧ ∼ p) ∨ [∼ p ∧ (∼ q ∨ q)], por leyes de distributivas
≡ (q∧ ∼ p) ∨ (∼ p ∧ V ), por ley de negación
≡ (q∧ ∼ p)∨ ∼ p, por ley de identidad
≡∼ p, por ley de absorción
34. [(p −→ q) −→ (∼ p∧ ∼ q)] ∧ [(∼ p ∧ q) ∨ p]
Simplificación.-
≡ [∼ (∼ p ∨ q) ∨ (∼ p∧ ∼ q)] ∧ [(∼ p ∧ q) ∨ p], por definición de implicación
≡ [(p∧ ∼ q) ∨ (∼ p∧ ∼ q)] ∧ [(∼ p ∧ q) ∨ p], por ley de Morgan
≡ [∼ q ∧ (p∨ ∼ p)] ∧ [(p∨ ∼ p) ∧ (p ∨ q)], por leyes de distributivas
≡ (∼ q ∧ V ) ∧ [V ∧ (p ∨ q)], ley de negación
≡∼ q ∧ (p ∨ q), por leyes de identidad
≡ (∼ q ∧ p) ∨ (∼ q ∧ q), por leyes de distributivas
≡ (∼ q ∧ p) ∨ F, por ley de negación
≡ p∧ ∼ q, por ley de identidad
35. (∼ p ∨ q) −→ [p∧ ∼ (p∧ ∼ q)]
Simplificación.-
≡∼ (∼ p ∨ q) ∨ [p∧ ∼ (p∧ ∼ q)], por definición de implicación
≡ (p∧ ∼ q) ∨ [p ∧ (∼ p ∨ q)], por ley de Morgan
≡ (p∧ ∼ q) ∨ [(p∧ ∼ p) ∨ (p ∧ q)], por leyes de distributivas
≡ (p∧ ∼ q) ∨ [F ∨ (p ∧ q)], por ley de negación
≡ (p∧ ∼ q) ∨ (p ∧ q), por ley de identidad
≡ p ∧ (∼ q ∨ q), por leyes distributivas
≡ p ∧ V , por ley de negación
≡ p, por ley de identidad
36. [q −→ (r∧ ∼ q)] −→ [(q∧ ∼ p) −→ r]
Simplificación.-
≡∼ [∼ q ∨ (r∧ ∼ q)] ∨ [∼ (q∧ ∼ p) ∨ r], por definición de implicación
≡ [q∧ ∼ (r∧ ∼ q)] ∨ [(∼ q ∨ p) ∨ r], por ley de Morgan
≡ [q ∧ (∼ r ∨ q)] ∨ [(∼ q ∨ p) ∨ r], por ley de Morgan
≡ q ∨ [(∼ q ∨ p) ∨ r], por ley de absorción
≡ [q ∨ (∼ q ∨ p)] ∨ r, por leyes de asociativas
≡ [(q∨ ∼ q) ∨ p] ∨ r, por leyes asociativas
≡ (V ∨ p) ∨ r, ley de negación
≡ V ∨ r, por ley de absorción
≡ V , por ley de absorción
37. [(p −→ r)∧ ∼ p] ∨ [(p ∨ q) −→ r]
Simplificación.-
≡ [(∼ p ∨ r)∧ ∼ p] ∨ [∼ (p ∨ q) ∨ r], por definición de implicación
≡∼ p ∨ [(∼ p∧ ∼ q) ∨ r], por leyes de absorción y de Morgan
≡ [∼ p ∨ (∼ p∧ ∼ q)] ∨ r, por leyes asociativas
≡∼ p ∨ r, por leyes de absorción
38. ∼ (p −→∼ q) ∨ [(p −→ r)∧ ∼ (p ∧ r)]
Simplificación.-
≡∼ (∼ p∨ ∼ q) ∨ [(∼ p ∨ r)∧ ∼ (p ∧ r)], por definición de implicación
≡ (p ∧ q) ∨ [(∼ p ∨ r) ∧ (∼ p∨ ∼ r)], por ley de Morgan
≡ (p ∧ q) ∨ [∼ p ∨ (r∧ ∼ r)], por leyes de distributivas
≡ (p ∧ q) ∨ (∼ p ∨ F), por ley de negación
≡ (p ∧ q)∨ ∼ p, por ley de identidad
≡ (p∨ ∼ p) ∧ (q∨ ∼ p), por leyes de distributivas
≡ V ∧ (q∨ ∼ p), por ley de negación
≡ q∨ ∼ p, por ley de identidad
39. [(p −→∼ r) −→ p] ∧ [∼ p −→∼ (p∨ ∼ q)]
Simplificación.-
≡ [∼ (∼ p∨ ∼ r) ∨ p] ∧ [∼ (∼ p)∨ ∼ (p∨ ∼ q)], por definición de implicación
≡ [(p ∧ r) ∨ p] ∧ [p ∨ (∼ p ∧ q)], po leyes de Morgan y de negación
≡ p ∧ [(p∨ ∼ p) ∧ (p ∨ q)], por leyes de absorción y de distributivas
≡ p ∧ [V ∧ (p ∨ q)], por ley de negación
≡ p ∧ (p ∨ q), por ley de identidad
≡ p, por ley de absorción
40. [p −→ (p∧ ∼ q)] ∧ [(p ∨ q) −→ p]
Simplificación.-
≡ [∼ p ∨ (p∧ ∼ q)] ∧ [∼ (p ∨ q) ∨ p], por definición de implicación
≡ [(∼ p ∨ p) ∧ (∼ p∨ ∼ q)] ∧ [(∼ p∧ ∼ q) ∨ p], por leyes distributivas y de Morgan
≡ [V ∧ (∼ p∨ ∼ q)] ∧ [(p∨ ∼ p) ∧ (p∨ ∼ q)], por leyes de negación y de distributivas
≡ (∼ p∨ ∼ q) ∧ [V ∧ (p∨ ∼ q)], por leyes de identidad y de negación
≡ (∼ p∨ ∼ q) ∧ (p∨ ∼ q), por ley de identidad
≡∼ q ∨ (p∧ ∼ p), por leyes de distributivas
≡∼ q ∨ F, por ley de negación
≡∼ q, por ley de identidad
41. [∼ (p ∨ q) −→ (∼ p∧ ∼ q)] −→ r
Simplificación.-
≡∼ [(p ∨ q) ∨ (∼ p∧ ∼ q)] ∨ r, por definición de implicación y por ley de negación
≡∼ [(p ∨ q)∨ ∼ (p ∨ q)] ∨ r, por ley de Morgan
≡∼ V ∨ r, por ley de negación
≡ F ∨ r, por ley de negación
≡ r, por ley de identidad
42. [(r −→ p) −→ (p ∧ r)] −→ [(r ∨ q) −→ (∼ r ∧ q)]

Simplificación.-
≡∼ [∼ (∼ r ∨ p) ∨ (p ∧ r)] ∨ [∼ (r ∨ q) ∨ (∼ r ∧ q)], por definición de implicación
≡∼ [(r∧ ∼ p) ∨ (p ∧ r)] ∨ [(∼ r∧ ∼ q) ∨ (∼ r ∧ q)], por ley de Morgan
≡∼ [r ∧ (∼ p ∨ p)] ∨ [∼ r ∧ (∼ q ∨ q)], por ley de distributivas
≡∼ (r ∧ V ) ∨ (∼ r ∧ V ), por ley de negación
≡∼ r∨ ∼ r, por ley de identidad
≡∼ r, por ley de idempotencia
43. [(∼ q −→ r)∧ ∼ (q∧ ∼ r)] −→ [(r −→ p) ∧ (p −→∼ r)]
Simplificación.-
≡∼ [(q ∨ r)∧ ∼ (q∧ ∼ r)] ∨ [(∼ r ∨ p) ∧ (∼ p∨ ∼ r)], por definición de implicación
≡∼ [(q ∨ r) ∧ (∼ q ∨ r)] ∨ [∼ r ∨ (p∧ ∼ p)], por leyes de Morgan y de distributivas
≡∼ [r ∨ (q∧ ∼ q)] ∨ (∼ r ∨ F), por leyes de distributivas y de negación
≡∼ (r ∨ F)∨ ∼ r, por leyes de negación y de identidad
≡∼ r∨ ∼ r, por le de identidad
≡∼ r, por ley de idempotencia
44. [(p∧ ∼ q)∨ ∼ p] −→ [q∧ ∼ (p −→ r)]
Simplificación.-
≡∼ [(p∧ ∼ q)∨ ∼ p] ∨ [q∧ ∼ (∼ p ∨ r)], por definición de implicación
≡∼ [(∼ p ∨ p) ∧ (∼ p∨ ∼ q)] ∨ [q ∧ (p∧ ∼ r)], por leyes distributivas y de Morgan
≡∼ [V ∧ (∼ p∨ ∼ q)] ∨ [q ∧ (p∧ ∼ r)], por ley de negación
≡∼ (∼ p∨ ∼ q) ∨ [(p ∧ q)∧ ∼ r], por leyes de identidad y asociativas
≡ (p ∧ q) ∨ [(p ∧ q)∧ ∼ r], por ley de Morgan
≡ p ∧ q, por ley de absorción
45. [(p∧ ∼ q) ∨ (q ∧ r)] ∧ [(q ∨ r)∧ ∼ r]
Simplificación.-
≡ [(p∧ ∼ q) ∨ (q ∧ r)] ∧ [(q∧ ∼ r) ∨ (r∧ ∼ r)], por leyes de distributivas
≡ [(p∧ ∼ q) ∨ (q ∧ r)] ∧ [(q∧ ∼ r) ∨ F], por ley de negación
≡ [(p∧ ∼ q) ∨ (q ∧ r)] ∧ (q∧ ∼ r), por ley de identidad
≡ [(p∧ ∼ q) ∧ (q∧ ∼ r)] ∨ [(q ∧ r) ∧ (q∧ ∼ r)], por leyes de distributivas
≡ [(p∧ ∼ r) ∧ (∼ q ∧ q)] ∨ [(q ∧ q) ∧ (r∧ ∼ r)], por leyes asociativas
≡ [(p∧ ∼ r) ∧ F] ∨ (q ∧ F), por leyes de negación y de idempotencia
≡ F ∨ F, por ley de absorción
≡ F, por disyunción
46. [(∼ p ∧ q) ∨ (p∧ ∼ q)]∨ ∼ (∼ p −→ q)
Simplificación.-
≡ [(∼ p ∧ q) ∨ (p∧ ∼ q)]∨ ∼ (p ∨ q), por definición de implicación y de negación
≡ [(∼ p ∧ q) ∨ (p∧ ∼ q)] ∨ (∼ p∧ ∼ q), por ley de Morgan
≡ [(∼ p ∧ q) ∨ (∼ p∧ ∼ q)] ∨ (p∧ ∼ q), por leyes asociativas

≡ [∼ p ∧ (q∨ ∼ q)] ∨ (p∧ ∼ q), por leyes de distributivas
≡ (∼ p ∧ V ) ∨ (p∧ ∼ q), por ley de negación
≡∼ p ∨ (p∧ ∼ q), por ley de identidad
≡ (∼ p ∨ p) ∧ (∼ p∨ ∼ q), por leyes de distributivas
≡ V ∧ (∼ p∨ ∼ q), por ley negación
≡∼ p∨ ∼ q, por ley de identidad
47. [(p −→∼ r) −→∼ p] −→ [p ∧ (∼ q −→ r)]
Simplificación.-
≡∼ [∼ (∼ p∨ ∼ r)∨ ∼ p] ∨ [p ∧ (q ∨ r)], por definición de implicación y por ley de
negación
≡∼ [(p ∧ r)∨ ∼ p] ∨ [p ∧ (q ∨ r)], por ley de Morgan
≡∼ [(p∨ ∼ p) ∧ (r∨ ∼ p)] ∨ [(p ∧ q) ∨ (p ∧ r)], por leyes de distributivas
≡∼ [V ∧ (r∨ ∼ p)] ∧ [(p ∧ q) ∨ (p ∧ r)], por negación
≡∼ (r∨ ∼ p) ∨ [(p ∧ q) ∨ (p ∧ r)], por ley de identidad
≡ [(∼ r ∧ p) ∨ (p ∧ r)] ∨ (p ∧ q), por leyes de Morgan y de asociativas
≡ [p ∧ (∼ r ∨ r)] ∨ (p ∧ q), por leyes de distributivas
≡ (p ∧ V ) ∨ (p ∧ q), por leyes de negación
≡ p ∨ (p ∧ q), por ley de identidad
≡ p, por ley de absorción
48. [(p −→ r) ←→ (p ∧ r)] ∧ [(p −→∼ q) −→ q]
Simplificación.-
≡ {[(p −→ r) −→ (p ∧ r)] ∧ [(p ∧ r) −→ (p −→ r)]} ∧ [(p −→∼ q) −→ q], por definición de
doble implicación
≡ {[∼ (∼ p ∨ r) ∨ (p ∧ r)] ∧ [∼ (p ∧ r) ∨ (∼ p ∨ r)]} ∧ [∼ (∼ p∨ ∼ q) ∨ q], por definición de
implicación
≡ {[(p∧ ∼ r) ∨ (p ∧ r)] ∧ [(∼ p∨ ∼ r) ∨ (∼ p ∨ r)]} ∧ [(p ∧ q) ∨ q], por ley de Morgan
≡ {[p ∧ (∼ r ∨ r)] ∧ [(∼ p∨ ∼ p) ∨ (∼ r ∨ r)]} ∧ q, por leyes de distributivas, asociativas
y de absorción
≡ [(p ∧ V ) ∧ (∼ p ∨ V )] ∧ q, por leyes de negación y de idempotencia
≡ (p ∧ V ) ∧ q, por ley de identidad y de absorción
≡ p ∧ q, por ley de identidad
49. [(∼ p ←→ q) ∧ r] ∨ [r ∧ (p⊻ ∼ q)]
Simplificación.-
≡ [(∼ p ←→ q) ∧ r] ∨ [r∧ ∼ (p ←→∼ q)], por definición de disyunción exclusiva
≡ {[(∼ p −→ q) ∧ (q −→∼ p)] ∧ r} ∨ {r∧ ∼ [(p −→∼ q) ∧ (∼ q −→ p)]}, por definición de
doble implicación
≡ {[(p∨q)∧(∼ q∨ ∼ p)]∧r}∨{r∧ ∼ [(∼ p∨ ∼ q)∧(q∨p)]}, por definición de implicación
por ley de negación
≡ {{[(p ∨ q)∧ ∼ q] ∨ [(p ∨ q)∧ ∼ p]} ∧ r} ∨ {r∧ ∼ {[(q ∨ p)∧ ∼ p] ∨ [(q ∨ p)∧ ∼ q]}}, por
leyes distributivas
≡ {{[(p∧ ∼ q)∨(q∧ ∼ q)]∨[(p∧ ∼ p)∨(q∧ ∼ p)]}∧r}∨{r∧ ∼ {[(q∧ ∼ p)∨(p∧ ∼ p)]∨[(q∧ ∼
q) ∨ (p∧ ∼ q)]}}, por leyes distributivas
≡ {{[(p∧ ∼ q) ∨ F] ∨ [F ∨ (q∧ ∼ p)]} ∧ r} ∨ {r∧ ∼ {[(q∧ ∼ p) ∨ F] ∨ [F ∨ (p∧ ∼ q)]}}, por ley
de negación
≡ {[(p∧ ∼ q) ∨ (q∧ ∼ p)] ∧ r} ∨ {r∧ ∼ [(q∧ ∼ p) ∨ (p∧ ∼ q)]}, por ley de identidad
≡ {[(p∧ ∼ q) ∨ (q∧ ∼ p)] ∧ r} ∨ {r∧ ∼ [(p∧ ∼ q) ∨ (q∧ ∼ p)]}, por ley de conmutativo
≡ r ∧ {[(p∧ ∼ q) ∨ (q∧ ∼ p)]∨ ∼ [(p∧ ∼ q) ∨ (q∧ ∼ p)]}, por leyes distributivas
≡ r ∧ V , por ley de negación
≡ r, por ley de identidad
Determinar una proposición x tal que:
50. [∼ x −→ (q ∧ x)] ∧ (p −→ q) ≡∼ p
Solución.-
[x ∨ (q ∧ x)] ∧ (∼ p ∨ q) ≡∼ p, por definición de implicación
x ∧ (∼ p ∨ q) ≡∼ p, por ley de absorción
luego la proposición x debe ser ∼ p para su aplicación la ley de absorción esto es:
∼ p ∧ (∼ p ∨ q) ≡∼ p
51. [(x −→ p) ∧ (q∨ ∼ x)] ∨ (p∧ ∼ x) ≡ q
Solución.-
[(∼ x ∨ p) ∧ (q∨ ∼ x)] ∨ (p∧ ∼ x) ≡ q, por definición de implicación
[∼ x ∨ (p ∧ q)] ∨ (p∧ ∼ x) ≡ q, por ley de distributivas
[∼ x ∨ (p∧ ∼ x)] ∨ (p ∧ q) ≡ q, por ley de asociativas
∼ x ∨ (p ∧ q) ≡ q, por ley de absorción
luego la proposición x debe ser ∼ q para su aplicación leyes de negación y de absorción
es decir:
∼ (∼ q) ∨ (q ∧ p) ≡ q
q ∨ (p ∧ q) ≡ q
52. [(x −→ q) −→ x] ∧ (∼ q −→∼ p) ≡ p ∧ q
Solución.-
[∼ (∼ x ∨ q) ∨ x] ∧ (q∨ ∼ p) ≡ p ∧ q, por definición de implicación y ley de negación
[(x∧ ∼ q) ∨ x] ∧ (q∨ ∼ p) ≡ p ∧ q, por ley de Morgan
x ∧ (q∨ ∼ p) ≡ p ∧ q, por ley de absorción
(x ∧ q) ∨ (x∧ ∼ p) ≡ p ∧ q, por leyes de distributivas
luego la proposición x debe ser p para su aplicación leyes de negación y de identidad
es decir;
(p ∧ q) ∨ (p∧ ∼ p) ≡ p ∧ q
(p ∧ q) ∨ F ≡ p ∧ q
p∧q ≡ p∧q
Construir el circuito lógico que representa a cada una de las proposiciones siguientes.
53. p −→ q
Solución.-
p −→ q ≡∼ p ∨ q, por definición de implicación
∼p
54. p ←→ q
Solución.-
≡ (p −→ q) ∧ (q −→ p), por definición de doble implicación
≡ (∼ p ∨ q) ∧ (∼ q ∨ p), por definición de implicación
∼p ∼q
q p
55. p ⊻ q
Solución.-
≡∼ (p ←→ q)
≡∼ [(p −→ q) ∧ (q −→ p)], por definición de doble implicación
≡∼ [(∼ p ∨ q) ∧ (∼ q ∨ p)], por definición de implicación
≡ (p∧ ∼ q) ∨ (q∧ ∼ p), por ley de Morgan
p ∼q
q ∼p
56. {(p∧ ∼ q) ∨ [∼ q ∨ (∼ p ∧ q)]} ∧ (p ∨ q)
Solución.-
p ∼q p
∼q
q
∼p q
57. {[p ∧ (q ∨ r)] ∨ (p∧ ∼ r)} ∧ (∼ p∨ ∼ q)
Solución.-
q
p ∼p
r
p ∼r ∼q
58. {[(p ∨ q) ∧ (∼ p ∨ r)] ∨ [(p ∧ q) ∨ (∼ r∧ ∼ q)]} ∧ (p ∨ q ∨ r)
Solución.-
p ∼p
p
q r q
p q
r
∼r ∼q
59. {[∼ r ∧ (p ∨ q)] ∨ [(∼ p ∨ r) ∧ (∼ q∨ ∼ r)]} ∧ [∼ p ∨ (q ∧ r)]
Solución.-
p
∼r ∼p
q
∼p ∼q
q r
r ∼r
Escribir la proposición que caracteriza a cada uno de los siguientes circuitos lógicos y simplificar
60.
p q
∼p ∼q p
q ∼p
Solución.-
{(p ∧ q) ∨ [(∼ p∧ ∼ q) ∨ (q∧ ∼ p)]} ∧ p, proposición del circuito lógico
Simplificación.-
≡ {(p ∧ q) ∨ [∼ p ∧ (∼ q ∨ q)]} ∧ p, por leyes distributivas
≡ [(p ∧ q) ∨ (∼ p ∧ V )] ∧ p, por ley de negación
≡ [(p ∧ q)∨ ∼ p] ∧ p, por ley de identidad
≡ [(∼ p ∨ p) ∧ (∼ p ∨ q)] ∧ p, por leyes de distributivas
≡ [V ∧ (∼ p ∨ q)] ∧ p, por ley de negación
≡ (∼ p ∨ q) ∧ p, por ley de identidad
≡ (p∧ ∼ p) ∨ (p ∧ q), por ley de distributivas
≡ F ∨ (p ∧ q), por ley de negación
p q
61.
∼p ∼q p
p q ∼p
p q ∼p ∼q
Solución.-
{[(∼ p∧ ∼ q) ∨ p] ∨ (p ∧ q)} ∧ {[(p ∨ q) ∨ (∼ p∧ ∼ q)]}∧ ∼ p, proposición del circuito
lógico
Simplificación.-
≡ {(∼ p∧ ∼ q) ∨ [p ∨ (p ∧ q)]} ∧ [(p ∨ q)∨ ∼ (p ∨ q)]∧ ∼ p. por leyes asociativas y de
Morgan
≡ [(∼ p∧ ∼ q) ∨ p] ∧ V ∧ ∼ p, por leyes de absorción y de negación
≡ [(p∨ ∼ p) ∧ (p∨ ∼ q)]∧ ∼ p, por leyes de distributivas y de identidad
≡ [V ∧ (p∨ ∼ q)]∧ ∼ p, por ley de negación
≡ (p∨ ∼ q)∧ ∼ p, por ley de identidad
≡ (∼ p ∧ p) ∨ (∼ p∧ ∼ q), por leyes de distributivas
≡ F ∨ (∼ p∧ ∼ q), por leyes de negación de de conmutativo
≡∼ p∧ ∼ q, por ley de identidad
∼p ∼q
62.
∼p ∼q p
p ∼r
q
q ∼p
Solución.-
[(∼ p∧ ∼ q) ∨ (p ∨ q)] ∧ {p ∨ [q ∧ (∼ r∨ ∼ p)]}, proposición del circuito lógico
Simplificación.-
≡ [∼ (p∨q)∨(p∨q)]∧{(p∨q)∧[p∨(∼ r∨ ∼ p)]}, por leyes de Morgan y de distributivas
≡ V ∧ {(p ∨ q) ∧ [(p∨ ∼ p)∨ ∼ r]}, por leyes de negación y de asociativas
≡ {(p ∨ q) ∧ [(p∨ ∼ p)∨ ∼ r]}, ley de identidad
≡ (p ∨ q) ∧ (V ∨ ∼ r), por ley de negación
≡ (p ∨ q) ∧ V , por ley de absorción
≡ p ∨ q, leyes de identidad
63.
q ∼r p ∼q
p ∼p q
q ∼p ∼q
r
Solución.-
{(q∧ ∼ r) ∨ [(p ∨ r) ∧ q]} ∧ [(p∧ ∼ q) ∨ (∼ p ∧ q) ∨ (∼ p∧ ∼ q)], proposición del circuito
lógico
Simplificación.-
≡ {(q∧ ∼ r) ∨ [(p ∨ r) ∧ q]} ∧ {[(∼ p ∧ q) ∨ (∼ p∧ ∼ q)] ∨ (p∧ ∼ q)}, por ley de asociativas
≡ {(q∧ ∼ r)∨[(q ∧p)∨(q ∧r)]}∧{[∼ p ∧(q∨ ∼ q)]∨(p∧ ∼ q)}, por leyes de distributivas
≡ {[(q∧ ∼ r) ∨ (q ∧ r)] ∨ (q ∧ p)} ∧ [(∼ p ∧ V ) ∨ (p∧ ∼ q)], por leyes asociativas y de
negación
≡ {[q ∧ (∼ r ∨ r)] ∨ (q ∧ p)} ∧ [∼ p ∨ (p∧ ∼ q)], por leyes de distributivas y de identidad
≡ [(q ∧ V ) ∨ (q ∧ p)] ∧ [(∼ p ∨ p) ∧ (∼ p∨ ∼ q)], por leyes de negación y de distributivas
≡ [q ∨ (q ∧ p)] ∧ [V ∧ (∼ p∨ ∼ q)], por leyes identidad y de negación
≡ q ∧ (∼ p∨ ∼ q), por leyes de absorción y de identidad
≡ (q∧ ∼ p) ∨ (q∧ ∼ q), por leyes distributivas
≡ (q ∧ p) ∨ F, por ley de negación
≡∼ p ∧ q, por leyes de identidad y conmutativo
∼p q
64.
∼p q p
p ∼p q
∼q
∼q ∼r
Solución.-
[(∼ p ∧ q) ∨ (p∨ ∼ q)] ∧ {p ∨ [∼ q ∧ (∼ p∨ ∼ r)]} ∧ q, proposición del circuito lógico
Simplificación.-
≡ [(∼ p ∧ q)∨ ∼ (∼ p ∧ q)] ∧ {(p∨ ∼ q) ∧ [p ∨ (∼ p∨ ∼ r)]} ∧ q, por leyes de Morgan y de
distributivas
≡ V ∧ [(p∨ ∼ q) ∧ q] ∧ [(p∨ ∼ p)∨ ∼ r], por leyes de negación y de asociativas
≡ [(p∨ ∼ q) ∧ q] ∧ [(p∨ ∼ p)∨ ∼ r], por ley de identidad
≡ [(p ∧ q) ∨ (∼ q ∧ q)] ∧ (V ∨ ∼ r), por leyes distributivas y de negación
≡ [(p ∧ q) ∨ F] ∧ V , por leyes de negación y de absorción
p q
65.
∼p q
q p
p
r
∼p
∼p
Solución.-
{[(∼ p ∨ q) ∧ (q ∨ p)] ∨ [∼ p ∧ (r∨ ∼ p)]} ∧ p, proposición del circuito lógico
Simplificación.-
≡ {[q ∨ (∼ p ∧ p)]∨ ∼ p} ∧ p, por leyes de distributivas y de absorción
≡ [(q ∨ F)∨ ∼ p] ∧ p, por ley de negación
≡ (q∨ ∼ p) ∧ p, por ley de identidad
≡ (p ∧ q) ∨ (p∧ ∼ p), por ley de distributivas
≡ (p ∧ q) ∨ F, por ley de negación
p q
66.
p r
p r
q p
∼q
p r
r ∼p
Solución.-
{[(p ∧ r) ∧ (p ∨ q) ∧ (r ∨ p)] ∨ [(p ∨ r) ∧ (r∨ ∼ p)]}∧ ∼ q, proposición del circuito lógico
Simplificación.-
≡ {{(p ∧ r) ∧ [(p ∨ q) ∧ (r ∨ p)]} ∨ [(p ∨ r) ∧ (r∨ ∼ p)]}∧ ∼ q, por leyes asociativas
≡ {{(p ∧ r) ∧ [p ∨ (q ∧ r)]} ∨ [r ∨ (p∧ ∼ p)]}∧ ∼ q, por leyes distributivas
≡ {{[(p ∧ r) ∧ p] ∨ [(p ∧ r) ∧ (q ∧ r)]} ∨ (r ∨ F)}∧ ∼ q, por leyes de distributivas y de
negación
≡ {{[(p ∧ p) ∧ r] ∨ [(p ∧ r) ∧ (q ∧ r)]} ∨ r}∧ ∼ q, por ley de asociativas y de identidad
≡ {{(p ∧ r) ∨ [(p ∧ r) ∧ (q ∧ r)]} ∨ r}∧ ∼ q, por ley conmutativo
≡ [(p ∧ r) ∨ r]∧ ∼ q, por ley de absorción
≡ r∧ ∼ q, por ley de absorción
r ∼q
67.
∼r ∼p
q
∼p
p q
Solución.-
{[(∼ r∧ ∼ p)∨ ∼ p] ∧ q} ∨ (p ∧ q), proposición del circuito lógico
Simplificación.-
≡ (∼ p ∧ q) ∨ (p ∧ q), por ley de absorción
≡ q ∧ (∼ p ∨ p), por ley de distributivas
≡ q ∧ V , por ley de negación
≡ q, por ley de identidad
68.
∼p r
p p ∼r
r
p ∼q
Solución.-
{{[(∼ p ∧ r) ∨ p ∨ r] ∧ p} ∨ (p∧ ∼ q)}∧ ∼ r, proposición del circuito lógico
Simplificación.-
≡ {{{[(∼ p ∧ r) ∨ r] ∨ p} ∧ p} ∨ (p∧ ∼ q)}∧ ∼ r, por leyes de asociativas
≡ {[(r ∨ p) ∧ p] ∨ (p∧ ∼ q)}∧ ∼ r, por ley de absorción
≡ [p ∨ (p∧ ∼ q)]∧ ∼ r, por ley de absorción
≡ p∧ ∼ r, por ley de absorción
p ∼r
69.
p ∼r
r p ∼q
∼p
∼p
r
Solución.-
{[(p∧ ∼ r) ∨ (r ∧ p)]∧ ∼ q} ∨ [∼ p ∧ (∼ p ∨ r)], proposición del circuito lógico
Simplificación.-
≡ {[p ∧ (∼ r ∨ r)]∧ ∼ q}∨ ∼ p, por leyes de distributivas y de absorción
≡ [(p ∧ V )∧ ∼ q]∨ ∼ p, por ley de negación
≡ (p∧ ∼ q)∨ ∼ p, por ley de identidad
≡ (∼ p ∨ p) ∧ (∼ p∨ ∼ q), por leyes de distributivas
≡ V ∧ (∼ p∨ ∼ q), por ley de negación
≡∼ p∨ ∼ q, por ley de identidad
∼p
∼q
Por medio de una tabla de valores de verdad, justificar la validez de los siguientes razonamientos.
70.
a). p −→ q
∼ p −→ r
∼r
q
Solución.-
p q r [(p −→ q) ∧ (∼ p −→ r) ∧ ∼ r] −→ q
V V V V V V F F V V
V V F V V V V V V V
V F V F F V F F V F
V F F F F V F V V F
F V V V V V F F V V
F V F V F F F V V V
F F V V V V F F V F
F F F V F F F V V F
∴ El razonamiento es valido
b).
∼ p∨ ∼ q
p
r −→ q
∼r
Solución.-
p q r [(∼ p∨ ∼ q) ∧ p ∧ (r −→ q)] −→ ∼r
V V V F F F V V F
V V F F F F V V V
V F V V V F F V F
V F F V V V V V V
F V V V F F V V F
F V F V F F V V V
F F V V F F F V F
F F F V F F V V V
71.
a).
p∨ ∼ q
r ←→∼ q
p∨ ∼ r
p
Solución.-
p q r [(p∨ ∼ q) ∧ (r ←→∼ q) ∧ (p∨ ∼ r)] −→ p

V V V V F F F V V V
V V F V V V V V V V
V F V V V V V V V V
V F F V F F F V V V
F V V F F F F F V F
F V F F F V F V V F
F F V V V V F F V F
F F F V F F F V V F
b).
∼ p −→ q
∼ r −→∼ q
∼ (p∧ ∼ t)
∼r
t
Solución.-
p q r t [(∼ p −→ q) ∧ (∼ r −→∼ q) ∧ ∼ (p∧ ∼ t) ∧ ∼ r] −→ t

V V V V V V V V V F F V V
V V V F V V V F F F F V F
V V F V V F F F V F V V V
V V F F V F F F F F V V F
V F V V V V V V V F F V V
V F V F V V V F F F F V F
V F F V V V V V V V V V V
V F F F V V V F F F V V F
F V V V V V V V V F F V V
F V V F V V V V V F F V F
F V F V V F F F V F V V V
F V F F V F F F V F V V F
F F V V F F V F V F F V V
F F V F F F V F V F F V F
F F F V F F V F V F V V V
F F F F F F V F V F V V F
En cada uno de los siguientes ejercicio, demostrar la conclusión dada haciendo el uso de las reglas
de inferencia.
72. a). Demostrar u∧ ∼ v b). Demostrar G ∧ F

1).- v −→∼ p 1).- C −→ B

2).- p∧ ∼ t 2).- ∼ D −→ (E ∧ F)
3).- s −→ t 3).- A∧ ∼ B
4).- q −→ u 4).- (A ∧ E) −→ G
5).- s ∨ (q ∧ r) 5).- C∨ ∼ D
6).- ∼ t 2 L.S. 6).- B ∨ (E ∧ F) 1,2,5 D.C.
7).- ∼ s 3,6 T.T. 7).- ∼ B 3 L.S.
8).- q ∧ r 5,7 T.P. 8).- E ∧ F 6,7 T.P.
9).- q 8 L.S. 9).- A 3 L.S.
10).- u 4,9 P.P. 10).- E 8 L.S.
11).- p 2 L.S. 11).- A ∧ E 9,10 L.C.
12).- ∼ v 1,11 T.T. 12).- G 11,4 P.P.
13).- u∧ ∼ v 10,12 L.C. 13).- F 8 L.S.
14).- G ∧ F 12,13 L.C.
73. a).- Demostrar x = 3 ∨ y < 2 b).- Demostrar y , 2 ∧ y > 2
1).- x = y ∨ x < y 1).- y ≯ 2 −→ x ≯ 2

2).- (x < 3 ∧ y = x + 1) −→ y , 8 2).- x ≯ 5 ∨ y , 2
3).- x = 3 ∨ y = 8 3).- x = y + 3 ∧ y < 4
4).- x , y ∧ y = x + 1 4).- (y > 2 ∧ y < 4) −→ x > 5
5).- x ≮ 3 −→ x ≮ y 5).- x , y + 3 ∨ x > 2
6).- x , y 4 L.S. 6).- x = y + 3 3 L.S.
7).- x < y 1,6 T.P. 7).- x > 2 5,7 T.P.
8).- x < 3 5,7 T.T. 8).- y > 2 1,7 T.T.
9).- y = x + 1 4 L.S. 9).- y < 4 3 L.S.
10).- x < 3 ∧ y = x + 1 8,9 L.C. 10).- y > 2 ∧ y < 4 8,9 L.C.
11).- y , 8 2,10 P.P. 11).- x > 5 4,10 P.P.
12).- x = 3 3,11 T.P. 12).- y , 2 2,11 T.P.
13).- x = 3 ∨ y < 2 12 L.A. 13).- y , 2 ∧ y > 2 8,12 L.C.
74. a).- Demostrar r ∨ s b).- Demostrar r ∨ s

1).- p −→∼ C 1).- p −→∼ A

2).- A∧ ∼ B 2).- ∼ q −→ B
3).- (∼ p ∨ q) −→ (r ∧ t) 3).- ∼ p −→ r
4).- B ∧ D 4).- A∨ ∼ B
5).- A −→ (C∨ ∼ D) 5).- q −→ r
6).- A 2 L.S. 6).- ∼ p ∨ q 1,2,4 D.D.
7).- C∨ ∼ D 5,6 P.P. 7).- r ∨ r 3,5,6 D.C.
8).- ∼ B 2 L.S. 8).- r 7 ley de idem
9).- D 4,8 T.P. 9).- r ∨ s 8 L.A.
10).- C 7,9 T.P.
11).- ∼ p 1,10 T.T.
12).- ∼ p ∨ q 11 L.A.
13).- r ∧ t 3,12 P.P.
14).- r 13 L.S.
15).- r ∨ s 14 L.A.
75. a).- Demostrar x , 3 ∨ y , 1 b).- Demostrar x = 5 ∨ z > 5
1).- x = 3 −→ y ≮ 3 1).- x , 7 −→ z ≯ x
2).- x = y ∧ x ≮ y 2).- x < 6 ∨ x = 3
3).- x ≮ 5 ∨ y < 3 3).- x = 3 −→ z > x
4).- x = y −→ (x = y + 2 ∨ x < 5) 4).- x < 6 −→ z > x
5).- x = y + 2 −→ x < y 5).- x = 5 ∨ x , 7
6).- x = y 2 L.S. 6).- (z > x) ∨ (z > x) 2,3,4 D.C.
7).- x = y + 2 ∨ x < 5 4,6 P.P. 7).- z > x 6 ley de idm
8).- x ≮ y 2 L.S. 8).- x = 7 1,7 T.T.
9).- x , y + 2 5,8 T.T. 9).- x = 5 5,8 T.P.
10).- x < 5 7,9 T.P. 10).- x = 5 ∨ z > 5 9 L.A.
11).- y < 3 3,10 T.P.
12).- x , 3 1,11 T.T.
76. a).- Demostrar s ∨ t b).- Demostrar ∼ p ∨ q

1).- (p −→ r) −→ (∼ A ∨ B) 1).- (A ∧ B) −→∼ (r −→∼ s)

2).- p −→ q 2).- t −→∼ s
3).- B −→ s 3).- r −→ t
4).- q −→ r 4).- p −→ A
5).- ∼ A −→ s 5).- p −→ B
6).- p −→ r 2,4 S.H. 6).- r −→∼ s 2,3 S.H.
7).- ∼ A ∨ B 1,6 P.P. 7).- ∼ (A ∧ B) 1,6 T.T.
8).- s ∨ s 3,5,7 D.C. 8).- ∼ A∨ ∼ B 7 ley de Morgan
9).- s 8 ley de idm 9).- ∼ p∨ ∼ p 4,5,8 D.D.
10).- s ∨ t 9 L.A. 10).- ∼ p 9 ley de idm.
11).- ∼ p ∨ q 10 L.A.
77. a).- Demostrar x < 6 b).- Demostrar x > 4

1).- x > y ∨ x < 6 1).- x > y ∨ y = 3
2).- x > y −→ x > 4 2).- x > 4 −→ y ≯ 1
3).- x > 4 −→ x = 5 3).- x > y −→ x > 4
4).- x < 6 −→ x = 5 4).- x = y −→ y ≯ 1
5).- (x = 5 ∨ z > x) −→ y < z 5).- x > y ∨ x = y
6).- x > y −→ y ≮ z 6).- y = 3 −→ y > 1
7).- x > y −→ x = 5 2,3 S.H. 7).- x > y −→ y ≯ 1 2,3, S.H.

8).- (x = 5) ∨ (x = 5) 1,4,7 D.C. 8).- (y ≯ 1) ∨ (y ≯ 1) 4,5,7 D.C.
9).- x = 5 8 ley de idm. 9).- y ≯ 1 8 ley de idm.
10).- x = 5 ∨ z > x 9 L.A. 10).- y , 3 6,9 T.T.
11).- y < z 5,10 P.P. 11).- x > y 1,10 T.P.
12).- x ≯ y 6,11 T.T. 12).- x > 4 3,11 P.P.
13).- x < 6 1,12 T.P.
Determinar la validez de los siguientes razonamientos.
78. Si la ballena es un mamı́fero entonces toma oxigeno del aire. Si toma su oxigeno del aire, enton-
ces no necesita branquias. La ballena es un mamı́fero y habita en el océano. Por tanto, habita
en el océano y no necesita branquias.
Solución.-
p: ballena es un mamifero 1).- p −→ q

q: toma oxigeno del aire 2).- q −→∼ r
r: branquias 3).- p ∧ s
s: habita en el oceano
4).- p −→∼ r 1,2 S.H.
5).- p 3 L.S.
6).- ∼ r 4,5 P.P.
7).- s 3 L.S.
8).- s∧ ∼ r 6,7 L.C.
∴ la solución en lenguaje común es:
La ballena habita en el océano y no necesita branquias, entonces el razonamiento es
valido.
79. Si la enmienda no fue aprobada entonces la constitución queda como estaba. Si la constitución
queda como estaba, entonces no podemos añadir nuevos miembros al comité. Podemos añadir
nuevos miembros al comité o el informe se retrasara un mes. Pero el informe no se retrasara un
mes: por tanto, la enmienda fue aprobada.
Solución.-
p: enmienda aprobada 1).- ∼ p −→ q
q: constitucion queda como estaba 2).- q −→∼ r
r: añadir mienbros al comite 3).-r ∨ s
s: informe se retrasa un mes 4).- ∼ s
5).- r 3,4 T.P.

6).- ∼ q 2,5 T.T.
7).- p 1,6 T.T.
∴ la solución en lenguaje común es:
La enmienda fue aprobada, entonces el razonamiento es valido.
80. Negar las siguientes proposiciones.
a).- ∀x : p(x)∨ ∼ q(x) b).- ∃x/p(x)∨ ∼ q(x)
Negacion Negacion
∼ (∀x : p(x)∨ ∼ q(x)) ∼ (∃x/p(x)∨ ∼ q(x))
≡ ∃x/ ∼ (p(x)∨ ∼ q(x)) ≡ ∀x :∼ (p(x)∨ ∼ q(x))
≡ ∃x/ ∼ p(x) ∧ q(x) ≡ ∀x :∼ p(x) ∧ q(x)
c).- ∀x : p(x) −→ q(x) d).- ∃x/p(x) ←→∼ q(x)

I.6. EJERCICIOS VARIOS 31
Negacion Negacion
∼ (∀x : p(x) −→ q(x)) ∼ [∃x/p(x) ←→∼ q(x)]
≡ ∃x/ ∼ (∼ p(x) ∨ q(x)) ≡ ∀x :∼ [(p(x) −→∼ q(x)) ∧ (∼ q(x) −→ p(x))]
≡ ∃x/p(x)∧ ∼ q(x) ≡ ∀x :∼ [(∼ p(x)∨ ∼ q(x)) ∧ (q(x) ∨ p(x))]
≡ ∀x : [(p(x) ∧ q(x)) ∨ (∼ q(x)∧ ∼ p(x))]
I.6. EJERCICIOS VARIOS
Sabiendo que p es F y que q y r son proposiciones cualesquiera, determinar el valor de verdad de la

proposición x tal que:
83. [(∼ p ∧ x) ⊻ (p∧ ∼ q)] ←→∼ (p −→ r) sea V
Solución.-
[(V ∧ x) ⊻ (F∧ ∼ q)] ←→∼ (F −→ r) es V
[(V ∧ x) ⊻ (F∧ ∼ q)] ←→∼ V es V
[(V ∧ x) ⊻ F] ←→ F es V
(V ∧ x) ⊻ F es F
V ∧ x es F
∴ x es F
84. [(∼ p ∨ r) ←→∼ (∼ x −→ p)] ⊻ (q −→∼ p) sea V
Solución.-
[(V ∨ r) ←→∼ (∼ x −→ F)] ⊻ (q −→ V ) es V
[V ←→∼ (x ∨ F)] ⊻ V es V
V ←→∼ (x ∨ F) es F
∼ (x ∨ F) es F
x ∨ F es V
∴ x es V
85. [(p −→∼ q) ←→ (x ∨ p)] −→∼ (r −→∼ p) sea F
Solución.-
[(p −→∼ q) ←→ (x ∨ p)] es V
[(F −→∼ q) ←→ (x ∨ F)] es V
[V ←→ (x ∨ F)] es V
x ∨ F es V
∴ x es V
Simplificar las siguientes proposiciones.

86. {[p ∧ (q −→ r)] ∧ [p −→ (q∧ ∼ r)]} ∨ {(p ∧ q) ∨ [(p ∧ r) ∧ (q∨ ∼ r)]}
Simplificación.-
≡ {[p ∧ (∼ q ∨ r)] ∧ [∼ p ∨ (q∧ ∼ r)]} ∨ {(p ∧ q) ∨ {[(p ∧ r) ∧ q] ∨ [(p ∧ r)∧ ∼ r]}}, por
definición de implicación y por leyes de distributivas
≡ {[p ∧ (∼ q ∨ r)] ∧ [∼ p∨ ∼ (∼ q ∨ r)]} ∨ {(p ∧ q) ∨ {[(p ∧ q) ∧ r] ∨ [p ∧ (r∧ ∼ r)]}}, por leyes
de Morgan y de asociativas
≡ {[p ∧ (∼ q ∨ r)]∧ ∼ [p ∧ (∼ q ∨ r)]} ∨ {(p ∧ q) ∨ {[(p ∧ q) ∧ r] ∨ [p ∧ F]}}, por leyes de
Morgan y de negación
≡ F ∨ {(p ∧ q) ∨ {[(p ∧ q) ∧ r] ∨ F}}, por leyes de negación y de absorción
≡ (p ∧ q) ∨ [(p ∧ q) ∧ r], por leyes de identidad
≡ p ∧ q, por ley de absorción
87. [(∼ p∧ ∼ q) ←→∼ (q −→ p)] ⊻ {(p∧ ∼ q)∨ ∼ [(p∧ ∼ q) ∨ (q −→ p)]}
Simplificación.-
≡ {[∼ (p ∨ q) −→∼ (q −→ p)] ∧ [∼ (q −→ p) −→∼ (p ∨ q)]} ⊻ {(p∧ ∼ q) ∨ [∼ (p∧ ∼ q)∧ ∼
(q −→ p)]}, por definición de doble implicación y por ley de Morgan
≡ {[(p ∨ q)∨ ∼ (∼ q ∨ p)] ∧ [(∼ q ∨ p)∨ ∼ (p ∨ q)]} ⊻ {(p∧ ∼ q) ∨ [∼ (p∧ ∼ q)∧ ∼ (∼ q ∨ p)]},
por definición de implicación
≡ {[(p ∨ q) ∨ (q∧ ∼ p)] ∧ [(∼ q ∨ p) ∨ (∼ p∧ ∼ q)]} ⊻ {(p∧ ∼ q) ∨ [(∼ p ∨ q) ∧ (q∧ ∼ p)]}, por
leyes de Morgan
≡ {{p ∨ [q ∨ (q∧ ∼ p)]} ∧ {p ∨ [∼ q ∨ (∼ p∧ ∼ q)]}} ⊻ {(p∧ ∼ q) ∨ {q ∧ [∼ p ∧ (∼ p ∨ q)]}, por
leyes de asociativas
≡ [(p ∨ q) ∧ (p∨ ∼ q)] ⊻ [(p∧ ∼ q) ∨ (q∧ ∼ p)], por leyes de absorción
≡ [p ∨ (q∧ ∼ q)] ⊻ {[(p∧ ∼ q) ∨ q] ∧ [(p∧ ∼ q)∨ ∼ p]}, por leyes de distributivas
≡ (p ∨ F) ⊻ {[(p ∨ q) ∧ (∼ q ∨ q)] ∧ [(p∨ ∼ p) ∧ (∼ q∨ ∼ p)]}. por leyes de negación y de
distributivas
≡ p ⊻ {[(p ∨ q) ∧ V ] ∧ [V ∧ (∼ q∨ ∼ p)]}, por leyes de identidad y de negación
≡ p ⊻ [(p ∨ q) ∧ (∼ q∨ ∼ p)], por ley de identidad
≡∼ {p ←→ [(p ∨ q) ∧ (∼ q∨ ∼ p)]}, por definición de disyunción exclusiva
≡∼ {{p −→ [(p ∨ q) ∧ (∼ q∨ ∼ p)]} ∧ {[(p ∨ q) ∧ (∼ q∨ ∼ p)] −→ p}}. por definición de
doble implicación
≡∼ {{∼ p ∨ [(p ∨ q) ∧ (∼ q∨ ∼ p)]} ∧ {∼ [(p ∨ q) ∧ (∼ q∨ ∼ p)] ∨ p}}, por definición de
implicación
≡∼ {{[∼ p ∨ (p ∨ q)] ∧ [∼ p ∨ (∼ q∨ ∼ p)]} ∧ {[∼ (p ∨ q)∨ ∼ (∼ q∨ ∼ p)] ∨ p}}, por leyes de
distributivas y de Morgan
≡∼ {{[(∼ p ∨ p) ∨ q] ∧ [∼ q ∨ (∼ p∨ ∼ p)]} ∧ {[(∼ p∧ ∼ q) ∨ (q ∧ p)] ∨ p}}, por leyes
asociativas y de Morgan
≡∼ {[(V ∨ q) ∧ (∼ p∨ ∼ q)] ∧ {∼ (p ∨ q) ∨ [(p ∧ q) ∨ p]}}, por leyes de negación, idempo-
tencia y de asociativas
≡∼ {[V ∧ (∼ p∨ ∼ q)] ∧ [∼ (p ∨ q) ∨ p], por leyes de absorción
≡∼ {∼ (p ∧ q) ∧ [∼ (p ∨ q) ∨ p]}, por leyes de identidad y de Morgan
≡ (p ∧ q) ∨ [(p ∨ q)∧ ∼ p], por leyes de Morgan
≡ (p ∧ q) ∨ [(p∧ ∼ p) ∨ (q∧ ∼ p)], por leyes de distributivas
≡ (p ∧ q) ∨ [F ∨ (q∧ ∼ p)], por ley negación
≡ (p ∧ q) ∨ (q∧ ∼ p), por ley de identidad

≡ q ∧ (p∨ ∼ p), por ley distributivas
≡ q ∧ V , por ley de negación
≡ q, por ley de identidad
88. [q ∧ (s −→ q)] ⊻ [(p∧ ∼ q) ∨ (∼ p ∧ q) ∨ (p −→ r) ∨ (p ←→ q)]
Simplificación.-
≡ [q ∧(∼ s ∨q)]⊻{(p∧ ∼ q)∨(∼ p ∧q)∨(∼ p ∨r)∨[(p −→ q)∧(q −→ p)]}, por definición
de implicación y de doble implicación
≡ q ⊻ {(p∧ ∼ q) ∨ (∼ p ∧ q) ∨ (∼ p ∨ r) ∨ [(∼ p ∨ q) ∧ (∼ q ∨ p)], por ley de absorción y
definición de implicación
≡ q ⊻ {(∼ p ∨ r) ∨ [(p∧ ∼ q) ∨ (∼ p ∧ q)] ∨ [∼ (p∧ ∼ q)∧ ∼ (∼ p ∧ q)]}, por leyes de
asociativas, conmutativo y de Morgan
≡ q ⊻ {(∼ p ∨ r) ∨ [(p∧ ∼ q) ∨ (∼ p ∧ q)]∨ ∼ [(p∧ ∼ q) ∨ (∼ p ∧ q)]}, por ley de Morgan
≡ q ⊻ [(∼ p ∨ r) ∨ V ], por ley de negación
≡ q ⊻ V , por ley de absorción
≡∼ (q ←→ V ), por definición de disyunción exclusiva
≡∼ [(q −→ V ) ∧ (V −→ q)], por definición de doble implicación
≡∼ [(∼ q ∨ V ) ∧ (F ∨ q)], por definición de implicación
≡∼ (V ∧ q), por leyes de absorción y de identidad
≡∼ q, por ley de identidad
89. {(p∧ ∼ q)∨ ∼ (p ←→ q)∨ ∼ [(q −→ p) ∨ (r −→ s)]} ⊻ [q ∧ (p −→ q)]
Simplificación.-
≡ {(p∧ ∼ q)∨ ∼ [(p −→ q) ∧ (q −→ p)]∨ ∼ [(∼ q ∨ p) ∨ (∼ r ∨ s)]} ⊻ [q ∧ (∼ p ∨ q)], por
definiciones de implicación y de doble implicación
≡ {(p∧ ∼ q)∨ ∼ [(∼ p ∨ q) ∧ (∼ q ∨ p)] ∨ [(q∧ ∼ p) ∧ (r∧ ∼ s)]} ⊻ q, por definición de
implicación y por leyes de Morgan y de absorción
≡ {(p∧ ∼ q) ∨ [(p∧ ∼ q) ∨ (q∧ ∼ p)] ∨ [(q∧ ∼ p) ∧ (r∧ ∼ s)]} ⊻ q, por ley de Morgan
≡ {[(p∧ ∼ q)∨(p∧ ∼ q)]∨{(q∧ ∼ p)∨[(q∧ ∼ p)∧(r∧ ∼ s)]}}⊻q, por leyes de asociativas
≡ [(p∧ ∼ q) ∨ (q∧ ∼ p)] ⊻ q, por leyes de idempotencia y de absorción
≡∼ {[(p∧ ∼ q) ∨ (q∧ ∼ p)] ←→ q}, por definición de disyunción exclusiva
≡∼ {{[(p∧ ∼ q) ∨ (q∧ ∼ p)] −→ q} ∧ {q −→ [(p∧ ∼ q) ∨ (q∧ ∼ p)]}}, por definición de
doble implicación
≡∼ {{∼ [(p∧ ∼ q) ∨ (q∧ ∼ p)] ∨ q} ∧ {∼ q ∨ [(p∧ ∼ q) ∨ (q∧ ∼ p)]}}, por definición de
implicación
≡∼ {{[(∼ p ∨ q) ∧ (∼ q ∨ p)] ∨ q} ∧ {[∼ q ∨ (p∧ ∼ q)] ∨ (q∧ ∼ p)}}, por leyes de Morgan y
de asociativas
≡∼ {{[(∼ p ∨ q) ∨ q] ∧ [(∼ q ∨ p) ∨ q]} ∧ [∼ q ∨ (q∧ ∼ p)]}, por leyes de distributivas y de
absorción
≡∼ {{[∼ p ∨ (q ∨ q)] ∧ [p ∨ (∼ q ∨ q)]} ∧ [(∼ q ∨ q) ∧ (∼ q∨ ∼ p)]}, por leyes de asociativas
y de distributivas
≡∼ {[(∼ p ∨ q) ∧ (p ∨ V )] ∧ [V ∧ (∼ q∨ ∼ p)]}, por leyes de idempotencia y de negación
≡∼ {[(∼ p ∨ q) ∧ V ] ∧ (∼ q∨ ∼ p)}, por leyes absorción y de identidad
≡∼ [(∼ p ∨ q) ∧ (∼ q∨ ∼ p)], por leyes de identidad

≡∼ [∼ p ∨ (q∧ ∼ q)], por ley de distributivas
≡∼ (∼ p ∨ F), por ley de negación
≡∼ (∼ p), por ley de identidad
≡ p, por ley de negación
Determinar una proposición x tal que:
90. x −→ (p ←→ x) ≡ p ∨ q
Solución.-
x −→ [(p −→ x) ∧ (x −→ p)] ≡ p ∨ q, por definición de doble implicación
∼ x ∨ [(∼ p ∨ x) ∧ (∼ x ∨ p)] ≡ p ∨ q, por definición de implicación
[∼ x ∨ (∼ p ∨ x)] ∧ [∼ x ∨ (∼ x ∨ p)] ≡ p ∨ q, por leyes de distributivas
[(∼ x ∨ x)∨ ∼ p] ∧ [(∼ x∨ ∼ x) ∨ p] ≡ p ∨ q, por ley de asociativas
(V ∨ ∼ p) ∧ (∼ x ∨ p) ≡ p ∨ q, leyes de negación y de idempotencia
V ∧ (∼ x ∨ p) ≡ p ∨ q, por leyes de absorción
∼ x ∨ p ≡ p ∨ q, por leyes de identidad
∴ x debe ser ∼ q para que verifique la equivalencia, es decir:
∼ (∼ q) ∨ p ≡ p ∨ q
q∨p ≡ p∨q
p∨q ≡ p∨q
91. [(p⊻ ∼ x) −→ x] ∧ (q ∨ x) ≡ p∨ ∼ q
Solución.-
[∼ (p⊻ ∼ x) ∨ x] ∧ (q ∨ x) ≡ p∨ ∼ q, por definición de implicación
{∼ [∼ (p ←→∼ x)] ∨ x} ∧ (q ∨ x) ≡ p∨ ∼ q, definición de disyunción exclusiva
{[(p −→∼ x) ∧ (∼ x −→ p)] ∨ x} ∧ (q ∨ x) ≡ p∨ ∼ q, por ley de negación y por definición
de doble implicación
{[(∼ p∨ ∼ x) ∧ (x ∨ p)] ∨ x} ∧ (q ∨ x) ≡ p∨ ∼ q, por definición de implicación
{[(∼ p∨ ∼ x) ∨ x] ∧ [(x ∨ p) ∨ x]} ∧ (q ∨ x) ≡ p∨ ∼ q, por leyes de distributivas
{[∼ p ∨ (∼ x ∨ x)] ∧ [p ∨ (x ∨ x)]} ∧ (q ∨ x) ≡ p∨ ∼ q, por leyes asociativas
[(∼ p ∨ V ) ∧ (p ∨ x)] ∧ (q ∨ x) ≡ p∨ ∼ q, por leyes de negación y de idempotencia
[V ∧ (p ∨ x)] ∧ (q ∨ x) ≡ p∨ ∼ q, leyes de absorción
(p ∨ x) ∧ (q ∨ x) ≡ p∨ ∼ q, por leyes de identidad
∴ x debe ser ∼ q para su aplicación ley de negación y de identidad para que cumpla
la equivalencia, es decir:
(p∨ ∼ q) ∧ (q∨ ∼ q) ≡ p∨ ∼ q
(p∨ ∼ q) ∧ V ≡ p∨ ∼ q
p∨ ∼ q ≡ p∨ ∼ q
92. [(r ∧ x) ←→ (x −→ r)] ∧ [q −→ (∼ p ∧ x)] ≡ p∧ ∼ q
Solución.-
{[(r ∧x) −→ (x −→ r)]∧[(x −→ r) −→ (r ∧x)]}∧[q −→ (∼ p∧x)] ≡ p∧ ∼ q, por definición

de doble implicación
{[∼ (r ∧ x) ∨ (∼ x ∨ r)] ∧ [∼ (∼ x ∨ r) ∨ (r ∧ x)]} ∧ [∼ q ∨ (∼ p ∧ x)] ≡ p∧ ∼ q, por definición
de implicación
{[(∼ r∨ ∼ x) ∨ (∼ x ∨ r)] ∧ [(x∧ ∼ r) ∨ (r ∧ x)]} ∧ [∼ q ∨ (∼ p ∧ x)] ≡ p∧ ∼ q, por leyes de
Morgan
{[(∼ x∨ ∼ x) ∨ (∼ r ∨ r)] ∧ [x ∧ (∼ r ∨ r)]} ∧ [∼ q ∨ (∼ p ∧ x)] ≡ p∧ ∼ q, por leyes de
asociativas y de distributivas
[(∼ x ∨ V ) ∧ (x ∧ V )] ∧ [∼ q ∨ (∼ p ∧ x)] ≡ p∧ ∼ q, por leyes de idempotencia y de
negación
(V ∧ x) ∧ [∼ q ∨ (∼ p ∧ x)] ≡ p∧ ∼ q, por leyes de absorción y de identidad
x ∧ [∼ q ∨ (∼ p ∧ x)] ≡ p∧ ∼ q, por leyes de identidad
(x∧ ∼ q) ∨ [x ∧ (∼ p ∧ x)] ≡ p∧ ∼ q, por leyes de distributivas
∴ x debe ser p para su aplicación las leyes de negación, identidad y de absorción para
su verificación de la equivalencia, es decir:
(p∧ ∼ q) ∨ [p ∧ (∼ p ∧ p)] ≡ p∧ ∼ q
(p∧ ∼ q) ∨ (p ∧ F) ≡ p∧ ∼ q
(p∧ ∼ q) ∨ F ≡ p∧ ∼ q
p∧ ∼ q ≡ p∧ ∼ q
Obtener las proposiciones correspondientes a los siguientes circuitos y simplificar.
93.
∼q ∼r
p q
∼q r
∼q p
∼q r p
∼p ∼q
q
q
∼r
Solución.-
[(p ∧q)∨(∼ q ∧p)∨(∼ p∧ ∼ q)]∧{[(∼ q∧ ∼ r)∨(∼ q ∧r)]∨{[(∼ q ∧r)∨(q∨ ∼ r)]∧(p ∨q)}},
proposición del circuito lógico
Simplificación.-
≡ {[(p ∧ q) ∨ (∼ q ∧ p)] ∨ (∼ p∧ ∼ q)} ∧ {[∼ q ∧ (∼ r ∨ r)] ∨ {[(∼ q ∧ r)∨ ∼ (∼ q ∧ r)] ∧ (p ∨ q)}},
por leyes asociativas, distributivas y de Morgan
≡ {[p ∧ (q∨ ∼ q)] ∨ (∼ p∧ ∼ q)} ∧ {(∼ q ∧ V ) ∨ [V ∧ (p ∨ q)]}, por leyes distributivas y de
negación
≡ [(p ∧ V ) ∨ (∼ p∧ ∼ q)] ∧ [∼ q ∨ (p ∨ q)], por leyes de negación y de identidad
≡ [p ∨ (∼ p∧ ∼ q)] ∧ [p ∨ (∼ q ∨ q)], por leyes de identidad y de asociativas
≡ [(p∨ ∼ p) ∧ (p∨ ∼ q)] ∧ (p ∨ V ), por leyes de distributivas y de negación
≡ [V ∧ (p∧ ∼ q)] ∧ V , por leyes de negación y de absorción
≡ p∧ ∼ q, por leyes de identidad
p ∼q
94.
p r ∼q
q
q
∼r
∼r q
∼r
r ∼q
∼p
Solución.-
{{{(p ∨ q) ∧ [(r∧ ∼ q) ∨ (q∨ ∼ r)]} ∨ [(∼ r ∧ q) ∨ (r∧ ∼ q)]}∧ ∼ r}∨ ∼ p, proposición del
circuito lógico
Simplificación.-
≡ {{{(p ∨ q) ∧ [(r∧ ∼ q)∨ ∼ (∼ q ∧ r)]} ∨ [(∼ r ∧ q) ∨ (r∧ ∼ q)]}∧ ∼ r}∨ ∼ p, por ley de
Morgan
≡ {{[(p ∨ q) ∧ V ] ∨ {[(∼ r ∧ q) ∨ r] ∧ [(∼ r ∧ q)∨ ∼ q]}}∧ ∼ r}∨ ∼ p, por leyes de negación
y de distributivas
≡ {{(p ∨ q) ∨ {[(r∨ ∼ r) ∧ (r ∨ q)] ∧ [(∼ r∨ ∼ q) ∧ (q∨ ∼ q)]}}∧ ∼ r}∨ ∼ p, por leyes de
identidad y de distributivas
≡ {{(p ∨ q) ∨ {[V ∧ (r ∨ q)] ∧ [(∼ r∨ ∼ q) ∧ V ]}}∧ ∼ r}∨ ∼ p, por leyes de negación
≡ {{(p ∨ q) ∨ [(r ∨ q) ∧ (∼ r∨ ∼ q)]}∧ ∼ r}∨ ∼ p, por ley de identidad
≡ {{[(p ∨ q) ∨ (r ∨ q)] ∧ [(p ∨ q) ∨ (∼ r∨ ∼ q)]}∧ ∼ r}∨ ∼ p, por leyes de distributivas
≡ {{[(p ∨ r) ∨ (q ∨ q)] ∧ [(p∨ ∼ r) ∨ (q∨ ∼ q)]}∧ ∼ r}∨ ∼ p, por leyes asociativas
≡ {{[(p ∨ r) ∨ q] ∧ [(p∨ ∼ r) ∨ V ]}∧ ∼ r}∨ ∼ p, por leyes de idempotencia y de negación
≡ {{[(p ∨ r) ∨ q] ∧ V }∧ ∼ r}∨ ∼ p, por ley de absorción
≡ {[(p ∨ r) ∨ q]∧ ∼ r}∨ ∼ p, por ley de identidad
≡ {[(p ∨ r)∧ ∼ r] ∨ (q∧ ∼ r)}∨ ∼ p, por leyes de distributivas
≡ {[(p∧ ∼ r) ∨ (r∧ ∼ r)] ∨ (q∧ ∼ r)}∨ ∼ p, por leyes de distributivas
≡ {[(p∧ ∼ r) ∨ F] ∨ (q∧ ∼ r)}∨ ∼ p, por ley de negación
≡ [(p∧ ∼ r) ∨ (q∧ ∼ r)]∨ ∼ p, por ley de identidad
≡ [∼ r ∧ (p ∨ q)]∨ ∼ p, por leyes de distributivas
≡ (∼ r∨ ∼ p) ∧ [∼ p ∨ (p ∨ q)], por leyes de distributivas
≡ (∼ r∨ ∼ p) ∧ [(∼ p ∨ p) ∨ q], por ley de asociativas
≡ (∼ r∨ ∼ p) ∧ (V ∨ q), por ley de negación
≡ (∼ r∨ ∼ p) ∧ V , por ley de absorción
≡∼ p∨ ∼ r, por ley de identidad
∼p
∼r
95. Determinar una proposición x, la mas simple de manera que el circuito lógico siguiente.
∼r x r
∼r r x
∼x ∼x
p
q
∼x
sea equivalente al circuito lógico.
∼p
Solución.-
{[(∼ r ∧ x) ∨ (∼ r∨ ∼ x)] ∧ {r ∨ [(r ∧ x)∨ ∼ x]}} ∨ [(p∨ ∼ x) ∧ q]
≡ {{[(∼ r ∧ x)∨ ∼ r]∨ ∼ x} ∧ {[r ∨ (r ∧ x)]∨ ∼ x}} ∨ [(p∨ ∼ x) ∧ q], por ley de asociativas
≡ [(∼ r∨ ∼ x) ∧ (r∨ ∼ x)] ∨ [(p∨ ∼ x) ∧ q], por ley de absorción
≡ [∼ x ∨ (∼ r ∧ r)] ∨ [(p∨ ∼ x) ∧ q], por leyes de distributivas
≡ (∼ x ∨ F) ∨ [(p∨ ∼ x) ∧ q], por ley de negación
≡∼ x ∨ [(p∨ ∼ x) ∧ q], por ley de identidad
≡ [∼ x ∨ (p∨ ∼ x)] ∧ (∼ x ∨ q), por leyes de distributivas
≡ [p ∨ (∼ x∨ ∼ x)] ∧ (∼ x ∨ q), por ley de asociativas
≡ (p∨ ∼ x) ∧ (∼ x ∨ q), por ley de idempotencia
∴ x debe ser p para su aplicación leyes de negación y de identidad para su verificación
la equivalencia al circuito lógico es decir:
(p∨ ∼ p) ∧ (∼ p ∨ q) ≡∼ p ∨ q
V ∧ (∼ p ∨ q) ≡∼ p ∨ q
∼ p ∨ q ≡∼ p ∨ q
CAPÍTULO II
CONJUNTOS
II.1. Relación entre conjuntos
Inclusión de conjuntos
Sean A y B dos conjuntos definidos en el mismo universo, se dice que A esta incluido en B, en sı́mbo-
los
A ⊂ B ←→ ∀x : x ∈ A → x ∈ B
su diagrama de Venn es:
Igualdad de conjuntos
Se dice que dos conjuntos, A y B son iguales si A ⊂ B y B ⊂ A en sı́mbolos
A = B ←→ A ⊂ B ∧ B ⊂ A
38
II.2. OPERACIONES ENTRE CONJUNTOS 39
Conjunto de partes
Dado un conjunto A se entiende por conjunto de partes de A al conjunto formado por todos los sub-
conjuntos de A, en sı́mbolos
P (A) = {X/X ⊂ A}
o X ∈ P (A) ←→ X ⊂ A
II.2. Operaciones entre conjuntos
Unión de conjuntos
S
en sı́mbolos A S B = {x ∈ A ∨ x ∈ B}
es decir x ∈ (A B) ←→ x ∈ A ∨ x ∈ B
su representación en diagramas de Veen
A B
Intersección de conjuntos
T
en sı́mbolos A T B = {x/x ∈ A ∧ x ∈ B}
es decir x ∈ (A B) ←→ x ∈ A ∧ x ∈ B
su representación en diagramas de Venn
A B
U
40 CAPÍTULO II. CONJUNTOS
Complemento de un conjunto
en sı́mbolos Ac = {x ∈ U /x < A
es decir x ∈ Ac ←→ x < A
U
A
Diferencia de conjuntos
en sı́mbolos A − B = {x/x ∈ A ∧ x < B}

es decir x ∈ (A − B) ←→ x ∈ A ∧ x < B
luego se verifica A − B = A ∩ Bc

U
A B
Diferencia simétrica de conjuntos
en sı́mbolos A △ B = (A − B) ∪ (B − A)
o bien A △ B = (A ∩ Bc ) ∪ (B ∩ Ac )
o bien A △ B = (A ∪ B) − (A ∩ B)

II.3. LEYES DE OPERACIONES CON CONJUNTOS 41
U
A B
II.3. Leyes de operaciones con conjuntos
1. Leyes de idempotencia A ∪ A = A, A ∩ A = A
2. Leyes conmutativas A ∪ B = B ∪ A, A ∩ B = B ∩ A
3. Leyes asociativas A ∪ (B ∪ C) = (A ∪ B) ∪ C,
A ∩ (B ∩ C) = (A ∩ B) ∩ C
4. Leyes distributivas A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
5. Leyes de absorción A ∩ (A ∪ C) = A, A ∪ (A ∩ C) = A
A ∪ U = U, A∩∅ = ∅
6. Leyes de De Morgan (A ∪ B)c = Ac ∩ Bc

(A ∩ B)c = Ac ∪ Bc
7. Leyes de complemento A ∪ Ac = U , A ∩ Ac = ∅, (Ac )c = A

A ∩ Bc = A − B, U c = ∅, ∅c = U
8. Leyes de identidad A∪∅ = A A∩U = A
II.4. Cardinal de un conjunto
Propiedades
Para dos conjuntos:
1. η(∅) = 0
2. A = B → η(A) = η(B)
3. A ⊆ B −→ η(A) ≤ η(B)
4. η(A − B) = η(A) − η(A ∩ B)

5. η(A △ B) = η(A ∪ B) − η(A ∩ B)
6. η(A ∪ B) = η(A) + η(B) − η(A ∩ B)
7. η(U ) = η(A) + η(AC )
Para tres conjuntos:
1. η(A ∪ B ∪ C) = η(A) + η(B) + η(C) − η(A ∩ B) − η(A ∩ C) − η(B ∩ C) + η(A ∩ B ∩ C)
2. η[A − (B ∪ C)] = η(A) − η(A ∩ B) − η(A ∩ C) + η(A ∩ B ∩ C)
3. η[(A ∩ B) − C] = η(A ∩ B) − η(A ∩ B ∩ C)
4. η[(A ∪ B) − C] = η(A ∪ B) − η(A ∩ C) − η(B ∩ C) + η(A ∩ B ∩ C)
II.5. Producto cartesiano
en sı́mbolos A × B = {(x, y)/x ∈ A ∧ y ∈ B}

o bien (x, y) ∈ A × B ←→ x ∈ A ∧ y ∈ B
si B = A, entonces A × A = A2 = {(x, y)/x ∈ A ∧ y ∈ A}
II.6. EJERCICIOS RESUELTOS

1. Escribir por extensión cada uno de los siguientes conjuntos.
➤ A = {x ∈ N /1 < x ⩽ 7}
por extensión.-
A = {2, 3, 4, 5, 6, 7}
➤ B = {x ∈ N / − 1 ⩽ x < 9}
por extensión.-
B = {1, 2, 3, 4, 5, 6, 7, 8}
➤ C = {x ∈ Z/(x + 1)2 = 4}
por extensión.-
(x + 1)2 = 4
x2 + 2x + 1 = 4
x2 + 2x − 3 = 0
(x + 3)(x − 1) = 0
x = −3; x=1
∴ C = {−3, 1}
➤ D = {x/x2 = 2x}
por extensión.-
D = {0, 2}
II.6. EJERCICIOS RESUELTOS 43
➤ E = {x/x3 = x}
por extensión.-
E = {−1, 0, 1}
2. Escribir por extensión los conjuntos.
A = {x ∈ U / − 3 < x ⩽ 3} y B = {x ∈ U /x2 ∈ U }
para los casos en que:
a). U = {1, 2, 3, 4, 5, 6, 7, 8, 9}
b). U = {−3, −2, −1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
Solución.-
a). A = {1, 2, 3}; B = {1, 2, 3}

b). A = {−2, −1, 0, 1, 2, 3}; B = {−3, −2, −1, 0, 1, 2, 3}
3. Si A,B y C son los conjuntos del ejercicio anterior, hallar para cada inciso:
A ∩ B, A ∪ B, A − B, B − A, A △ B, y Ac △ Bc
a). Solución.-
A ∩ B = {1, 2, 3}; A ∪ B = {1, 2, 3}; A − B = ∅; B−A = ∅
A △ B = (A − B) ∪ (B − A) = ∅ ∪ ∅ = ∅
Ac = {4, 5, 6, 7, 8, 9} Bc = {4, 5, 6, 7, 8, 9}
A △ B = (A − B ) ∪ (B − Ac ) = ∅ ∪ ∅ = ∅
c c c c c
b). Solución.-
A ∩ B = {−2, −1, 0, 1, 2, 3}; A ∪ B = {−3, −2, −1, 0, 1, 2, 3};
A − B = ∅; B − A = {−3}
A △ B = (A − B) ∪ (B − A) = {∅} ∪ {−3} = {−3}
Ac = {−3, 4, 5, 6, 7, 8, 9} Bc = {4, 5, 6, 7, 8, 9}
A △ B = (A − B ) ∪ (B − Ac ) = {−3} ∪ {∅} = {−3}
c c c c c
4. Sean los conjuntos:

A = {0, ∅}
B = {−1, 0, 1}
C = {a, b, c, d}
D = {a, e, i, o, u} Determinar:
a). El numero de elementos o el cardinal de los conjuntos P (A), P (B), P (C) y P (D)
b). Los conjuntos P (A), P (B), P (C) y P (D).
c). Los conjuntos P (A ∩ B), P (P (A ∩ B)), P (A) ∩ P (B)
Solución.-
a). El numero de elementos o el cardinal de los conjuntos P (A), P (B), P (C) y P (D)
P (A) = 22 = 4 elementos
P (B) = 23 = 8 elementos
P (C) = 24 = 16 elementos
P (D) = 25 = 32 elementos
b). Los conjuntos P (A), P (B), P (C) y P (D).
P (A) = {{0}, {∅}, A, ∅}
P (B) = {{−1}, {0}, {1}, {−1, 0}, {−1, 1}, {0, 1}, B, ∅}
P (C) = {{a}, {b}, {c}, {d}, {a, b}, {a, c}, {a, d}, {b, c}, {b, d}, {c, d}, {a, b, c}, {a, b, d}, {a, c, d}, {b, c, d}, C, ∅}
P (D) = {{a}, {e}, {i}, {o}, {u}, {a, e}, {a, i}, {a, o}, {a, u}, {e, i}, {e, o}, {e, u}, {i, o}, {i, u}, {o, u}, {a, e, i}, {a, e, o}, {a, e, u},
{a, i, o}, {a, i, u}, {a, o, u}, {e, i, o}, {e, i, u}, {e, o, u}, {i, o, u}, {a, e, i, o}, {a, e, i, u}, {a, e, o, u}, {a, i, o, u}, {e, i, o, u}, D, ∅}
c). Los conjuntos P (A ∩ B), P (P (A ∩ B)), P (A) ∩ P (B)
A ∩ B = {0}, entonces P (A ∩ B) = {A ∩ B, ∅}
P (P (A ∩ B)) = {{0}, {∅}, P (A ∩ B), ∅}
P (A) ∩ P (B) = {{0}, {∅}, A, ∅} ∩ {{−1}, {0}, {1}, {−1, 0}, {−1, 1}, {0, 1}, B, ∅} = {{0}, ∅}
5. Dados los conjuntos:

U = {a, b, c, d, e, f , g, h}, A = {a, c, d, f , h}, B = {b, c, e, f }, C = {a, c, d, e}
Hallar:
a). Ac , Bc , C c
b). A ∩ Bc , B ∩ Ac , (A − B) ∪ (B − A)
c). (A △ B) − A, P [(A △ B) ∩ Ac ]
d). P [(A − B) ∩ (B ∩ Ac )], P [P ((A − B) ∩ (B ∩ Ac ))]
Solución.-
a). Ac = {b, e, g}, Bc = {a, d, g, h}, C c = {b, f , g, h}

b). A ∩ Bc = {a, d, h}, B ∩ Ac = {b, e}, (A − B) ∪ (B − A) = {a, d, h} ∪ {b, e} = {a, b, d, e, h}
c). (A △ B) − A = [(A − B) ∪ (B − A)] − A = {a, b, d, e, h} − A = {b, e}
(A △ B) ∩ Ac = {a, b, d, e, h} ∩ {b, e, g}
P [(A △ B) ∩ Ac ] = {{b}, {e}, (A △ B) ∩ Ac , ∅}
d). (A − B) ∩ (B ∩ Ac ) = {a, d, h} ∩ {b, e} = ∅ luego se tiene

P [(A − B) ∩ (B ∩ Ac )] = {{∅}, ∅}
(C − B) ∩ (B − Ac ) = {a, d, h} ∩ {c, f } = ∅ y P [(A − B) ∩ (B − Ac )] = {{∅}, ∅} lego se tiene
P [P ((A − B) ∩ (B − A ))] = {{{∅}}, {∅}, P [(A − B) ∩ (B − Ac )], ∅}
c
6. Determinar los elementos de A y B sabiendo que el universo es.

U = {1, 2, 3, 4, 5, 6, 7, 8}, A △ B = {1, 2, 3, 4, 5} y Bc = {1, 4, 7}
Solución.-
(Bc )c = B = {2, 3, 5, 6, 8}
A △ B = (A − B) ∪ (B − A) = {1, 2, 3, 4, 5}
A ∩ B = {6, 8}
A ∪ B = {1, 2, 3, 4, 5, 6, 8}
A = {1, 4, 6, 8}
U
A B
1 6 2
3
4 8 5
7
7. Determinar los elementos de A, B y del universo U sabiendo que:

A ∪ B = {a, b, c, e, f , g, h}, A ∩ B = {a, e} y Bc = {c, d, g, i}
Solución.-
(Bc )c = B = {a, b, e, f , h, }
A = {a, e, c, g}
U = {a, b, c, d, e, f , g, h, i}
U
A B
c a b
f
g e h
i d
8. Si A = {a, b, c, d}, B = {d, x, y} y C = {a, y, z},
a). ¿Cuántos subconjuntos no vacı́os tiene el conjunto (A ∩ B) ∪ C?

b). ¿Cuántos el conjunto A ∩ (B ∪ C)?
Solución.-
a). (A ∩ B) ∪ C = {d} ∪ {a, y, z} = {a, d, y, z} luego

P [(A ∩ B) ∪ C] = 24 = 16 luego todos los subconjuntos no vacı́os son 15 subconjuntos.
b). A ∩ (B ∪ C) = {a, d}
P [A ∩ (B ∪ C)] = 22 = 4 luego el numero de subconjuntos no vacı́os es 3.
9). Determinar la expresión que representa la parte sombreada en cada uno de los siguientes dia-
gramas.
a).
A B d).
A B
C C
[(A ∩ B) ∪ (B ∩ C)] − (A ∩ B ∩ C) (A △ B) ∩ C
b). e).
A B C
A B
C [(A △ B) ∩ (C ∩ D] ∪ [(A ∩ B ∩ C) − D]
[(B − A) ∪ (B − C)] ∪ [(A ∩ C) − (A ∩ B ∩ C)]
f).
c).
C
A B A B
C D
[(A ∩ B) ∪ C] − (A ∩ B ∩ C)
[(A △ B) ∩ C − D] ∪ [(A ∪ B) ∩ D − C]
10. Dados tres conjuntos A, B y C tales que satisfacen los enunciados siguientes:
1ro A ⊂ B ⊂ C; 2do si x ∈ C −→ x ∈ A
Determinar, ¿Cuál de los siguientes enunciados es falso? de las dos condiciones se sabe que:
A=B=C a). A ∩ B = C es V b). A ∪ B = C es V c). A ∩ B , A es F d). C − B = ∅ es V
11. Sean A y B dos conjuntos en un universo, tales que se verifica:

(A − B) ∪ (B − A) = A ∪ B
Determinar, ¿ Cuál de los siguientes enunciados es falso?
U
A B
a). Ac ∩ B = B es V b). Ac ∩ B = Ac es F c). A ∩ B = ∅ es V d). A ⊂ Bc es V
Usando leyes o propiedades de conjuntos, demostrar la equivalencia de los siguientes proposiciones.
12. (A ∩ B) ∪ (A − B) = A
Demostración.-
(A ∩ B) ∪ (A − B) = (A ∩ B) ∪ (A ∩ Bc ) por ley de complemento

c
= A ∩ (B ∪ B ) por ley de distributivas
= A∩U por leyes de complemento
=A por ley de identidad
13. [(A − B) ∪ B] − A = B − A
Demostración.-
[(A − B) ∪ B] − A = [(A ∩ Bc ) ∪ B] − A por ley de complemento

c
= [(A ∪ B) ∩ (B ∪ B)] − A por ley de distributivas
= [(A ∪ B) ∩ U ] − A por ley del complemento
c
= (A ∪ B) ∩ A por leyes de identidad y de complemento
= (A ∩ A ) ∪ (B ∩ Ac )
c
por ley de distributivas
= ∅ ∪ (B ∩ Ac ) por ley del complemento
c
= B∩A por ley de identidad
= B−A por ley del complemento
14. A − (A − B) = A ∩ B
Demostración.-
A − (A − B) = A ∩ (A ∩ Bc )c por ley del complemento

c
= A ∩ (A ∪ B) por leyes de Morgan y de complemento
c
= (A ∩ A ) ∪ (A ∩ B) por ley de distributivas
= ∅ ∪ (A ∩ B) por ley de complemento
= A∩B por ley de identidad
15. B − [A − (A − B)] = B − A
Demostración.-
B − [A − (A − B)] = B ∩ [A ∩ (A ∩ Bc )c ]c por ley del complemento

c c
= B ∩ [A ∩ (A ∪ B)] por leyes de Morgan y del complemento
= B ∩ [(A ∩ A ) ∪ (A ∩ B)]c
c
c
= B ∩ [∅ ∪ (A ∩ B)] por ley del complemento
c
= B ∩ (A ∩ B) por ley de identidad
c c
= B ∩ (A ∪ B ) por ley de Morgan
c c
= (B ∩ A ) ∪ (B ∩ B ) por ley de distributivas
c
= (B ∩ A ) ∪ ∅ por ley del complemento
= B ∩ Ac por ley de identidad
= B−A por ley del complemento
16. (A ∪ B) − (C − A) = A ∪ (B − C)
Demostración.-
(A ∪ B) − (C − A) = (A ∪ B) ∩ (C ∩ Ac )c por ley del complemento

c
= (A ∪ B) ∩ (C ∪ A) por leyes de Morgan y del complento
c
= A ∪ (B ∩ C ) por leyes de distributivas
= A ∪ (B − C) por ley del complemento
17. [A − (B − C)] ∪ C = (A − B) ∪ C
Demostración.-
[A − (B − C)] ∪ C = [A ∩ (B ∩ C c )c ] ∪ C por ley del complemento

c
= [A ∩ (B ∪ C)] ∪ C por leyes de Morgan y del complemento
c
= (A ∪ C) ∩ [(B ∪ C) ∪ C] por ley de distributivas
c
= (A ∪ C) ∩ [B ∪ (C ∪ C)] por ley de asociativas
c
= (A ∪ C) ∩ (B ∪ C) ley de idempotencia
c
= (A ∩ B ) ∪ C por ley de distributivas
= (A − B) ∪ C por ley delcomplemento
18. (A ∩ B) − (A ∩ C) = A ∩ (B − C)
Demostración.-
(A ∩ B) − (A ∩ C) = (A ∩ B) ∩ (A ∩ C)c por ley del complemento

c c
= (A ∩ B) ∩ (A ∪ C ) por ley de Morgan
c c
= [A ∩ (A ∪ C )] ∩ B por ley de asociativas
c c
= [(A ∩ A ) ∪ (A ∩ C )] ∩ B por ley de distributivas
c
= [∅ ∪ (A ∩ C )] ∩ B por ley del complemento
c
= (A ∩ C ) ∩ B por ley de identidad
c
= A ∩ (C ∩ B) por ley de asociativas
= A ∩ (B − C) por leyes de conmutatividad y del complemento
19. [A − (B ∪ C)] ∪ (A ∩ B) ∪ (A ∩ C) = A
Demostración.-
[A − (B ∪ C)] ∪ (A ∩ B) ∪ (A ∩ C) = [A ∩ (B ∪ C)c ] ∪ [A ∩ (B ∪ C)] por leyes del compl. y de dist.

= A ∩ [(B ∪ C)c ∪ (B ∪ C)] por ley de distributivas
= A∩U por ley del complemento
20. (A − B) ∪ (B − A) = (A ∪ B) − (A ∩ B)
Demostración.-
(A − B) ∪ (B − A) = (A ∩ Bc ) ∪ (B ∩ Ac ) por ley del complemento

= [(A ∩ B ) ∪ B] ∩ [(A ∩ B ) ∪ Ac ]
c c
= [(A ∪ B) ∩ (B ∪ B)] ∩ [(A ∪ A ) ∩ (B ∪ Ac )]
c c c
c c
= [(A ∪ B) ∩ U ] ∩ [U ∩ (A ∪ B )] por leyes del compl. y de conmutativas
c c
= (A ∪ B) ∩ (A ∪ B ) por ley de identidad
= (A ∪ B) ∩ (A ∩ B)c por ley de Morgan
= (A ∪ B) − (A ∩ B) por ley del complemento
21. (A ∪ B) − (A △ B) = A ∩ B
Demostración.-
(A ∪ B) − (A △ B) = (A ∪ B) ∩ [(A ∩ Bc ) ∪ (B ∩ Ac )]c por ley del compl. y por def. de dif. simetrica
= (A ∪ B) ∩ [(A ∩ Bc )c ∩ (B ∩ Ac )c ] por ley de Morgan
c c
= (A ∪ B) ∩ [(A ∪ B) ∩ (B ∪ A)] por leyes de Morgan y del complemento
c c
= [(A ∪ B) ∩ (A ∪ B)] ∩ (B ∪ A) por ley de asociativas
c c
= [B ∪ (A ∩ A )] ∩ (B ∪ A) por ley de distributivas
c
= (B ∪ ∅) ∩ (B ∪ A) por ley del complemento
c
= B ∩ (B ∪ A) por ley de identidad
= (B ∩ Bc ) ∪ (B ∩ A) por ley de distributivas
= ∅ ∪ (B ∩ A) por ley del complemento
= A∩B por leyes de identidad y de conmutativas
22. (A ∩ B) △ (B ∩ C) = (A △ C) ∩ B
Demostración.-
(A ∩ B) △ (B ∩ C) = [(A ∩ B) ∩ (B ∩ C)c ] ∪ [(B ∩ C) ∩ (A ∩ B)c ] por def. de diferencia simétrica

= [(A ∩ B) ∩ (Bc ∪ C c )] ∪ [(B ∩ C) ∩ (Ac ∪ Bc )] por ley de Morgan
c c c c
= {A ∩ [B ∩ (B ∪ C )]} ∪ {C ∩ [B ∩ (A ∪ B )]} por ley de asociativas
= {A ∩ [(B ∩ B ) ∪ (B ∩ C )]} ∪ {C ∩ [(B ∩ A ) ∪ (B ∩ Bc )]} por ley de dist.
c c c
= {A ∩ [∅ ∪ (B ∩ C c )]} ∪ {C ∩ [(B ∩ Ac ) ∪ ∅]} por ley del complemento

c c
= [A ∩ (B ∩ C )] ∪ [C ∩ (B ∩ A )] por ley de identidad
c c
= [(A ∩ C ) ∩ B] ∪ [(C ∩ A ) ∩ B] por ley de asociatividad
c c
= [(A ∩ C ) ∪ (C ∩ A )] ∩ B por ley de distributivas
= (A △ C) ∩ B por def. de diferencia simétrica
23. (A ∪ B) △ (B ∪ C) = (A △ C) − B
Demostración.-
(A ∪ B) △ (B ∪ C) = [(A ∪ B) ∩ (B ∪ C)c ] ∪ [(B ∪ C) ∩ (A ∪ B)c ] por def. de diferencia simétrica

= [(A ∪ B) ∩ (Bc ∩ C c )] ∪ [(B ∪ C) ∩ (Ac ∩ Bc )] por ley de Morgan
c c c c
= {[(A ∪ B) ∩ B ] ∩ C } ∪ {[(B ∪ C) ∩ B ] ∩ A } por leyes de conmu. y de asoc.
= {[(A ∩ Bc ) ∪ (B ∩ Bc )] ∩ C c } ∪ {[(B ∩ Bc ) ∪ (C ∩ Bc )] ∩ Ac } por ley de dist.
= {[(A ∩ Bc ) ∪ ∅] ∩ C c } ∪ {[∅ ∪ (C ∩ Bc )] ∩ Ac } por ley del complemento
c c c c
= [(A ∩ B ) ∩ C ] ∪ [(C ∩ B ) ∩ A ] por ley de identidad
c c c c
= [(A ∩ C ) ∩ B ] ∪ [(C ∩ A ) ∩ B ] por ley de asociatividad
c c c
= [(A ∩ C ) ∪ (C ∩ A )] ∩ B por ley de distributivas
= (A △ C) − B por def. de diferencia simétrica y por ley del complemento
24. B ⊂ A ←→ A ∪ B = A
Demostración.-
(⇒) B ⊂ A −→ A ∪ B = A
1.- sea x ∈ A∪B

x ∈ A∨x ∈ B por definición de unión de conjuntos
por hipótesis se tiene B ⊂ A, entonces x ∈ A
luego x ∈ A ∨ x ∈ A
x ∈ (A ∪ A) por definición de unión de conjuntos
x ∈ Apor ley de idempotencia
esto muestra que A ∪ B ⊂ A
2.- sea x∈A
como B ⊂ A
entonces x ∈ A ∨ x ∈ B
luego x ∈ (A ∪ B) por definicion de union de conjuntos
∴ de 1 y 2 se muestra que: A ∪ B = A
(⇐) A ∪ B = A → B ⊂ A
sea x∈B
como A ∪ B = A
entonces x ∈ A
∴ esto muestra que: A ∪ B = A −→ B ⊂ A
25. A ⊂ B ∧ A ⊂ C ↔ A ⊂ (B ∩ C)
Demostración.-
(⇒)A ⊂ B ∧ A ⊂ C → A ⊂ (B ∩ C)
sea x ∈ A
por hipótesis se tiene que:
A ⊂ B, entonces x ∈ B
A ⊂ C, entonces x ∈ C
luego x ∈ B ∧ x ∈ C
x ∈ (B ∩ C), por definición de intersección de conjuntos
∴ esto muestra que A ⊂ (B ∩ C)
(⇐)
A ⊂ (B ∩ C)
A ⊂ B∧A ⊂ C
∴ A ⊂ ∧A ⊂ C ↔ A ⊂ (B ∩ C)
26. P (A) ∪ P (B) ⊂ P (A ∪ B)

Demostración.-
sea X ∈ P (A) ∪ P (B)

X ∈ P (A) ∨ X ∈ P (B), por definición de unión de conjuntos
X ⊂ A ∨ X ⊂ B, por definición de conjunto de partes
X ⊂ (A ∪ B), por definición de unión de conjuntos
X ∈ P (A ∪ B), por definición de conjunto de partes
∴ esto muestra que:
P (A) ∪ P (B) ⊂ P (A ∪ B)
27. P [(A ∩ B) ∪ C] = P (A ∪ C) ∩ P (B ∪ C)
Demostración.-
(⇒) P [(A ∩ B) ∪ C] ⊂ P (A ∪ B) ∩ P (B ∪ C)
sea X ∈ P [(A ∩ B) ∪ C]
X ⊂ (A ∩ B) ∪ C por definición de conjunto de partes
X ⊂ (A ∪ C) ∩ (B ∪ C) por ley de distributivas
X ⊂ (A ∪ C) ∧ X ⊂ (B ∪ C) por definición de intersección de conjuntos
X ∈ P (A ∪ C) ∧ X ∈ P (B ∪ C) por definición de conjunto de partes
X ∈ P (A ∪ C) ∩ P (B ∪ C) por definición de intersección de conjuntos
∴ P [(A ∩ B) ∪ C] ⊂ P (A ∪ C) ∩ P (B ∪ C)
(⇐) P (A ∪ C) ∩ P (B ∪ C) ⊂ P [(A ∩ B) ∪ C]
sea X ∈ P (A ∪ C) ∩ P (B ∪ C)
X ∈ P (A ∪ C) ∧ X ∈ P (B ∪ C) por definición de intersección de conjuntos
X ⊂ (A ∪ C) ∧ X ⊂ (B ∪ C) por definición de conjunto de partes
X ⊂ (A ∪ C) ∩ (B ∪ C) por definición de intersección de conjuntos
X ⊂ (A ∩ B) ∪ C por ley de distributivas
X ∈ P [(A ∩ B) ∪ C] por definición de conjunto de partes
luego P (A ∪ C) ∩ P (B ∪ C) ⊂ P [(A ∩ B) ∪ C]
∴ P [(A ∩ B) ∪ C] = P (A ∪ C) ∩ P (B ∪ C)
28. (A ∩ B) × C = (A × C) ∩ (B × C)
Demostración.-
(⇒) (A ∩ B) × C ⊂ (A × C) ∩ (B × C)
sea (x, y) ∈ (A ∩ B) × C
x ∈ (A ∩ B) ∧ y ∈ C por definición del producto cartesiano
x ∈ A∧x ∈ B∧y ∈ C por definición de intersección de conjuntos
(x ∈ A ∧ y ∈ C) ∧ (x ∈ B ∧ y ∈ C) por leyes de asociatividad y de idempotencia
(x, y) ∈ (A × C) ∧ (x, y) ∈ (B × C) por definición de producto cartesiano
(x, y) ∈ (A × C) ∩ (B × C) por definición de intersección de conjuntos
∴ (A ∩ B) × C ⊂ (A × C) ∩ (B × C)
(⇐) (A × C) ∩ (A × C) ⊂ (A ∩ B) × C
sea (x, y) ∈ (A × C) ∩ (B × C)
(x, y) ∈ (A × C) ∧ (x, y) ∈ (B × C) por definición de intersección de conjuntos
(x ∈ A ∧ y ∈ C) ∧ (x ∈ B ∧ y ∈ C) por definición del producto cartesiano
(x ∈ A ∧ x ∈ B) ∧ (y ∈ C ∧ y ∈ C) por ley de asociatividad
x ∈ (A ∩ B) ∧ y ∈ (C ∩ C) por definición de intersección de conjuntos
x ∈ (A ∩ B) ∧ y ∈ C por ley de idempotencia
(x, y) ∈ (A ∩ B) × C por definición del producto cartesiano
ası́ (A × C) ∩ (A × C) ⊂ (A ∩ B) × C
∴ (A ∩ B) × C = (A × C) ∩ (B × C)
29. (A − B) × C = (A × C) − (B × C)
Demostración.-
(⇒) (A − B) × C ⊂ (A × C) − (B × C)
sea (x, y) ∈ (A − B) × C
x ∈ (A − B) ∧ y ∈ C por definición del producto cartesiano
(x ∈ A ∧ x < B) ∧ y ∈ C por definición de diferencia de conjuntos
x ∈ A ∧ (x < B ∧ y ∈ C) por ley de asociatividad
x ∈ A ∧ (y ∈ C ∧ x < B) por ley de conmutatividad
(x ∈ A ∧ y ∈ C) ∧ x < B por ley de asociatividad
(x ∈ A ∧ y ∈ C) ∧ (x < B ∨ y < C) por ley logica de adición
(x, y) ∈ (A × C) ∧ (x, y) < (B × C) por definición del producto cartesiano
(x, y) ∈ [(A × C) − (B × C)] por definición de diferencia de conjuntos
∴ (A − B) × C ⊂ (A × C) − (B × C)
(⇐) (A × C) − (B × C) ⊂ (A − B) × C
sea (x, y) ∈ [(A × C) − (B × C)]

(x, y) ∈ (A × C) ∧ (x, y) < (B × C) por definición de diferencia de conjuntos
(x ∈ A ∧ y ∈ C) ∧ (x < B ∨ y < C) por definición del producto cartesiano
[(x ∈ A ∧ y ∈ C) ∧ x < B] ∨ [(x ∈ A ∧ y ∈ C) ∧ y < C] por ley de distributivas
[x ∈ A ∧ (y ∈ C ∧ x < B)] ∨ [x ∈ A ∧ (y ∈ C ∧ y < C)] por ley de asociatividad
c
[(x ∈ A ∧ x < B) ∧ y ∈ C] ∨ [x ∈ A ∧ (y ∈ C ∧ y ∈ C )] por leyes de conm., asoc. y de comp.
[x ∈ (A − B) ∧ y ∈ C] ∨ [x ∈ A ∧ y ∈ (C ∩ C c )] por defs. de dif. y de inter. de conjuntos
[x ∈ (A − B) ∧ y ∈ C] ∨ [x ∈ A ∧ y ∈ ∅] por ley del complemento
(x, y) ∈ [(A − B) × C] ∨ (x, y) ∈ (A × ∅) por definición del producto cartesiano
(x, y) ∈ [(A − B) × C] ∨ (x, y) ∈ {∅} por propiedad ∀A ⊂ U , A × ∅ = ∅ × A = ∅
(x, y) ∈ [(A − B) × C] ∪ {∅} por definición de union de conjuntos
(x, y) ∈ [(A − B) × C] por ley de identidad
ası́ (A × C) − (B × C) ⊂ (A − B) × C
∴ (A − B) × C = (A × C) − (B × C)
30. Si A y B denotan dos conjuntos cualesquiera, simplificar:

{(A ∪ B) ∩ [(B − A) ∪ (A ∩ B)]} ∩ [A ∪ (A ∪ B)c ]
Simplificación.-
= {(A ∪ B) ∩ [(B ∩ Ac ) ∪ (A ∩ B)]} ∩ [A ∪ (Ac ∩ Bc )] por leyes del comp. y de Morgan

= {(A ∪ B) ∩ [B ∩ (Ac ∪ A)]} ∩ [(A ∪ Ac ) ∩ (A ∪ Bc )] por ley de distributivas
= [(A ∪ B) ∩ (B ∩ U )] ∩ [U ∩ (A ∪ Bc )] por ley del complemento
c
= [(A ∪ B) ∩ B] ∩ (A ∪ B ) por ley de identidad
c
= B ∩ (A ∪ B ) por ley de absorción
c
= (B ∩ A) ∪ (B ∩ B ) por ley de distributivas
= (A ∩ B) ∪ ∅ por leyes de conmutativa y del complemento
= A∩B por ley de identidad
31. Si A ⊂ B y A ∩ C = ∅, simplificar.
[(A ∩ C c ) − B] ∪ [B ∪ (A − C)]
Simplificación.-
= [(A ∩ C c ) ∩ Bc ] ∪ [B ∪ (A ∩ C c )] por ley del complemento

c c c
= {[(A ∩ C ) ∩ B ] ∪ (A ∩ C )} ∪ B por leyes de conmutatividad y de asociativas
c
= (A ∩ C ) ∪ B por ley de absorción
= A∪B por hipotesis A ∩ C = ∅ ↔ A ⊂ C c ↔ A ∩ C c = A
=B porA ⊂ B ↔ A ∪ B = B
32. Sean los conjuntos
U = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
A = {x ∈ U /2x ∈ U } = {0, 1, 2, 3}
B = {x ∈ U /1 < x < 7} = {2, 3, 4, 5, 6}
√
C = {x ∈ U / x ∈ U } = {0, 1, 4, 9}
Hallar: η(B − A), η(A △ C), η(Bc △ C c ) y η[(A ∪ C) ∩ B]
Solución.-
A ∩ B = {2, 3}
A ∪ C = {0, 1, 2, 3, 4, 9}
A ∩ C = {0, 1}
Bc = {0, 1, 7, 8, 9}
C c = {2, 3, 5, 6, 7, 8}
Bc ∪ C c = {0, 1, 2, 3, 5, 6, 7, 8, 9}
Bc ∩ C c = {7, 8}
(A ∪ C) ∩ B = {2, 3, 4}
➤ η(B − A) = η(B) − η(A ∩ B) = 5 − 2 = 3

➤ η(A △ C) = η(A ∪ C) − η(A ∩ C) = 6 − 2 = 4
➤ η(Bc △ C c ) = η(Bc ∪ C c ) − η(Bc ∩ C c ) = 9 − 2 = 7
➤ η[(A ∪ C) ∩ B] = 3
33. Sabiendo que A ⊂ C, B ⊂ C, η(C) = 100, η(A ∪ B) = 70, η(A ∩ B) = 20 y

η(B) − η(A) = 2, Hallar:
a). η[(C − A) ∩ B] b). η[(C − B) ∩ A]
Solución.-
η(B) − η(A) = 2
η(B) = 2 + η(A) (1)
ademas η(A ∪ B) = η(A) + η(B) − η(A ∩ B) (2)
sustituyendo (2) en (1)
70 = η(A) + 2 + η(A) − 20
88 = 2η(A)
η(A) = 44 (3)
η(B) = 2 + 44
η(B) = 46
como A ⊂ C → A ∩ C = A
η(A ∩ C) = η(A) = 44
como B ⊂ C → B ∩ C = B
η(B ∩ C) = η(B) = 46
luego a). η[(C − A) ∩ B] = η[(C ∩ Ac ) ∩ B] por ley del complemento

= η[(C ∩ B) ∩ Ac ] por ley de asociatividad
= η[(C ∩ B) − A] por ley del complemento
= η(C ∩ B) − η(C ∩ B ∩ A) por la propiedad 3 para tres conjuntos
= η(C ∩ B) − η(B ∩ A) como B ⊂ C → B ∩ C = B
= 46 − 20 = 26
b). η[(C − B) ∩ A] = η[(C ∩ Bc ) ∩ A] por ley del complemento

c
= η[(C ∩ A) ∩ B ] por ley de asociatividad
= η[(C ∩ A) − B] por ley del complemento
= η(C ∩ A) − η(C ∩ A ∩ B) por la propiedad 3 para tres conjuntos
= η(C ∩ A) − η(A ∩ B) como A ⊂ C → A ∩ C = A
= 44 − 20 = 24
34. Sean los conjuntos, A y B tales que A△B tiene 10 elementos y A∪B tiene 25 elementos. ¿Cuántos
elementos tiene A ∩ B?
Solución.-
como η(A △ B) = η(A ∪ B) − η(A ∩ B) por propiedad

10 = 25 − η(A ∩ B)
15 = η(A ∩ B)
∴ A ∩ B tiene 15 elementos
35. Dados los conjuntos A y B, tales que A∪B tiene 18 elementos y A∩B tiene 7 elementos. ¿Cuántos
elementos tiene A △ B?
Solución.-
como η(A △ B) = η(A ∪ B) − η(A ∩ B) por propiedades

= 18 − 7
= 11
∴ A △ B tiene 11 elementos
36. En una encuesta a 100 estudiantes a cerca de los hábitos de lectura, se determino los resultados
que se muestran en una diagrama de Veen.
donde
H L H : estudiantes que leen historia
L : estudiantes que leen literatura
15 5 20 M : estudiantes que leen matemática
10
10 20
15
M 5
Determinar el número de estudiantes que leen:
a). Historia
= 40
b). Solamente historia

= 15
c). Historia y matemática

= 20
d). Historia y matemática pero no leen literatura

= 10
e). Literatura ó matemática pero no leen historia

= 55
f). ninguna
=5
37. En cierta competencia, todo los alumnos gustan de aritmética, algunos de fı́sica y otros de
quı́mica.
Si 350 gustan de aritmética y fı́sica, y 470 de quı́mica ó aritmética ¿Cuántos no gustan de fı́sica?
Solución.-
Sean:
A: Aritmética
F: Fı́sica
Q: Quı́mica A U
Datos:
η(A ∪ Q) = 470 F Q
η(A ∩ F) = 350
Luego η(A ∩ Q) = η(A ∪ Q) − η(A ∩ F)

= 470 − 350
= 120
∴ 120 estudiantes no gustan fı́sica
38. Suponga que Alvaro toma huevos o tocino (o ambos) para su desayuno cada mañana durante
el mes de enero. Si toma tocino 26 mañanas y huevos 17 mañanas. ¿Cuántas mañanas toma
huevos y tocino?.
Solución.-
U = 31
A: mañanas que toma tocino
B: mañanas que toma huevos
η(A) = 26
η(B) = 17
η(A ∪ B) = η(A) + η(B) − η(A ∩ B) por propiedades
31 = 26 − x + x + 17 − x B U
A
31 = 43 − x
−12 = −x 26 − x x 17 − x
x = 12
∴ 12 mañanas Alvaro toma huevos y tocino
39. Un grupo de 70 personas ejecutan trabajos manuales utilizando tres materiales. Barro, madera
y cartulina.
Se sabe que todos utilizan barro, 29 utilizan madera, 40 cartulina y 11 emplean los tres mate-
riales. ¿Cuántos utilizan únicamente barro?.
Solución.-
A: barro
B: madera
C: cartulina
η(A ∪ B ∪ C) = 70
η(B) = 29
η(C) = 40
η(A ∩ B ∩ C) = 11
como B ⊂ A C ⊂ A ,→ B ∩ C = A ∩ B ∩ C = 11
entonces η(B ∪ C) = η(B) + η(C) − η(B ∩ C) A U

= 29 + 40 − 11
= 52 B C
luego η(A − (B ∪ C)) = η(A ∪ B ∪ C) − η(B ∪ C) 29 − x x 40 − x
= 70 − 52
= 12
∴ 12 personas utilizan únicamente barro

40. De 33 personas que viajaron a Europa, 15 visitaron Francia, 16 visitaron Inglaterra, 16 visita-
ron Suiza, 5 visitaron Francia y Suiza, 5 visitaron Inglaterra y Suiza y 2 los tres paı́ses.
a). ¿Cuánto visitaron únicamente Francia?

b). ¿Cuántos visitaron Inglaterra o Suiza pero no Francia?
c). ¿Cuántos visitaron Francia y Suiza pero no Inglaterra?
Solución.-
U = 33
F: Francia
I: Inglaterra
S: Suiza
η(F) = 15
η(I) = 16
η(S) = 16
η(F ∩ S) = 5
η(I ∩ S) = 5
η(F ∩ I ∩ S) = 2
η(F ∪ I ∪ S) : x + 3 + 8 + I = 33 (1) U
F I
x + 11 + 16 = 33
x=6
x = 6z = 4 y = 7
η(F) : x + z + 2 + 3 = 15 (2)
2
6 + z + 5 = 15 3 3
z=4
8
η(I) : z + y + 2 + 3 = 16 (3)
S
4 + y + 5 = 16
y=7
∴ las respuestas son:
a). 6 personas visitaron únicamente Francia.

b). 18 personas visitaron Inglaterra ó Suiza pero no Francia
c). 3 personas visitaron Francia y Suiza pero no Inglaterra
41. Una mesera tomó una orden de 57 hamburguesas: 22 con cebolla, 29 con mostaza y 25 con salsa
de tomate. De estas, 10 tenı́an sólo cebolla y 15 sólo mostaza; 7 de las hamburguesas tenı́an sólo
cebolla y mostaza y 3 los tres ingredientes. Realice un diagrama de Venn y determine.
a). ¿Cuántas hamburguesas llevaban salsa y mostaza solamente?

b). ¿Cuántas sólo llevaban salsa?
c). ¿Cuántas hamburguesas llevaban cebolla o mostaza, pero no salsa?
Solución.-
U = 57
A: hamburguesas con cebolla
B: hamburguesas con mostaza
C: hamburguesas con salsa de tomate
η(A) = 22
η(B) = 29
η(C) = 25
A B U
η(B) : 15 + 7 + 3 + y = 29 (1)
25 + y = 29
y=4 10 7 15
η(A ∪ B ∪ C) : 15 + y + z + A = 57 (2) 3
x y=4
15 + 4 + z + 22 = 57
z + 41 = 57 z = 16
z = 16 C
a). 4 hamburguesas llevaban salsa y mostaza solamente

b). 16 hamburguesas sólo llevaban salsa
c). 32 hamburguesas llevaban cebolla o mostaza pero no salsa
42. Un ingeniero que dirige la construcción de un edificio de tres plantas, distribuye el personal de
la siguiente manera: 43 trabajan en la primera planta, 58 en la tercera planta, 16 en la primera
y segunda planta, 22 en la primera y tercera planta, 7 trabajan en las tres plantas. Si 52 trabajan
en una sola planta y 37 en dos plantas a la vez pero no en las tres.
a). ¿Cuántos trabajan en la primera y segunda planta, pero no en la tercera planta?

b). ¿Cuántos trabajan en la segunda o tercera planta pero no en la primera planta?
c). ¿Cuántos trabajan únicamente en la primera planta?
d). ¿Cuántos trabajan en total?
Solución.-
A: primer planta
B: senda planta
C: tercera planta
η(A) = 43
η(C) = 58
η(A ∩ B) = 16
η(A ∩ C) = 22
η(A ∩ B ∩ C) = 7
37 en las dos plantas a la vez pero no en
las 3
9 + 15 + y = 37 (1)
24 + y = 3 A B U
y = 13
η(C) : z + 15 + 7 + y = 58 (2) 12 9 x = 17
22 + 13 + z = 58 7
35 + z = 58 15 y = 13
z = 23
z = 23
si 52 trabajan en una sola planta
C
12 + 23 + x = 52 (3)
35 + x = 52
x = 17
η[(B ∪ C) − A] : x + y + z = 53 (3)
a). 9 trabajan en la primera y segunda planta pero no en la tercera planta

b). 53 trabajan en la segunda o tercera pero no en la primera planta
c). 12 únicamente trabajan en la primera planta
d). η(A ∪ B ∪ C) = 96 trabajan en todo el edificio
43. Un club deportivo consta de 85 socios, de los cuales 43 practican fútbol, 46 basket, 41 tenis,
45 practican sólo un deporte y 5 practican los tres deportes. ¿Cuántos socios del club practican
exactamente dos deportes?.
Solución.-
U = 85
A: socios que practican fútbol
B: socios que practican basket
C: socios que practican tenis
η(A) = 43
η(B) = 46
η(C) = 41
η(A ∩ B ∩ C) = 5 A B U
socios que practican sólo un deporte
x y z
x + z + w = 45 (1)
η(A ∪ B ∪ C) : x + z + w + y + u + v + 5 = 85 (2) 5
u v
45 + y + u + v + 5 = 85
50 + y + u + v = 85 w
y + u + v = 35 C
∴ 35 socios del club deportivo practican sólo dos deportes
44. Sean los conjuntos A = {a, b, c, d} y B = {1, 3, 5}

Hallar: a). A × B, b). B × A, c). A × A, d). B × B
Solución.-
a). A × B = {(a, 1), (a, 3), (a, 5), (b, 1), (b, 3), (b, 5), (c, 1), (c, 3), (c, 5), (d, 1), (d, 3), (d, 5)}
b). B × A = {(1, a), (1, b), (1, c), (1, d), (3, a), (3, b), (3, c), (3, d), (5, a), (5, b), (5, c), (5, d)}
c). A × A = {(a, a), (a, b), (a, c), (a, d), (b, a), (b, b), (b, c), (b, d), (c, a), (c, b), (c, c), (c, d), (d, a), (d, b), (d, c), (d, d)}
d). B × B = {(1, 1), (1, 3), (1, 5), (3, 1), (3, 3), (3, 5), (5, 1), (5, 3), (5, 5)}
45. Sean los conjuntos
A = {x ∈ R/ − 1 ≤ x < 3} = [−1, 3)
B = {y ∈ R/ − 2 < y < 2} = (−2, 2)
Determinar y representar A × B, B × A, A × A, B × B
Solución.-
A × B = [−1, 3) × (−2, 2) = {(x, y) ∈ R2 / − 1 ≤ x < 3 ∧ −2 < y < 2}
su representación cartesiana
A×B
-1 3
-2
B × A = (−2, 2) × [−1, 3) = {(x, y) ∈ R2 / − 2 < x < 2 ∧ −1 ≤ y < 3

B×A
-2 2
-1
A × A = [−1, 3) × [−1, 3) = {(x, y) ∈ R2 / − 1 ≤ x < 3 ∧ −1 ≤ y < 3
A×A
-1 3
-1
B × B = (−2, 2) × (−2, 2) = {(x, y) ∈ R2 / − 2 < x < 2 ∧ −2 < y < 2
B×B
-2 2
-2
II.7. EJERCICIOS VARIOS

46. Sean A y B dos conjuntos incluidos en un conjunto mismo universal. ¿Cuál de los siguientes?.
B U
A
a). A ∩ Bc ⊂ A V
b). A △ B ⊂ A ∪ B V
c). (A ∩ B)c ⊂ A △ B F B U
A
d). B ∩ Ac ⊂ A △ B V
48. Si A y B denotan dos conjuntos cualquiera, determinar el valor de verdad de las siguientes
afirmaciones.
a). η(A) = 3, η(B) = 4 y η(A ∪ B) = 5, entonces η(P (A ∩ B)) = 4

Solución.-
η(A ∪ B) = η(A) + η(B) − η(A ∩ B)
η(A ∩ B) = η(A) + η(B) − η(A ∪ B) = 3 + 4 − 5 = 2
ası́ η(A ∩ B) = 2 ,→ P (A ∩ B) = 22 = 4
∴ la respuesta es V
b). Si η(A) = 2, η(B) = 3 entonces el número máximo de elementos de P (A) ∪ P (B) = 12
Solución.-
η(A) = 2 ,→ P (A) = 4 elementos
η(B) = 3 ,→ P (B) = 8 elementos
para obtener el numero máximo de elementos supongamos que A y B son disjuntos
P (A) ∪ P (B) = {3 elementos, ∅} ∪ {7 elementos, ∅} = 11 elementos como máximo
∴ la respuesta es F
Si A y B denotan dos conjuntos cualesquiera, demostrar las siguientes igualdades
49. (B − A) △ (C − A) = (B △ C) − A
II.7. EJERCICIOS VARIOS 65
Demostración.-
(B − A) △ (C − A) = (B ∩ Ac ) △ (C ∩ Ac ) por ley del complemento

= [(B ∩ A ) ∩ (C ∩ A ) ] ∪ [(C ∩ Ac ) ∩ (B ∩ Ac )c ] por def. de dif. simétrica
c c c
= [(B ∩ Ac ) ∩ (C c ∪ A)] ∪ [(C ∩ Ac ) ∩ (Bc ∪ A)] por leyes de Morgan y del comp.
= {B ∩ [Ac ∩ (C c ∪ A)]} ∪ {C ∩ [Ac ∩ (Bc ∪ A)]} por ley de asociatividad
= {B ∩ [(A ∩ C ) ∪ (A ∩ A)]} ∪ {C ∩ [(A ∩ B ) ∪ (Ac ∩ A)]} por ley de dist
c c c c c
= {B ∩ [(Ac ∩ C c ) ∪ ∅]} ∪ {C ∩ [(Ac ∩ Bc ) ∪ ∅]} por ley del complemento

c c c c
= [B ∩ (A ∩ C )] ∪ [C ∩ (A ∩ B )] porley de identidad
= [Ac ∩ (B ∩ C c )] ∪ [Ac ∩ (C ∩ Bc )] por ley de asociatividad
c c c
= A ∩ [(B ∩ C ) ∪ (C ∩ B )] por ley de distributivadad
= (B △ C) − A por leyes de conmutatividad y del complemento
50. (A − B)c △ (A − C)c = (C △ B) ∩ A

Demostración.-
(A − B)c △ (A − C)c = (A ∩ Bc )c △ (A ∩ C c )c por ley del complemento

c c
= (A ∪ B) △ (A ∪ C) por leyes de Morgan y del complemento
= [(A ∪ B) ∩ (A ∪ C) ] ∪ [(Ac ∪ C) ∩ (Ac ∪ B)c ] por def. de dif. simétrica
c c c
= [(Ac ∪ B) ∩ (A ∩ C c )] ∪ [(Ac ∪ C) ∩ (A ∩ Bc )] por leyes de Morgan y de comp.

= {[(Ac ∪ B) ∩ A] ∩ C c } ∪ {[(Ac ∪ C) ∩ A] ∩ Bc } por ley de asociatividad
= {[(A ∩ A) ∪ (B ∩ A)] ∩ C } ∪ {[(A ∩ A) ∪ (C ∩ A)] ∩ Bc } por ley de dist.
c c c
= {[∅ ∪ (B ∩ A)] ∩ C c } ∪ [∅ ∪ (C ∩ A)] ∩ Bc } por ley del complemento

c c
= [(B ∩ A) ∩ C ] ∪ [(C ∩ A) ∩ B ] por ley de identidad
c c
= [(B ∩ C ) ∩ A] ∪ [(C ∩ B ) ∩ A] por leyes de asoc. y de conm.
= [(B ∩ C c ) ∪ (C ∩ Bc )] ∩ A por ley de distributividad
c c
= [(C ∩ B ) ∪ (B ∩ C )] ∩ A por ley de conmutatividad
= (C △ B) ∩ A por def. de diferencia simétrica
Simplificar las siguientes expresiones.
51. {[(A ∪ B) − (C − A)] ∩ [(A ∩ B) − (A − C)]} ∪ (B − C)c

Simplificación.-
= {[(A ∪ B) ∩ (C ∩ Ac )c ] ∩ [(A ∩ B) ∩ (A ∩ C c )c ]} ∪ (B ∩ C c )c por ley del complemento

c c c
= {[(A ∪ B) ∩ (C ∪ A)] ∩ [(A ∩ B) ∩ (A ∪ C)]} ∪ (B ∪ C) por leyes de Morgan y de comp.
= {[A ∪ (B ∩ C c )] ∩ {B ∩ [A ∩ (Ac ∪ C)]}} ∪ (Bc ∪ C) por leyes de distr., conm. y de asoc.
= {[A ∪ (B ∩ C c )] ∩ {B ∩ [(A ∩ Ac ) ∪ (A ∩ C)]}} ∪ (Bc ∪ C) por ley de distributividad
c c
= {[A ∪ (B ∩ C )] ∩ {B ∩ [∅ ∪ (A ∩ C)]}} ∪ (B ∪ C) por ley del complemento
c c
= {[A ∪ (B ∩ C )] ∩ [B ∩ (A ∩ C)]} ∪ (B ∪ C) por ley de identidad
= {{[A ∪ (B ∩ C c )] ∩ (A ∩ C)} ∩ B} ∪ (Bc ∪ C) por leyes de conmutatividad y de asoc.
= {{[A ∩ (A ∩ C)] ∪ [(B ∩ C c ) ∩ (A ∩ C)]} ∩ B} ∪ (Bc ∪ C) por ley de distributividad
c c
= {{(A ∩ C) ∪ [(A ∩ B) ∩ (C ∩ C )]} ∩ B} ∪ (B ∪ C) por leyes de asociatividad y de idem.
= {{(A ∩ C) ∪ [(A ∩ B) ∩ ∅]} ∩ B} ∪ (Bc ∪ C) por ley del complemento
= {[(A ∩ C) ∪ ∅] ∩ B} ∪ (Bc ∪ C) porley de absorcion
c
= [(A ∩ C) ∩ B] ∪ (B ∪ C) por ley de identidad
= [(A ∩ C) ∪ (B ∪ C)] ∩ [B ∪ (Bc ∪ C)]
c
por ley de distributividad
c c
= {[(A ∩ C) ∪ C] ∪ B } ∩ [(B ∪ B ) ∪ C] por leyes de conmutatividad y de asociatividad
c
= (C ∪ B ) ∩ (U ∪ C) por leyes de absorción y del complemento
c
= (C ∪ B ) ∩ U por ley de absorción
c
= B ∪C por leyes de identidad y de conmutatividad
52. {[(A ∪ B) ∩ (B − C)c ] ∪ [C − (Ac ∩ B)]c } − (C − B)

Simplificación.-
= {[(A ∪ B) ∩ (B ∩ C c )c ] ∪ [C ∩ (Ac ∩ B)c ]c } ∩ (C ∩ Bc )c por ley del comp.

c c c c
= {[(A ∪ B) ∩ (B ∪ C)] ∪ [C ∪ (A ∩ B)]} ∩ (C ∪ B) por leyes de Morgan y del comp.
= {{[(A ∪ B) ∩ (Bc ∪ C)] ∪ C c } ∪ (Ac ∩ B)} ∩ (C c ∪ B) por ley de asociatividad
c c c c c
= {{[C ∪ (A ∪ B)] ∩ [C ∪ (B ∪ C)]} ∪ (A ∩ B)} ∩ (C ∪ B) por ley de distributividad
c c c c c
= {{[C ∪ (A ∪ B)] ∩ [B ∪ (C ∪ C)]} ∪ (A ∩ B)} ∩ (C ∪ B) por ley de asociatividad
= {{[C c ∪ (A ∪ B)] ∩ [Bc ∪ U ]} ∪ (Ac ∩ B)} ∩ (C c ∪ B) por ley del complemento
c c c
= {{[C ∪ (A ∪ B)] ∩ U } ∪ (A ∩ B)} ∩ (C ∪ B) por ley de absorción
c c c
= {[C ∪ (A ∪ B)] ∪ (A ∩ B)} ∩ (C ∪ B) por ley de identidad
c c c
= {[(C ∪ B) ∪ A] ∪ (A ∩ B)} ∩ (C ∪ B) por ley de asociatividad
= {[(C ∪ B) ∪ A] ∩ (C ∪ B)} ∪ [(A ∩ B) ∩ (C c ∪ B)]
c c c
por ley de distributividad
c c c
= (C ∪ B) ∪ {A ∩ [B ∩ (C ∪ B)]} por leyes de absorción y de asociatividad
c c
= (C ∪ B) ∪ (A ∩ B) por ley de absorción
c c
= C ∪ [B ∪ (A ∩ B)] por ley de asoiatividad
c
= C ∪B por ley de absorción
c
= B∪C por ley de conmutitividad
53. {[C ∪ (B − Ac )] ∩ [B − (C ∪ A)c ]c } ∪ B

Simplificación.-
= {[C ∪ (B ∩ A)] ∩ [B ∩ (C ∪ A)]c } ∪ B por ley del complemento

c c
= {[C ∪ (B ∩ A)] ∩ [B ∪ (C ∪ A) ]} ∪ B por ley de Morgan
c c c
= {[C ∪ (B ∩ A)] ∩ [B ∪ (C ∩ A )]} ∪ B por ley de Morgan
c c c
= {B ∪ [C ∪ (B ∩ A)]} ∩ {B ∪ [B ∪ (C ∩ A )]} por ley de distributividad
c c c
= {C ∪ [B ∪ (B ∩ A)]} ∩ [(B ∪ B ) ∪ (C ∩ A )] por leyes de asoc. y de conm.
c c
= (C ∪ B) ∩ [U ∪ (C ∩ A )] por leyes de absorcion y del complemento
= (C ∪ B) ∩ U por ley de absorción
= B∪C por leyes de identidad y de conmutatividad
54. {[(A − Bc ) ∪ (Bc − A)] − B} ∪ {B − [(A ∩ B) ∪ (A ∪ B)c ]}

Simplificación.-
= {[(A ∩ B) ∪ (Bc ∩ Ac )] ∩ Bc } ∪ {B ∩ [(A ∩ B) ∪ (A ∪ B)c ]c } por ley del complemento

c c c c c
= {[B ∩ (A ∩ B)] ∪ [B ∩ (B ∩ A )]} ∪ {B ∩ [(A ∩ B) ∩ (A ∪ B)]} leyes de dist., Mor. y del comp.
= {[A ∩ (Bc ∩ B)] ∪ (Bc ∩ Ac )} ∪ {B ∩ [(Ac ∪ Bc ) ∩ (A ∪ B)]} leyes d asoc., conmu., idem. y de Mor.
= [(A ∩ ∅) ∪ (Bc ∩ Ac )] ∪ {(Ac ∪ Bc ) ∩ [B ∩ (A ∪ B)]} por leyes del comp. y de asoc.
c c c c
= [∅ ∪ (A ∩ B )] ∪ [(A ∪ B ) ∩ B] por ley de absorción
c c c c
= (A ∩ B ) ∪ [(A ∩ B) ∪ (B ∩ B)] por leyes de identidad y de distributividad
c c c
= (A ∩ B ) ∪ [(A ∩ B) ∪ ∅] por ley del complemento
c c c
= (A ∩ B ) ∪ (A ∩ B) por ley de identidad
c c
= A ∩ (B ∪ B) por ley de distributividad
c
= A ∩U por ley del complemento
c
55. [(A ∪ Bc ) △ (B − A)]c ∪ [(A ∩ B)c − (B − A)]

Simplificación.-
= {[(A ∪ Bc ) ∩ (B ∩ Ac )c ] ∪ [(B ∩ Ac ) ∩ (A ∪ Bc )c ]}c ∪ [(Ac ∪ Bc ) ∩ (B ∩ Ac )c ] def., de dif. sim. y comp.

= {[(A ∪ Bc ) ∩ (Bc ∪ A)]c ∩ [(B ∩ Ac ) ∩ (Ac ∩ B)]c } ∪ [(Ac ∪ Bc ) ∩ (Bc ∪ A)] leyes de Mor. y del comp.
= {[(A ∪ Bc )c ∪ (Bc ∪ A)c ] ∩ [(B ∩ Ac )c ∪ (Ac ∩ B)c ]} ∪ [Bc ∪ (Ac ∩ A)] leyes de Morgan y de dist.
= {[(Ac ∩ B) ∪ (B ∩ Ac )] ∩ [(Bc ∪ A) ∪ (A ∪ Bc )]} ∪ (Bc ∪ ∅) por leyes de Morgan y del compl.
= {[B ∩ (Ac ∪ Ac )] ∩ (A ∪ Bc )} ∪ Bc por leyes de dist., asoc., idempotencia y de identidad
c c c
= [(B ∩ A ) ∩ (A ∪ B )] ∪ B por ley de idempotencia
c c c c
= [B ∪ (B ∩ A )] ∩ [B ∪ (A ∪ B )] por ley de distributividad
= [(Bc ∪ B) ∩ (Bc ∪ Ac )] ∩ (Bc ∪ A) por leyes de dist., asociativdad y de idempotencia
c c c
= [U ∩ (B ∪ A )] ∩ (B ∪ A) por ley del complemento
c c c
= (B ∪ A ) ∩ (B ∪ A) por ley de identidad
= Bc ∪ (Ac ∩ A) por ley de distributividad
c
= B ∪∅ por ley del complento
c
=B por ley de identidad
56. {[(Ac ∩ B) △ (A − B)]c ∩ [(A − B)c − (A ∪ B)]} △ Ac

Simplificación.-
= {{[(Ac ∩ B) ∩ (A ∩ Bc )c ] ∪ [(A ∩ Bc ) ∩ (Ac ∩ B)c ]}c ∩ [(A ∩ Bc )c ∩ (A ∪ B)c ]} △ Ac def. de dif. sim. y comp.
= {{[(Ac ∩ B) ∩ (Ac ∪ B)]c ∩ [(A ∩ B) ∩ (A ∪ Bc )]c } ∩ [(Ac ∪ B) ∩ (Ac ∩ Bc )]} △ Ac leyes de Mor. y comp.
= {{[(Ac ∩ B)c ∪ (Ac ∪ B)c ] ∩ [(A ∩ B)c ∪ (A ∪ Bc )c ]} ∩ {[(Ac ∪ B) ∩ Ac ] ∩ Bc }} △ Ac leyes de Mor. y de asoc.
= {{[(A ∪ Bc ) ∪ (A ∩ Bc )] ∩ [(Ac ∪ Bc ) ∪ (Ac ∩ B)]} ∩ (Ac ∩ Bc )} △ Ac leyes de Mor. y de abs.
= {{{A ∪ [Bc ∪ (A ∩ Bc )]} ∩ {Bc ∪ [Ac ∪ (Ac ∩ B)]}} ∩ (Ac ∩ Bc )} △ Ac por ley de asociatividad
c c c c c c
= {[(A ∪ B ) ∩ (B ∪ A )] ∩ (A ∩ B )} △ A por ley de absorción
= {[Bc ∪ (A ∩ Ac )] ∩ (Ac ∩ Bc )} △ Ac por ley de distributividad
c c c c
= [(B ∪ ∅) ∩ (A ∩ B )] △ A por ley del complento
c c c c
= [B ∩ (A ∩ B )] △ A por ley de identidad
= (Ac ∩ Bc ) △ Ac por leyes de asociatividad y de idempotencia
= [(A ∩ B ) ∩ A] ∪ [Ac ∩ (Ac ∩ Bc )c ]
c c
por def. de diferencia simétrica
c c c
= [(A ∩ A) ∩ B ] ∪ [A ∩ (A ∪ B)] por leyes de asociatividad, Morgan y del complemento
c c c
= (∅ ∩ B ) ∪ [(A ∩ A) ∪ (A ∩ B)] por leyes del complemento y de distributividad
c
= ∅ ∪ [∅ ∪ (A ∩ B)] por leyes de absorción y del complemento
c
= B∩A por leyes de identidad y conmutatividad
= B−A por ley del complento
57. {[(Ac − B) ∪ (Bc − Ac )]c ∪ [A △ (Ac ∪ B)c ]} △ (B − A)c

Simplificación.-
= {[(Ac ∩ Bc )c ∩ (Bc ∩ A)c ] ∪ [A △ (A ∩ Bc )]} △ (B ∩ Ac )c leyes de Mor. y del comp.

= {[(A ∪ B) ∩ (B ∪ Ac )] ∪ {[A ∩ (A ∪ Bc )c ] ∪ [(A ∩ Bc ) ∩ Ac ]}} △ (Bc ∪ A) Mor., comp. y def. de dif. sim.
= {[B ∪ (A ∩ Ac )] ∪ {[A ∩ (Ac ∩ B)] ∪ [(A ∩ Ac ) ∩ Bc ]}} △ (Bc ∪ A) dist., Mor. y de asoc.
= {(B ∪ ∅) ∪ {[(A ∩ Ac ) ∩ B] ∪ (∅ ∩ Bc )}} △ (Bc ∪ A) por leyes del comp. y de asoc.
= {B ∪ [(∅ ∩ B) ∪ ∅] △ (Bc ∪ A) por leyes de identidad, complemento y de absorción
c
= [B ∪ (∅ ∪ ∅)] △ (B ∪ A) por ley de absorción
c
= (B ∪ ∅) △ (B ∪ A) por ley de idempotencia
= B △ (Bc ∪ A) por ley de identidad
= [B ∩ (B ∪ A) ] ∪ [(Bc ∪ A) ∩ Bc ]
c c
por def. de diferencia simétrica
c c
= [B ∩ (B ∩ A )] ∪ B por leyes de Morgan y de absorción
= (B ∩ Ac ) ∪ Bc por leyes de conmutatividad y de idempotencia
c c c
= (B ∪ B ) ∩ (A ∪ B ) por ley de distributividad
c
= U ∩ (A ∪ B ) por ley del complemento
c c
= A ∪B por ley de identidad
c
= (A ∩ B) por ley de Morgan
58. En un certamen cientı́fico escolar 34 estudiantes recibieron premios por sus proyectos cientı́fi-
cos. Se dieron 14 premios a proyectos de biologı́a, 13 a proyectos de quı́mica y 21 a proyectos
de fı́sica. Si 3 estudiantes recibieron premios en las tres áreas. ¿Cuántos recibieron premios
exactamente en: a).- una sola área? b).- en dos áreas?.
Solución.-
U = 34
A: Biologı́a
B: Quı́mica
C: Fı́sica
η(A) = 14
η(B) = 13
η(C) = 21
η(A ∩ B ∩ C) = 3
U: x + u + w + Q = 34
x + u + w + 13 = 34
x + u + w = 21 (1) A B U
η(A) : x + y + u + 3 = 14
x + y + u = 11 x y z
x + u = 11 − y (2) 3
η(C) : u + w + v + 3 = 21 u v
u + w + v = 18 w
w = 18 − (u + v) (3) C
11 − y + w = 21
−y + w = 10 (4)
−y + 18 − (u + v) = 10
−y − (u + v) = −8
y +u +v = 8 (5)
U : x + z + w + y + u + v + 3 = 34
x + z + w + y + u + v = 31
x + z + w + 8 = 31
x + z + w = 23 (6)
a). 23 estudiantes recibieron en una sola área.

b). 8 estudiantes recibieron premios en dos áreas.
59. Para estudiar la calidad de un producto se consideran tres tipos de defectos A, B y C, como los
mas importantes. Se analizaron 120 productos con los siguientes resultados:
49 productos tienen el defecto A, 48 productos tienen el defecto B, 49 productos tienen el
defecto C, 61 productos tienen exactamente un solo tipo de defectos, 7 productos tienen los tres
tipos de defectos, y el resto de los productos no presentan ningún tipo de defecto. Determinar:
a). ¿Cuántos productos tienen dos tipos de defectos?.

b). ¿Cuántos productos no tienen defectos?.
Solución.-
U = 120
η(A) = 49
η(B) = 48
η(C) = 49
η(A ∩ B ∩ C) = 7
de un solo defecto
x + z + w = 61 (1)
η(A) : x + y + u + 7 = 49
x + y + u = 42 (2)
η(B) : z + y + v + 7 = 48
z + y + v = 41 (3) U
A B
η(C) : w + u + v + 7 = 49
w + u + v = 42 (4) y
x z
7
sumando (2), (3) y (4) u v
x + y + u = 49
w
z + y + v = 41
C
w + u + v = 42
x + z + w + 2(y + u + v) = 125 (5)

61 + 2(y + u + v) = 125
2(y + u + v) = 64
y + u + v = 32 (6)
η(A ∪ B ∪ C) = x + z + w + y + u + v + 7
= 61 + 32 + 7
= 100
c
η[(A ∪ B ∪ C) ] = η(U ) − η(A ∪ B ∪ C)
= 120 − 100
= 20
a). 32 productos tienen dos tipos de defectos.

b). 20 productos no tienen ningún tipo de defectos.
60. En una encuesta a 180 estudiantes se hallo que: 62 se comportan bien, 125 son inteligentes, 144
son habladores, 106 son habladores e inteligentes, 22 se comportan bien y no son inteligentes,
13 se comportan bien y no son habladores, 15 se comportan bien y son habladores, pero no son
inteligentes.
a). ¿Cuántos de los 180 estudiantes entrevistados no son inteligentes, no son habladores ni se
comportan bien?.
b). ¿Cuántos estudiantes se comportan bien o son inteligentes pero no habladores?.
Solución.-
η(U ) = 180
A: se comportan bien.
B: inteligentes.
C: habladores.
η(A) = 62 η(B) = 125 η(C) = 144 η(B ∩ C) = 106 η(A − B) = 22
η(A − C) = 13 η[(A ∩ C) − B] = 15
A B U
η(A − B) : a + z = 22
a=7
η(A − C) : a + y = 13 a = 7 y = 6 b = 13
y=6 x = 34
η(A) : a + y + x + z = 62 z = 15 u = 72
7 + 6 + x + 15 = 62 c = 23
28 + x = 62 C
x = 34
η(B) : y + b + x + u = 125
6 + b + 34 + 72 = 125
112 + b = 125
b = 13
η(C) : z + x + u + c = 144
15 + 34 + 72 + c = 144
121 + c = 144
c = 23
η(B ∩ C) : x + u = 106
u = 106 − x
u = 72
η(A ∪ B ∪ C) = a + y + b + x + z + u + c
= 7 + 6 + 13 + 34 + 15 + 72 + 23
= 170
η(U ) = η(A ∪ B ∪ C) + η[(A ∪ B ∪ C)c ]
η[(A ∪ B ∪ C)c ] = η(U ) − η(A ∪ B ∪ C)
= 180 − 170
= 10
η[(A ∪ B) − C] = a + y + b
= 7 + 6 + 13
= 26

a). 10 estudiantes no son inteligentes, no son habladores ni se comportan bien.

b). 26 estudiantes se comportan bien o son inteligentes pero no son habladores.
CAPÍTULO III
RELACIONES
74
CAPÍTULO IV
FUNCIONES
75

Solucionario

Cargado por

Información del documento

Descripción original:

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

Solucionario

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD AUTÓNOMA TOMÁS FRÍAS

Facultad de ciencias Puras

SOLUCIONARIO DE SEBASTIAN LAZO

Univ. Santos Huanca Fernandez

Capı́tulo III :RELACIONES 74

I.1. Operaciones proporcionales

Doble implicación o bicondicional

I.2. Clasificación de fórmulas proporcionales

Es una fórmula proporcional que no es tautologia ni contradicción.

I.3. Leyes lógicas

I.4. Reglas de inferencia

Modus ponendo ponens (PP)

Modus tollendo tollens (TT)

Modus tollendo ponens (TP)

Ley del silogismo hipotético (SH)

Ley de simplificación (LS)

Ley de conjunción (LC)

Ley de adición (LA)

Dilema constructivo (DC)

Dilema destructivo (DD)

I.5. EJERCICIOS RESUELTOS

9. [(∼ p⊻ ∼ q) ∧ (p −→∼ q)]∨ ∼ (∼ p ↔ q)

10. {(p ∧ q) ∨ [p ∧ (∼ p ∨ q)]}⊻ ∼ (p →∼ q)

11. {[p → (q∧ ∼ p)]∧ ∼ q} ←→∼ (p ∨ q)

13. [(∼ p ∨ q) ∧ (q −→ r)] −→∼ (p∧ ∼ r)

14. [(∼ p ∧ q) −→∼ r] ←→ [r∧ ∼ (p∨ ∼ q)]

15. [(r −→∼ p) ∧ (p −→∼ q)] ∨ [(∼ p −→ r) ∧ (∼ q −→ p)]

Sean q y s proposiciones cualesquiera, p y r proposiciones tales que ∼ (p∨ ∼ r) es verdadera. Hallar

16. a). ∼ (p∧ ∼ q) −→∼ (s ∨ r)

17. a). [p −→ (q ∧ s)] ⊻ (∼ q −→ r)

18. a). [(p∨ ∼ q) ∧ s] −→∼ (∼ r ∨ s)

19. a). [(∼ p ∨ s) −→ (q ∧ r)] ←→ (p −→∼ q)

Hallar el valor de verdad de las proposiciones p, q, r, y s sabiendo que:

20. a). (∼ p −→ q)∨ ∼ (r∧ ∼ s) es falsa

21. a). (∼ p ∧ q) −→ (∼ r −→ s) es falso

Determinar ¿cual de los siguientes formulas son lógicamente equivalentes?

24. I (p∨ ∼ q) −→∼ p

25. I ∼ (p −→ q) ←→ [(p ∨ q)∧ ∼ q]

p q ∼ (p −→ q) ←→ [(p ∨ q) ∧ ∼ q] [(∼ p∧ ∼ q)∨ ∼ q] ←→ ∼ [(p ∨ q) ∧ q] ∼ q ∧ (∼ p ∨ q)] ←→ ∼ (∼ p −→ q)

26. [x −→ (p ∧ q)] −→ p sea F

Simplificar las proposiciones siguientes.

30. [(∼ p ∨ q) ∧ (∼ q −→ p)] −→ (p∧ ∼ q)

31. [q −→ (p ∧ r)] ∧ [∼ p −→ (p ∧ r)]

32. [(q −→ p) ∧ (∼ p −→ q)] −→∼ (p∨ ∼ q)

33. (q −→ p) −→ [(p ∨ q) −→ (q∧ ∼ p)]

34. [(p −→ q) −→ (∼ p∧ ∼ q)] ∧ [(∼ p ∧ q) ∨ p]

35. (∼ p ∨ q) −→ [p∧ ∼ (p∧ ∼ q)]

36. [q −→ (r∧ ∼ q)] −→ [(q∧ ∼ p) −→ r]

37. [(p −→ r)∧ ∼ p] ∨ [(p ∨ q) −→ r]

38. ∼ (p −→∼ q) ∨ [(p −→ r)∧ ∼ (p ∧ r)]

39. [(p −→∼ r) −→ p] ∧ [∼ p −→∼ (p∨ ∼ q)]

40. [p −→ (p∧ ∼ q)] ∧ [(p ∨ q) −→ p]

42. [(r −→ p) −→ (p ∧ r)] −→ [(r ∨ q) −→ (∼ r ∧ q)]

43. [(∼ q −→ r)∧ ∼ (q∧ ∼ r)] −→ [(r −→ p) ∧ (p −→∼ r)]

44. [(p∧ ∼ q)∨ ∼ p] −→ [q∧ ∼ (p −→ r)]

45. [(p∧ ∼ q) ∨ (q ∧ r)] ∧ [(q ∨ r)∧ ∼ r]

46. [(∼ p ∧ q) ∨ (p∧ ∼ q)]∨ ∼ (∼ p −→ q)

≡ [(∼ p ∧ q) ∨ (∼ p∧ ∼ q)] ∨ (p∧ ∼ q), por leyes asociativas

47. [(p −→∼ r) −→∼ p] −→ [p ∧ (∼ q −→ r)]

48. [(p −→ r) ←→ (p ∧ r)] ∧ [(p −→∼ q) −→ q]

49. [(∼ p ←→ q) ∧ r] ∨ [r ∧ (p⊻ ∼ q)]

Determinar una proposición x tal que: