INGENIERÍA DE SISTEMAS

ÁLGEBRA I MAT - 114

PRÁCTICA GENERAL 1 - I 2024

LÓGICA MATEMÁTICA

I.
Usando tablas de verdad, determinar si la proposición dada es una tautología, contradicción o contingencia.

1) [(p ∧ q) ∧ r] ⇒ [(p ∧ q) ∧ r] Sol. Tautología

2) [(∼ p ∧ q) ⇒∼ r] ⇔ [r ∧∼ (p ∨∼ q)] Sol. Contradicción

3) [(p ∨ q) ⇒ r] ⇒ [ q ∧ (q ∨ r) ] Sol. Contingencia

4) [ (∼ p ∨∼ q) ∧ (p ⇒ ~q)] ∨ ~(~p ⟺ q) Sol. Tautología

5) {(p ∧ q) ∨ [p ∧ (∼ p ∨ q)]} ∨∼ (p ⇒∼ q) Sol. Contradicción

6) [(p ∧ ~q) ∧ (~p ⟷ r)] → (p ∨ ~q) Sol. Tautología

7) (∼ p ∨∼ r) ⟺ [(p ∧ q) ⇒∼ r] Sol. Contingencia

8) Si p, q, r son , respectivamente , V, F, V, determinar el valor de verdad de

~[~(p → ~r) ∧ (~q ⊻ ~p)] ↔ ~[r → ~(~p ∨ ~q)] Sol. F
9) Si la proposición 𝒫 ≡∼ (r ∨ p) ⇒ [q ∨ (∼ p ∧ r)]

es falsa, determinar los valores de verdad de p, q y r.

10) Si p es V, q es F , s es V y ∼ r esV , determinar el valor de verdad de las proposiciones dadas.

a) [(p ∨ q) ∨ r] ∧ s

b) r ⟹ (s ∧ p)

𝐈𝐈. Usando el algebra de proposiciones simplificar

11) 𝒫 ≡ [(𝑝 ⇒ ~𝑞) ⇒ ~𝑝] ⇒ 𝑞 Sol . p ∨ q

12) 𝒫 ≡ [(∼ p ∨∼ q) ∨∼ q] Sol . p ∧ q

13) 𝒫 ≡ [~(𝑝 ∨ 𝑞) ∨ (~𝑝 ∧ 𝑞)] ⇒ (~𝑝 ∧ 𝑞) Sol. ( p ∨ q)

14) 𝒫 ≡ [~(p ⇒ q) ⇒ ~(q ⇒ p)] ∧ (p ∨ q) Sol. q

15) 𝒫 ≡∼ [𝑞 ⇒ (p ⇒ ∼ q)] ⇒ [(∼ p ⇒ q) ⇔ ∼ p ] Sol. ∼ p ∨ ∼ q

1
 16) 𝒫 ≡ [(p ∧ q) ⇒ ∼ p] ⇒ (q ∧∼ p) Sol . q

17) 𝒫 ≡ ~[(𝑞 ∨ 𝑟) ⇒ ~𝑟] ∧ [𝑞 ∧ (𝑞 ⇔ 𝑟)] Sol. 𝑟 ∧ 𝑞

18) 𝒫 ≡ [p ∧ (p ∨ q)] ∨ (∼ p ∧ q) Sol. p ∨ q

19) 𝒫 ≡ [ ∼ 𝑝 ⇒ (q ∧ ∼ p)] ⇒ (∼ r ∨ ∼ p) Sol. ∼ p ∨ ∼ q

20) 𝒫 ≡ [(∼ p ∧ q) ∨ (p ∧∼ q)] ∨∼ (∼ p ∧ q) Sol. ∼ p ∧ ∼ r

III. En los circuitos dados, obtener un circuito mas simple:

21)

22)

23)

2
IV. Usando las reglas de inferencia demuestra la conclusión C de cada propuesto:

24) 25)
1) p ∧ q 1) x =y∨x < y
2) ∼ r ⇒∼ q 2) (x < 3 ∧ y = x + 1) ⇒ y ≠ 8
3) ∼ (p ∧∼ t) 3) x=3∨y=8
4) ∼ r 4) x ≠y∧y = x+1
C: t 5) x≮3⇒x≮y

C: x = 3

26) 1) ⇒p ∼
1)p ⇒∼qq 27) 1) p ⇒ (∼ t ∧ q)
2)2)s ⇒s ⇒
(t (t
∨ u)
∨ u) 2) r ⇒ (t ∧ p)
3)3)∼ t∼∧∼ u u
t ∧∼ 3) u ⇔ r
4)4)(p ∧
(pr) ∨ s∨ s
∧ r) 4) p ∨ u
C: ∼ q 5) ∼ q
C: ∼ q C: t ∨ s

28) 5) ∼ r ⇒ u 29) 1) v ⇒∼ p
6) (r ∧ s) ⇒ (p ∨ t) 2) p ∧∼ t
7) q ⇒ (∼ u ∧ s) 3) s ⇒ t
8) ∼ t 4) q ⇒ u
C: q ⇒ p 5) s ∨ (q ∧ r)
C: u ∧∼ v

