Actividad 2 - Lógica Matemática y Conjuntos
Actividad 2 - Lógica Matemática y Conjuntos
Actividad 2 - Lógica Matemática y Conjuntos
Ingeniería industrial
Unidad 1 – actividad 2
28 de septiembre de 2022
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:
R/ 𝑝 ∨ q, 𝑆𝑒 𝑑𝑒𝑏𝑒 𝑑𝑎𝑟 𝑢𝑛𝑎 𝑑𝑒 𝑒𝑙𝑙𝑎𝑠 𝑜 𝑎𝑚𝑏𝑎𝑠 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠 𝑎 𝑙𝑎 𝑣𝑒𝑠
b) La comida es buena o el servicio es bueno, pero no ambas cosas.
R/ 𝑝 ∆ 𝑞, 𝑖𝑛𝑑𝑖𝑐𝑎 𝑞𝑢𝑒 𝑠𝑒 𝑑𝑒𝑏𝑒 𝑑𝑎𝑟 𝑢𝑛𝑎 𝑑𝑒 𝑒𝑙𝑙𝑎𝑠, 𝑝𝑒𝑟𝑜 𝑛𝑜 𝑙𝑎𝑠 𝑑𝑜𝑠 𝑎 𝑙𝑎 𝑣𝑒𝑧
c) La comida es buena y el servicio no.
R/ 𝑝 ∧ ~ q, significa que una de ellas se da mientras la otra no
d) No sucede que tanto la comida sea buena como que el restaurante sea de tres
estrellas
R/ ~(𝑝 ∧ r ) 𝐿𝑎 𝑝𝑎𝑙𝑎𝑏𝑟𝑎 𝑵𝑶 𝑒𝑠 𝑢𝑛𝑎 𝑛𝑒𝑔𝑎𝑐𝑖𝑜𝑛, 𝑝𝑒𝑟𝑜 𝑐𝑢𝑎𝑛𝑑𝑜 𝑠𝑒 ℎ𝑎𝑏𝑙𝑎 𝑑𝑒 “𝑸𝑼𝑬 𝑻𝑨𝑵𝑻𝑶”
ℎ𝑎𝑐𝑒 𝑞𝑢𝑒 𝑠𝑒 𝑛𝑖𝑒𝑔𝑢𝑒 𝑡𝑜𝑑𝑎 𝑙𝑎 expresión
e) Si tanto la comida como el servicio son buenos, entonces el restaurante es de
tres estrellas
R/ (𝑝 ∧ q) ⇒ r, Las dos proposiciones son verdaderas y entre las dos se da una relación
𝑪𝑨𝑼𝑺𝑨 − 𝑬𝑭𝑬𝑪𝑻𝑶
f) No es cierto que ser de tres estrellas siempre signifique buena comida y buen
servicio.
R/ ~[𝑟 ⇒ (𝑝 ∧ 𝑞 )], 𝐿𝑎 𝑝𝑟𝑖𝑚𝑒𝑟𝑎 𝑒𝑠 𝑛𝑒𝑔𝑎𝑐𝑖𝑜𝑛 𝑞𝑢𝑒 𝑎𝑓𝑒𝑐𝑡𝑎 𝑎 𝑡𝑜𝑑𝑎 𝑙𝑎 expresión 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒
𝑞𝑢𝑒 𝑟𝑒𝑠𝑢𝑙𝑡𝑎 𝑠𝑒𝑟 𝑢𝑛𝑎 conjunción
a. (𝑝 ∨ 𝑞) ⇒ 𝑝
p q (𝒑 ∨ 𝒒) ⇒ 𝒑
v v v
v f v
f v f
f f v
b. 𝑝 ⇔ (𝑝 ∨ 𝑞)
p q 𝒑 ⇔ (𝒑 ∨ 𝒒)
v v v
v f v
f v f
f f v
c. (q ⇒ p) ⇒ (p ⇒ q)
p q (𝐪 ⇒ 𝐩) ⇒ (𝐩 ⇒ 𝐪)
v v v
v f f
f v v
f f v
d. (p ∧ q) ∨ (∼ r)
p q r (p ∧ q) ∨ (∼ r)
v v v v
v v f v
v f v f
v f f v
f v v f
f v f v
f f v f
f f f v
p q r s [(𝒑 ∨ 𝒒) ∨ 𝒓] ∧ 𝒔
v v v v v
v v v f f
v v f v v
v v f f f
v f v v v
v f v f f
v f f v v
v f f f f
f v v v v
f v v f f
f v f v v
f v f f f
f f v v v
f f v f f
f f f v f
f f f f f
b. 𝑟 ⇒ (𝑠 ∧ 𝑝)
p r s (𝒔 ∧ 𝒑) 𝒓 ⇒ (𝒔 ∧ 𝒑)
v f v v v
p r s 𝒓 ⇒ (𝒔 ∧ 𝒑)
v v v v
v v f f
v f v v
v f f v
f v v f
f v f f
f f v v
f f f v
c. (𝑝 ∨ 𝑟) ⇔ (𝑟 ∧ ∼ 𝑠)
p r s ∼ 𝒔 (𝒑 ∨ 𝒓) (𝒓 ∧ ∼ 𝒔) (𝒑 ∨ 𝒓) ⇔ (𝒓 ∧ ∼ 𝒔)
v f v f v f f
p r s (𝒑 ∨ 𝒓) ⇔ (𝒓 ∧ ∼ 𝒔)
v v v f
v v f v
v f v f
v f f f
f v v f
f v f v
f f v v
f f f v
a. A ∪ B
b. A∩B
c. (A - C) ∪ B
d. (A – C) ∩ B
e. (A ∩ B ∩ C) ∪ D.
b. 𝑦 = {𝑥 ∶ 𝑥 ≠ 𝑥}
R/ El conjunto Y estará formado con elementos X que sean distintos de sí mismos, lo que
contradice el primer principio de la lógica clásica que dice que todo objeto es idéntico a sí
mismo, entonces 𝑌 = ∅
c. 𝑍 = {𝑥 ∶ 𝑥 + 8 = 8}
R/
𝑥 =8−8=0
𝑍 = (0)
Entonces Z = ∅