Actividad 2
Lógica matemática y conjuntos
Facultad de ingeniería
Jhon Fredy Rada Loaiza
Corporación Universitaria Iberoamericana
Ingeniería de software
Didier Cuellar
28/09/2022
2
Fundamentos de lógica simbólica y teoría de conjuntos
Fundamentos de lógica simbólica
1) Para describir los diversos restaurantes de la ciudad, denotemos con p “la comida es
buena” ; con q “el servicio es bueno” y con r “es de tres estrellas”. Escribir simbólicamente las
siguientes proposiciones:
a)La comida es buena o el servicio es bueno, o ambas cosas
n otacion simbolica : ( p ˅ q ) ˅ ( p ˄ q )
b)La comida es buena o el servicio es bueno, pero no ambas cosas.
n otacion simbolica : ( p ˅ q ) ˄ ( p ˄ q )
c)La comida es buena y el servicio no.
n otacion simbolica : p ˅ q
d) No sucede que tanto la comida sea buena como que el restaurante sea de tres estrellas
notacion simbolica : ( p ↔ r )
e) Si tanto la comida como el servicio son buenos, entonces el restaurante es de tres estrellas
notacion simbolica : ( p ↔ q ) → r
f) No es cierto que ser de tres estrellas siempre signifique buena comida y buen servicio.
notacion simbolica : r ( p ˄ q )
3
2) Denotemos con p “el clima es agradable” y con q “vamos de día de campo”. Traducir las
siguientes proposiciones al lenguaje coloquial y, si es posible, simplificar :
a) p ∧ q “El clima es agradable y vamos de día de campo”
b) p ⇔ q “si el clima es agradable entonces si vamos de día de campo”
c) q ⇒ p “el clima es agradable entonces vamos de día de campo”
3) Construir las tablas de verdad de los siguientes esquemas proposicionales :
a) (p ∨ q) ∨ p
p q p∨q
(p ∨ q) ∨ p
V V V V
V F V V
F V V V
F F F F
b) (p ∨ q) ⇒ p
P q p∨q (p ∨ q) ⇒ p
V V V V
V F V V
F V V F
F F F V
4
c) p ⇔ (p ∨ q)
p q p∨q p ⇔ (p ∨ q)
V V V V
V F V V
F V V F
F F F V
d) (q ⇒ p) ⇒ (p ⇒ q)
p q q⇒p p⇒ q (q ⇒ p) ⇒ (p ⇒ q)
V V V V V
V F V F F
F V F V V
F F V V V
e) (p ∧ q) ∨ (∼ r)
p q r p∧q ∼r (p ∧ q) ∨ (∼ r)
V V V V F V
V V F V V V
V F V F F F
V F F F V V
F V V F F F
5
F V F F V V
F F V F F F
F F F F V V
f) ∼ (r ⇒ r)
p q r r⇒r ∼ (r ⇒ r)
V V V V F
V V F V F
V F V V F
V F F V F
F V V V F
F V F V F
F F V V F
F F F V F
6
4) Los valores de verdad de las proposiciones p ; q ; r y s son respectivamente V ; F ; F y V.
Obtener los valores de verdad de :
i) [(p ∨ q) ∨ r] ∧ s
p q r s p∨q [(p ∨ q) ∨ r] [(p ∨ q) ∨ r] ∧ s
v f f v v v v
ii) r ⇒ (s ∧ p)
p q r s s∨p r ⇒ (s ∧ p)
v f f v v v
iii) (p ∨ r) ⇔ (r ∧ ∼ s)
p q r s p∨r ∼s r∧∼s (p ∨ r) ⇔ (r ∧ ∼ s)
v f f v v f f F
6) Determinar, si es posible, el valor de verdad de las siguientes proposiciones :
7
a) (p ∨ q) ⇒ q si p ⇒ q es Falso
p v q ⇒q
En la tabla de verdad de la conjunción condicionada se tiene que en el caso de p ⇒ q solo
es falso cuando la primer es V y la segunda es F, con ello se sustituyen en las proposiciones y se
realizan las respectivas operaciones
b) p ∨ (p ⇔ q) si p ⇒ q es Verdad
No es posible hallar el valor de verdad pues en el caso p ⇒ q es verdad, p y q pueden tener distintos
valores que pueden arrojar que es verdadera
c) [ (p ∨ q) ∧ ∼ q] ⇒ q si p es Verdad y ∼q es Verdad
p∨ [ (p ∨ q) ∧ ∼ q]⇒
p q ∼ q (p ∨ q) ∧ ∼ q
q q
v v v f f v
Teoría de conjuntos
8
10) Escribir simbólicamente:
a) R es un subconjunto de T = R⸦T
b) x es un elemento de Y = X ∈ Y
c) El conjunto vacío = ∅
d) M no es un subconjunto de S = M ⊄S
e) z no pertenece a A = Z ∉.A
f) R pertenece a A = R ∈ A
11) Escribir por extensión los conjuntos:
i) A = { x : x 2−x−2=0}
A={ x 2−x=2}
A={ X 2 =2+ X }
A={( X )( X )=2+ X }
X +2
A={ X = } Notación por extensión A={2}
X
ii) B = {x es dígito del número 2324}
notación por extensión B={2,3,4}
iii) C = {x | X 2 =9 ˄ x−3=5}
C={x| x=√2 9 ˄ x=5+3}
C={x| x=3 ˄ x=8}
9
C={3,8}
iv) D = {x | x es vocal}
D={a,e.i,o,u}
12) Escribir por comprensión los siguientes conjuntos:
i) A={1,2,,4,8,16,….}
A={2 x|x∈ N , 1}
ii) B = { 1, 3, 5, 7, 9, .... }
B={2X-1|X∈ N }
iii) D = {1, 4, 9, 16, 25, 36}
D={ X 2 ∨X ∈ N , 1≤ X ≤ 6}
13) Escribir por extensión los siguientes conjuntos definidos por comprensión
A = { x / x ∈ N ∧ 3 ≤ x ≤ 10 }
A={3,4,5,6,7,8,9,10}
10
B={ x / x ∈ N ∧ 5 / x}
B={1,5}
15) Indicar en cada caso si la proposición es verdadera o falsa :
i) {1, 4, 3} = {3, 4, 1} VERDADERO
ii) {3, 1, 2} ⊂ {1, 2, 3} VERDADERO
iii) 1 ⊄ {1,2} FALSO
iv){4} ∈ {{4}} VERDADERO=
v) {4} ⊂ {{4}} VERDADERO
vi) ∅ ⊂ {{4}} FALSO
16) Determine si los conjuntos dados son vacíos:
i) X = {X : X 2 =9 ∨ 2 X=4 }
4
X={ X: X=√ 9 ∨ X = }
2
X={X:X=3 ˅ X=2} El conjunto X no es un conjunto vacío
ii) Y = { x : x ≠ x }
Y={ϕ }
El conjunto Y es un conjunto vacío
11
iii) Z = { x : x + 8 = 8 }
Z={X:X=8-8}
Z={X:X=0}
Z={ ϕ }
El conjunto Z es un conjunto vacío
CONCLUSIONES
12
El desarrollo de la actividad no fue fácil, pero se lograron recordar algunos conceptos
adquiridos durante la época de colegiatura, también con la ayuda del materia bibliográfico
otorgado por la universidad y búsquedas a través de los navegadores de internet se reforzaron y
afianzaron dichos conocimientos.
Entender como funcional la lógica y relacionarlo con la cotidianeidad resulto una
experiencia agradable que genero la motivación para desarrollar el taller, intentando desarrollar
los ejercicios con el mayor margen de conocimientos acertados.
13
Referencias
ALEX, P. (s.f.). YOU TUBE -logica propicional. Obtenido de [Link]
v=vKe0UKSpNQQ
sdelsol. (s.f.). software del sol. Obtenido de [Link]