C: ∼ q

30) 1) q ⇒∼ p
2) u ⇒ (p ∧ s)
3) ∼ q ⇒ (r ∧ s)
4) ∼ r ∨ (∼ t ∨ u)
C: ∼ r

C: ∼ q

3
 CONJUNTOS

1. Caracterizar cada uno de los siguientes conjuntos por comprensión y por extensión si es posible:
a. A es el conjunto de los divisores de 12
b. B es el conjunto de los múltiplos enteros de 5
c. C es el conjunto de los números racionales cuyos numeradores son menores que los
denominadores
d. D es el conjunto de enteros divisibles por 3 y menores que 15

2. Escribir por extensión los siguientes conjuntos

a. 𝐴 = {𝑥 ∈ ℚ𝑐 : 𝑥 2 − 1 = 0} 𝑆𝑜𝑙. 𝐴 = ∅
b. 𝐵 = {𝑥 ∈ ℕ: 𝑥 2 − 4 = 0} 𝑆𝑜𝑙. 𝐵 = {2}
c. 𝐶 = {𝑥 ∈ ℝ: 𝑥 2 + 1 = 0} 𝑆𝑜𝑙. 𝐶 = ∅
d. 𝐷 = {𝑥 ∈ ℕ: 𝑥 4 + 3𝑥 3 − 5𝑥 2 − 3𝑥 + 4 = 0} 𝑆𝑜𝑙. 𝐷 = {1}
e. 𝐸 = {𝑥 ∈ ℕ: 𝑥 5 − 9𝑥 3 + 4𝑥 2 + 12𝑥 = 0} 𝑆𝑜𝑙. 𝐸 = {2}

3. Al lado de cada una de las siguientes proposiciones, escribe F (falso) o V (verdadero), según
corresponda
a) {𝑎, 𝑎, 𝑏, 𝑏, 𝑐} = {𝑎, 𝑏, 𝑐}
b) {𝑎} ∈ {𝑎, 𝑏, 𝑐}
c) {𝑎} ∈ {{𝑎}, 𝑏, 𝑐}
d) 𝑏 ∈ {{𝑏}, 𝑐}
e) 𝑏 ⊆ {{𝑏}, 𝑐}
f) {𝑏} ⊆ {{𝑏}, 𝑐}

4. Determinar el valor de 𝐸 = 𝑏 + 𝑐 − 𝑎, sabiendo que los conjuntos 𝐵 y 𝐶 son conjuntos iguales, donde
𝐵 = {𝑎 − 1, 6 − 𝑎} 𝐶 = {1, 𝑏 + 𝑐}
Sol. 𝐸 = 2

5. Dados los conjuntos

𝐴 = {𝑥 ∈ ℤ: |𝑥 | ≤ 5}
𝐵 = {𝑥 ∈ ℤ: 𝑥 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑜𝑟 𝑑𝑒 4}
𝐶 = {𝑥 ∈ ℕ: 𝑥 2 + 1 < 16}
Determinar
a. 𝐴 ∪ 𝐵 Sol. A
b. (𝐴 ∩ 𝐵) ∪ 𝐶 Sol. {−1, −2, −4,1,2,3,4}
c. (𝐴 − 𝐵) ∪ (𝐴 ∩ 𝐶) Sol. {−5, −3,0,1,2,3,5}
d. 𝐴 ∆ 𝐵 Sol. {−5, −3,0,3,5}
e. 𝐴 ∩ (𝐴 − 𝐵) Sol. {−5, −3,0,3,5}

4
 6. Las afirmaciones siguientes utilizan subconjuntos de algún conjunto universal no vacío U. Diga cuáles
son verdaderas y cuales son falsas. Para las falsas, proporcione un ejemplo en el que las afirmaciones
no se cumplan.
a. 𝐴 ∩ (𝐵 ∩ 𝐶) = (𝐴 ∩ 𝐵) ∩ 𝐶 para todo 𝐴, 𝐵, 𝐶 Sol. Verdad
b. 𝐴 ∪ 𝐵 ⊂ 𝐴 ∩ 𝐵 implica que 𝐴 = 𝐵 Sol. Verdad
c. 𝐴 ∩ (∅ ∪ 𝐵) = 𝐴 siempre que 𝐴 ⊂ 𝐵 Sol. Verdad

7. Del gráfico

A B
0

4 2 8
11 -1

-3

1 5 9

Determinar

a. 𝐴 − 𝐵 Sol. {4}
b. 𝐴 ∩ (𝐴 − 𝐵) Sol. {4}
c. [𝐴 ∩ (𝐴 − 𝐵)]𝑐 Sol. {−1, −3,0,1,2,5,8,9,11}
d. 𝐴 ∪ 𝐵𝑐 Sol. {−1,0,1,2,4,5,9,11}

8. Dados los conjuntos

𝐴 = {1,4,10} 𝐴𝑐 = {8,3,5, −1,9} 𝐵𝑐 = {4,1, −1,9}
𝑥 + 7 2𝑥 − 8
𝐵 = {8,3,5,10} 𝐶 = {𝑥 ∈ ℕ: + = −4 }
6 2

