Lógica matemática y conjunto

Karol Estefany Ramirez Palacio

ID 100107835

Helena Dulcey

Corporación universitaria iberoamericana

Programa de ingeniería industrial
Matemática básica
Septiembre/2022
 LÓGICA 1MERA PARTE.
Determinar cada caso si la información que se da es suficiente para conocer el valor de
verdad de las siguientes proposiciones compuestas.

i) (p ⇒ q) ⇒ r ; r es V
p q r 𝑝→𝑞 →𝑟 (𝑝 → q) → 𝑟
No hay necesidad de contemplar todos los
V V V V F F casos, ya que se sabe que r es Verdadero
V V F V V V
V F V F F V
V F F F V V
F V V V F F
F V F V V V
F F V V F F
F F F V V V

ii) (p ∨ q) ⇔ (∼ p ∧ ∼ q) ; q es V
𝑝 𝑞 𝑝𝑉𝑞 (¬𝑝) (¬𝑞) (¬𝑝) ∧ (¬𝑞) (𝑝 𝑉𝑞) ↔ (¬𝑝) ∧ (¬𝑞)
V V V F F F F
V F V F V F F
F V V V F F F
F F F V V V F
 Ejercicio 2
Construir las tablas de verdad de los siguientes esquemas proposiciones
a) (p ∨ q) ∨ p

𝑝 𝑞 (𝑝 𝑉 𝑞) (𝑝𝑉𝑞)𝑉𝑝
F F F F
F V V V
V F V V
V V V V

b) (p ∨ q) ⇒ p
𝑝 𝑞 (𝑝𝑉𝑞) (𝑝 → 𝑞)𝑝
F F F V
F V V F
V F V V
V V V V

c) p ⇔ (p ∨ q)

𝑝 𝑞 (𝑝𝑉𝑞) (𝑝 ↔ (𝑝𝑉𝑞)
F F F F
F V V F
V F V V
V V V V

Faltaron tablas de verdad de este literal

 Ejercicio 3

Simplificar las siguientes proposiciones

a) ∼ (∼ p ∨ ∼ q)
No es necesario
p q (¬𝑝) (¬𝑞) (¬𝑝)𝑉(¬𝑞 (¬(¬𝑝)𝑉(¬𝑞) hacer la tabla de
verdad
F F V V V F
F V V F V F
V F F V V F
V V F F F V

b) ∼ (p ∨ q) ∨ (∼ p ∧ ∼ q)

p q (𝑝𝑞) ¬(𝑝𝑉𝑞) (¬𝑝) (¬𝑞) (¬𝑝) ∧ (¬𝑞) ¬(𝑝𝑉𝑞)𝑉(¬𝑝) ∧ (¬𝑞)

F F F V V V V V
F V V F V F F F
V F V F F V F F
V V V F F F F F

Ejercicio 4
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, simplifica:

a) p ∧ q El clima es agradable y vamos de día de campo

𝑝 𝑞 (𝑝 ∧ 𝑞)
F F F
F V F
V F F
V V V

b) p ⇔ q el clima es agradable si y sólo si vamos de día de campo

𝑝 𝑞 (𝑝 ↔ 𝑞)
F F F
F V F
V F F
V V V
 c) q ⇒ p si vamos de día de campo entonces el día es agradable

𝑝 𝑞 (𝑞 → 𝑝)
F F F
F V V
V F F
V V V

Ejercicio 5
Determinar si las siguientes proposiciones son leyes lógicas:

i) p∧q⇒r

𝑝 𝑞 𝑟 (𝑝 ∧ 𝑞) (𝑝 ∧ 𝑞) → 𝑟
F F F F V
F F V F V
F V F F V
F V V F V
V F F F V
V F V F V
V V F V F
V V V V V

ii) [ (p ⇒ q) ∧ (q ⇒ r) ] ⇒ (p ⇒ r)

