Actividad 2 - Lógica Matemática y Conjuntos

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 8

Matemáticas básicas

Brayan valencia Mahecha

Corporación universitaria iberoamericana

Ingeniería industrial

Unidad 1 – actividad 2

Lógica matemática y conjuntos

Tutor: Helena Dulcey

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

2. Denotemos con p “el clima es agradable” y con q “vamos de día de campo”.


Traducirlas siguientes proposiciones al lenguaje coloquial y, si es posible,
simplificar:

a. 𝒑 ∧ 𝒒 El clima es agradable Y vamos de día de campo


p q 𝒑 ∧ 𝒒
v v v
v f f
f v f
f f f

b. 𝒑 ⇔ 𝒒 El clima es agradable SI Y SOLO si vamos de día de campo


p q 𝒑 ⇔ 𝒒
v v v
v f f
f v f
f f v
c. 𝒒 ⇔ 𝒑 Si vamos de día de campo ENTONCES el clima es agradable
p q 𝒒⇔ 𝒑
v v v
v f f
f v f
f f v

3. Construir las tablas de verdad de los siguientes esquemas proporcionales:


a. (𝑝 ∨ 𝑞) ∨ 𝑝
p q (𝒑 ∨ 𝒒) ∨ 𝒑
v v v
v f v
f v v
f f f

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

4. Los valores de verdad de las siguientes proposiciones p; q; r y s son


respectivamente V; F; F y V. Obtener los valores de verdad de:
a. [(𝑝 ∨ 𝑞) ∨ 𝑟] ∧ 𝑠
p q r s (𝒑 ∨ 𝒒) (𝒑 ∨ 𝒒) ∨ 𝒓 [(𝒑 ∨ 𝒒) ∨ 𝒓] ∧ 𝒔
v f f v v v 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

5. Escribir las siguientes afirmaciones en forma simbólica:


a. El sol brilla y la humedad no es alta
R/ p: El sol q: La humedad no es alta 𝑝 ∧ ~𝑞
b. Si termino mi tarea antes de la cena y no llueve, entonces iré al partido de futbol
R/ p: Termino mi tarea antes de la cena
q: Llueve 𝑝 ∧ ~𝑞 ⇒ 𝑟
r: iré al partido de futbol
c. Si no me ves mañana significa que abre ido a la playa
R/ p: Verme mañana ~𝑝 ⇒ 𝑟
q: Habré ido a la playa
d. Si el costo de las utilidades crece o se niega la requisición de fondos adicionales,
entonces comparemos una nueva computadora si y solo si podemos mostrar que
los recursos de computo son, en efecto, insuficientes:
P: El costo de utilidades crece
q: Requisición de fondos adicionales 𝑝 ∨ ~𝑞 ⇒𝑟 ⇔𝑠
r: Compraremos una nueva computadora
s: mostrar los recursos de computo con en efecto insuficientes
6. Escribir simbólicamente:
a. R es un subconjunto de T
R/ 𝑅 ∁ 𝑇
b. X es un elemento de Y
R/ 𝑋 ∈ 𝑌
c. El conjunto vacío
R/ ∅
d. M no es un subconjunto de S
R/ 𝑀 ~∁ 𝑆
e. Z no pertenece a A
𝑍 ∉ 𝐴
f. R pertenece a A
R/ 𝑅 ∈ 𝐴

7. Escribir por comprensión los siguientes conjuntos.


a. A = { 1, 2, 4, 8, 16, . . . }
R/ 𝐴 = { 𝑋 / 𝑋 𝑒𝑠 𝑢𝑛 𝑛𝑢𝑚𝑒𝑟𝑜 𝑛𝑎𝑡𝑢𝑟𝑎𝑙 𝑖𝑛𝑓𝑖𝑛𝑖𝑡𝑜}
b. B = { 1, 3, 5, 7, 9, … . }
R/ 𝐵 = {𝑋 / 𝑋 𝐸𝑠 𝑢𝑛 𝑛𝑢𝑚𝑒𝑟𝑜 𝑛𝑎𝑡𝑢𝑟𝑎𝑙 𝑖𝑚𝑝𝑎𝑟 𝑖𝑛𝑓𝑖𝑛𝑖𝑡𝑜 }
c. 𝐷 = {1, 4, 9, 16, 25, 36}
R/ 𝐷 = = {𝑋 / 𝑋 𝐸𝑠 𝑒𝑙 𝑐𝑢𝑎𝑑𝑟𝑎𝑑𝑜 𝑑𝑒 𝑢𝑛 𝑛𝑢𝑚𝑒𝑟𝑜 𝑛𝑎𝑡𝑢𝑟𝑎𝑙}

8. Cuales de los siguientes conjuntos son finitos:


a. ¿Cuáles de los siguientes conjuntos son finitos?
R/ Finito
b. {1, 2, 3…,99, 100)
R/ Finito
c. El número de personas que viven en la tierra
R/ Finito
d. El conjunto Q de los números naturales
R/ Infinito
e. El conjunto R de los números naturales reales
R/ Infinito
9. Dados tres conjuntos A, B y C cualesquiera y un conjunto D disjunto con los
anteriores, dibujar su diagrama de ven y rayar las siguientes zonas:

a. A ∪ B

b. A∩B
c. (A - C) ∪ B

d. (A – C) ∩ B

e. (A ∩ B ∩ C) ∪ D.

10. Determine si los conjuntos dados son vacíos:


a. 𝑋 = {𝑥 ∶ 𝑥 2 = 9 ∧ 𝟐𝒙 = 𝟒}
R/ El conjunto X esta conformado por elementos que verifican las dos ecuaciones dadas en
la definición por comprensión, pero se deben verificar ambas porque los que vinculan las
ecuaciones es una conjunción.
𝑋 = ± √9 𝑥1 = 3 𝑥2 = −3 𝑥=9
4
𝑥= =2 2𝑥 = 4
2
En ningún caso coinciden 𝑥1 o 𝑥2 con x = 2 entonces x = ∅

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 = ∅

También podría gustarte