Determinar
a) (𝐴𝑐 ∪ 𝐵𝑐 ) ∩ 𝐶 Sol. ∅
b) ( 𝐴𝑐 ∩ 𝐵𝑐 ) ∪ 𝐶 Sol. {−1,9}
c) (𝐴𝑐 ∪ 𝐵) ∩ ( 𝐴𝑐 ∪ 𝐴) Sol. {−1,3,5,8,9,10}
d) (𝐶 ∩ 𝐵𝑐 ) ∪ ( 𝐴𝑐 ∩ 𝐵𝑐 ) Sol. {−1,9}
e) (𝐴𝑐 ∩ 𝐴) ∪ ( 𝐴 ∩ 𝐶) Sol. ∅

5
Demostrar sin utilizar diagramas de Venn

9. (𝐴 ∩ 𝐵) ⊂ 𝐴 ⊂ (𝐴 ∪ 𝐵)
10. (𝐴 ⊂ 𝐵 ∧ 𝐴 ⊂ 𝐶 ) → 𝐴 ⊂ (𝐵 ∩ 𝐶)
11. 𝐴 ⊂ ∅ → 𝐴 = ∅
12. 𝐴 − 𝐵 = 𝐴 − (𝐴 ∩ 𝐵)
13. 𝐴 − 𝐵 = (𝐴 ∪ 𝐵) − 𝐵
14. (𝐴 ∪ 𝐵) − 𝐶 = (𝐴 − 𝐶) ∪ (𝐵 − 𝐶)
15. (𝐴 ∩ 𝐵) − 𝐶 = (𝐴 − 𝐶) ∩ (𝐵 − 𝐶)
16. (𝐴 − 𝐵) − 𝐶 = 𝐴 − (𝐵 ∪ 𝐶)
17. (𝐴 − 𝐵) − 𝐶 ⊂ 𝐴 − (𝐵 − 𝐶)
18. 𝐴 ∪ (𝐵 − 𝐶) = (𝐴 ∪ 𝐵) − (𝐶 − 𝐴)
19. 𝐴 − (𝐵 − 𝐶) = (𝐴 − 𝐵) ∪ (𝐴 ∩ 𝐶)
20. 𝐴 = (𝐴 ∩ 𝐵) ∪ (𝐵𝑐 ∩ 𝐴)
21. 𝐴 ⊂ 𝐵 ↔ 𝐴 ∪ 𝐵 = 𝐵
22. ¿Cuántos subconjuntos propios tiene el conjunto C?, donde
𝐶 = {𝑎, 𝑏, {𝑎}, 𝑎, {𝑎}, {𝑏}, 𝑏} Sol. 15
23. Si un conjunto A tiene 18 elementos, otro conjunto B tiene 24 elementos, ¿Cuántos elementos tendrá
𝐴 ∪ 𝐵, sabiendo que 𝐴 ∩ 𝐵 tiene 15 elementos?
Sol. 27
24. Dado el diagrama

Determinar el número de elementos de a) 𝐵 ∪ 𝐶 Sol. 6

b) 𝐴 ∪ 𝐵 Sol. 5

6
25. En la carrera Ingeniería de Sistemas 300 postulantes se presentan a los exámenes de admisión, un
conteo revela que 52 aprueban Matemática pero no Química, 45 aprueban Matemática y Química
pero no Física. Por otra parte 105 aprueban Matemática o Química pero no Física, 60 aprueban las
tres materias, 34 aprueban Química y Física pero no Matemática, 102 aprueban exactamente una
sola materia, 95 exactamente dos materias. ¿Cuántos postulantes no aprueban ninguna materia?
Sol. 43
26. De 1000 postulantes a la UPEA, 155 aprobaron Álgebra, 175 Lenguaje, 160 Física, 45 aprobaron
Álgebra y Física, 55 Lenguaje y Física, 70 Álgebra y Lenguaje, 25 sólo Álgebra y Física, ¿Cuántos
aprobaron dos materias?
Sol. Aprobaron 130 al menos dos materias
27. Sean A, B y C tres conjuntos contenidos en un universo finito de 60 elementos, si se tiene además la
siguiente información.
(𝐵 − 𝐶) ∪ (𝐶 − 𝐵) tiene 40 elementos
𝐴 − (𝐵 ∪ 𝐶) tiene 10 elementos
𝐴 ∩ 𝐵 ∩ 𝐶 tiene 5 elementos
𝐴𝑐 ∩ 𝐵 ∩ 𝐶 es un conjunto unitario
¿Cuántos elementos tiene el conjunto 𝐴𝑐 ∩ 𝐵𝑐 ∩ 𝐶 𝑐 ?
Sol. 4
28. Simplificar la siguiente expresión (𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐵𝑐 )
Sol. A
29. Simplificar la siguiente expresión (𝐴 ∪ 𝐵)𝑐 ∪ (𝐴𝑐 ∩ 𝐵)
Sol. A
30. Simplificar la siguiente expresión [(𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶)] ∩ (𝐴𝑐 ∩ 𝐵)𝑐
Sol. A