p q 𝑟 (𝑝 → 𝑞) (𝑞 → 𝑟) (𝑝 → 𝑞) ∧ (𝑞 → 𝑟 (𝑝 → 𝑟) (𝑝 → 𝑞) ∧ (𝑞 → 𝑟) → (𝑝 → 𝑟)
F F F V V V V V
F F V V V V V V
F V F V F F V V
F V V V V V V V
V F F F V F F V
V F V F V F V V
V V F V F F F
V V V V V V V V
 ii) p ∧ [ p ⇔ q]

𝑝 𝑞 (𝑝 → 𝑞) (𝑝 ∧ (𝑝 ↔ 𝑞)
F F V F
F V F F
V F F F
V V V V

CONJUNTOS 1MERA PARTE

Escribir simbólicamente:

1) a) R es un subconjunto de T
𝑅⊆𝑇

2) b) M no es un subconjunto de S

𝑀⊄𝑆

3) c) x es un elemento de Y

𝑋∈𝑌

4) d) z no pertenece a A

𝑍∉𝐴
5) e) El conjunto vacío

6) f) R pertenece a A
𝑅∈𝐴
 Ejercicio 2

2) Escribir por comprensión los siguientes conjuntos:

A = { 1, 2, 4, 8, 16,...}
Las potencias de 2
A={x/x 𝜖 𝑁 multiplo de 64}

B = { 1, 3, 5, 7, 9, .... }

B={x/x ∈ números impares 1 ≤ x ≥ 13

D = {1, 4, 9, 16, 25, 36}
𝑥2
D= { ≤ 𝑥 ≤ 𝑠, 𝑥𝜖𝑁} los cuadrados de los primeros 6 números
1

Ejercicio 3

Escribir por extensión el siguiente conjunto definido por comprensión:

A = { x / x ∈ N ∧ 3 ≤ x ≤ 10 }

A= {3,4,5,6,7,8,9,10}

Ejercicio 4

Determine si los conjuntos dados son vacíos:

i) X = {x : } 𝜙
ii) Y={x:x≠x} 𝜙
iii) Z={x:x+8=8} 𝜙
 SEGUNDA PARTE DE LOGICIA

Simplificar los siguientes esquemas proposicionales:

i) ∼ (∼p ∨ ∼q)

p q (¬𝑝) (¬𝑞) (¬𝑝) ∪ (¬𝑞 (¬(¬𝑝) ∪ (¬𝑞)

F F V V V F
F V V F V F
V F F V V F
V V F F F V

Ejercicio 2
Escribir las siguientes afirmaciones en forma simbólica :

a) El sol brilla y la humedad no es alta

∧ Estos son los símbolos, pero no se escribe la

proposición dada en forma simbólica

b) Si termino mi tarea antes de la cena y no llueve, entonces iré al partido de fútbol

→
Incompletos los ejercicios de esta parte
 SEDUNDA PARTE DE CONJUNTOS
Ejercicio 1
El conjunto universal es

A = {1, 3, 4, 5} B = {2, 3, 5, 6}

B
𝐴∪𝐵
A
1 3 2 6
5 4

B
A N
1 3 2 6
5 4

Ejercicio 2
N
De 150 estudiantes de una clase, 26 obtuvieron A en el primer examen y 21 obtuvieron A en el
segundo examen. Si 17 estudiantes no obtuvieron A en ninguno de los dos exámenes,

¿ Cuántos estudiantes obtuvieron A en ambos exámenes ? 86 estudiantes obtuvieron A en

ambos exámenes

F
A B

46 86 17
 Conclusión

La teoría de los conjuntos sirve para optimizar ya que con un buen análisis podemos
detectar redundancias y se pueden simplificar las operaciones realizadas ya sea en los
procesos ayudando a identificar que objeto pertenece a que cosa y a qué lugar
 Referencias

Curo, A. (2015). Matemática básica para administradores. Editorial: Universidad Peruana

de Ciencias Aplicadas (UPC).