lOMoARcPSD|15541694

Actividad 2 - Lógica matemática y conjuntos

costos y presupuesto (Fundación Universitaria Iberoamericana (Colombia))

Studocu is not sponsored or endorsed by any college or university

Downloaded by Xiomara David (xiomaradavid686@gmail.com)
 Actividad 2 - Lógica Matemática Y Conjuntos

Nicolás Hernández Gutiérrez – 100089882

Corporación Universitaria Iberoamericana

Facultad De Ingeniería

Matemáticas Básicas

Prof. Didier Cuellar

Bogotá, D, C, Colombia

12 de septiembre de 2022.

Downloaded by Xiomara David (xiomaradavid686@gmail.com)

 Tabla de contenido

Actividad 2 - lógica matemática y conjuntos............................................................1

Primera parte....................................................................................................... 1

Fundamentos de lógica simbólica.....................................................................1

Teoría de conjuntos..........................................................................................4

Segunda parte......................................................................................................5

Fundamentos de lógica simbólica.....................................................................5

Teoría de conjuntos..........................................................................................8

Referencias............................................................................................................ 13

Downloaded by Xiomara David (xiomaradavid686@gmail.com)

 lOMoA

Actividad 2 - lógica matemática y conjuntos.

Primera parte

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 d) No sucede que tanto la comida sea

bueno, o ambas cosas. buena como que el restaurante sea de

- 𝑝𝗏 𝑞 tres estrellas.

p q p𝗏q - ∼ (𝑝 ↔ 𝑟)
v v v
v f v p q p↔r ∼ (p ↔ r)
f v v v v v f
f f f v f f v
f v f v
f f v f
b) La comida es buena o el servicio es

bueno, pero no ambas cosas. e) Si tanto la comida como el servicio son

- ∼ (𝑝 𝖠 𝑞) buenos, entonces el restaurante es de

p q p𝖠q ∼(p𝖠q) tres estrellas.

v v v f
v f f v - (𝑝 𝖠 𝑞) ↔ 𝑟
f v f v
f f f v
p q r (p 𝖠 q) (p 𝖠 q) ↔ r
v v v v v
v v f v f
c) La comida es buena y el servicio v f v f f
f v v f f
no. f f v f f
f v f f v
- 𝑝 𝖠∼ 𝑞 v f f f v
f f f f v
p q ∼q p 𝖠 ∼q
v v f f
v f v v
f v f f
f f v f

Downloaded by Xiomara David (xiomaradavid686@gmail.com)

 lOMoA

f) No es cierto que ser de tres p q r (p 𝗏 q) r → (p 𝗏 q)

v v v v v
estrellas siempre signifique v v f v v
v f v v v
buena comida y buen servicio. f v v v v
f f v f f
- 𝑟 → (𝑝 𝗏 𝑞) f v f v v
v f f v v
f f f f f

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) 𝑝 𝖠 𝑞 = "ă𝑙 𝑐𝑙㕖𝑚𝑎 ă𝑠 𝑎𝑔𝑟𝑎𝑑𝑎𝑏𝑙ă 𝑦 𝑣𝑎𝑚Ā𝑠 𝑑ă 𝑑í𝑎 𝑑ă 𝑐𝑎𝑚𝑝Ā"

b) 𝑝 ⇔ 𝑞 = "ă𝑙 𝑐𝑙㕖𝑚𝑎 ă𝑠 𝑎𝑔𝑟𝑎𝑑𝑎𝑏𝑙ă 𝑠㖊, 𝑦 𝑠ó𝑙𝑜 𝑠㖊 𝑣𝑎𝑚Ā𝑠 𝑑ă 𝑑í𝑎 𝑑ă 𝑐𝑎𝑚𝑝Ā"

c) 𝑞 ⇒ 𝑝 = "𝑆㖊 𝑣𝑎𝑚Ā𝑠 𝑑ă 𝑑í𝑎 𝑑ă 𝑐𝑎𝑚𝑝Ā 㖆𝑛𝑡𝑜𝑛𝑐㖆𝑠 ă𝑙 𝑐𝑙㕖𝑚𝑎 ă𝑠 𝑎𝑔𝑟𝑎𝑑𝑎𝑏𝑙ă"

3) Construir las tablas de verdad de los siguientes esquemas proposicionales:

a) (𝑝 𝗏 𝑞) 𝗏 𝑝 d) (𝑞 → 𝑝) → (𝑝 → 𝑞)

p q (p 𝗏 q) (p 𝗏 q) 𝗏 p p q (q → p) (p → q) (q → p) → (p → q)
v v v v v v v v v
v f v v v f v f f
f v v v f v f v v
f f f f f f v v v

b) (𝑝 𝗏 𝑞) → 𝑝 e) (𝑝 𝖠 𝑞) 𝗏 (∼ 𝑟)

p q (p 𝗏 q) (p 𝗏 q) →p p q r (p 𝖠 q) (∼ r) (p 𝖠 q) 𝗏 (∼ r)
v v v v v v v v f v
v f v v v v f v v v
f v v f f v v f f f
f f f v f v f f v v
v f v f f f
f f v f f f
c) 𝑝 ↔ (𝑝 𝗏 𝑞) v f f f v v
f f f f v v
p ↔ (p 𝗏
p q (p 𝗏 q)
q)
v v v v f) ∼ (𝑟 → 𝑟)
v f v f
f v v f r ∼ (r → r)
f f f v v f
f v

Downloaded by Xiomara David (xiomaradavid686@gmail.com)

 lOMoA

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. [(𝑝 𝗏 𝑞) 𝗏 𝑟] 𝖠 𝑠

[(𝑣 𝗏 Ą) 𝗏 Ą] 𝖠 𝑣

[(𝑣) 𝗏 Ą] 𝖠 𝑣

[𝑣] 𝖠 𝑣 = 𝑉ă𝑟𝑑𝑎𝑑ă𝑟𝑎

ii. 𝑟 → (𝑠 𝖠 𝑝 )

Ą → (𝑣 𝖠 𝑣)

Ą → (𝑣) = 𝑉ă𝑟𝑑𝑎𝑑ă𝑟𝑎

iii. (𝑝 𝗏 𝑟) ↔ (𝑟 𝖠∼ 𝑠)

(𝑣 𝗏 Ą) ↔ (Ą 𝖠∼ 𝑣)

(𝑣) ↔ (Ą) = 𝐹𝑎𝑙𝑠𝑎

5) Determinar en cada caso si la información que se da es suficiente para conocer el

valor de verdad de las siguientes proposiciones compuestas. En caso afirmativo,

justificarlo.

i. (𝑝 → 𝑞) → 𝑟; 𝑟 ă𝑠 𝑉 ii. (𝑝 𝗏 𝑞) ↔ (∼ 𝑝 𝖠∼ 𝑞); 𝑞 ă𝑠 𝑉

Si. Ya que al hacer la tabla de la Si ya que termina dando dos respuestas

verdad y descartando los falsos únicas, las cuales facilitan de gran

correspondientes a r nos da la manera al momento de validar con la

respuesta, sin ningún problema. tabla de verdad.

p q r (p → q) (p → q) → r
v v v v v
v v f v f
f v v v v
f v f v f
v f v f v
f f v f v
v f f f f
f f f f f

Downloaded by Xiomara David (xiomaradavid686@gmail.com)

 lOMoA

(p 𝗏 q) ↔
p q (p → q) ∼ p ∼ q (∼ p 𝖠 ∼ q)
(∼ p 𝖠 ∼ q)

v v v f f f v

Downloaded by Xiomara David (xiomaradavid686@gmail.com)

 lOMoA

Teoría de conjuntos

1) 10) Escribir simbólicamente:

a) R es un subconjunto de T d) M no es un subconjunto de S

𝑇⊂𝑅 𝑀⊄𝑆

b) x es un elemento de Y e) z no pertenece a pertenece a A

𝑌 = {𝑥} 𝑧+𝐴

c) El conjunto vacío f) R pertenece a A

㕌=∅ 𝑅*𝐴

2) 12) Escribir por comprensión los siguientes conjuntos:

a. 𝐴 = {1, 2, 4, 8, 16, & } 𝐵 = {𝑥|𝑥 * ℕ, 𝑥 ă𝑠 㕖𝑚𝑝𝑎𝑟}

𝐴 = {1, 2, 4, 8, 16, & } c. 𝐷 = {1, 4, 9, 16, 25, 36, & }

𝐴 = {𝑥|𝑥 * ℕ, 𝑥 ă𝑠 2ℕ} 𝐷 = {1, 4, 9, 16, 25, 36, & }

b. 𝐵 = {1, 3, 5, 7, 9, & } 𝐷 = {𝑥|𝑥 * ℕ, 𝑥 ă𝑠 ă𝑙 𝑝𝑟Ā𝑑𝑢𝑐𝑡Ā 𝑑ă 𝑙Ā𝑠

𝐵 = {1, 3, 5, 7, 9, & } 𝑛ú𝑚ă𝑟Ā𝑠 𝑚𝑢𝑙𝑡㕖𝑝𝑙㕖𝑐𝑎𝑑Ā𝑠 𝑝Ā𝑟 𝑠㕖 𝑚㕖𝑠𝑚Ā𝑠}

3) 15) Indicar en cada caso si la proposición es verdadera o falsa:

i. {1, 4, 3} = {3, 4, 1} iv. {4} * {{4}} 𝑣ă𝑟𝑑𝑎𝑑ă𝑟𝑎

𝑣ă𝑟𝑑𝑎𝑑ă𝑟𝑎
v. {4} ⊂ {{4}} Ą𝑎𝑙𝑠Ā
ii. {3, 1, 2} ⊂ {1, 2, 3} Ą𝑎𝑙𝑠Ā

iii. 1 ⊄ {1, 2} Ą𝑎𝑙𝑠Ā vi. ∅ ⊂ {{4}} Ą𝑎𝑙𝑠Ā

4) 17) ¿Cuáles de los conjuntos siguientes son finitos?

i. Los meses del año Ą 㕖𝑛㕖𝑡Ā

ii. {1, 2, 3, ....., 99, 100} Ą 㕖𝑛㕖𝑡Ā

iii. El número de personas que viven en la tierra. Ą 㕖𝑛㕖𝑡Ā

iv. El conjunto Q de los números racionales 㕖𝑛Ą 㕖𝑛㕖𝑡Ā

v. El conjunto R de los números reales 㕖𝑛Ą 㕖𝑛㕖𝑡Ā

Downloaded by Xiomara David (xiomaradavid686@gmail.com)

 lOMoA

5) 22) De 400 alumnos que estudian en una escuela de idiomas, 120 estudian

únicamente francés; 200 estudian francés e inglés y 50 estudian otros idiomas

diferentes. ¿Cuántos estudian solo inglés?

𝐴 = {Ą, Ą 㕖, Ā, 㕖}

𝐴 = 400, Ą = 120, Ą 㕖 = 200, Ā = 50, 㕖 =?

㕖 = 400 2 (120 + 200 + 50) = 30

㕖 = 30

Segunda parte

Fundamentos de lógica simbólica

1) Denotemos con p <el material es interesante=; con q <los ejercicios son difíciles= y con r <el

curso es agradable=. Escribir las siguientes afirmaciones en forma simbólica:

a) el material es interesante y los ejercicios son difíciles.

- 𝑝𝖠𝑞

p q p𝖠q
v v v
v f f
f v f
f f f

b) el material no es interesante, los ejercicios no son difíciles y el curso no es

agradable.

- (∼ 𝑝 𝖠 ∼ 𝑞) 𝖠 (∼ 𝑟)

p q r ∼p ∼q (∼ p 𝖠 ∼ q) ∼r (∼ p 𝖠 ∼ q) 𝖠 (∼ r)
v v v f f f f f
v v f f f f v f
v f f f v f v f
f v f v f f v f
v f v f v f f f
f v v v f f f f
f f v v v v f f
f f f v v v v v

Downloaded by Xiomara David (xiomaradavid686@gmail.com)

 lOMoA

c) Si el material no es interesante y los ejercicios no son difíciles entonces el curso

no es agradable.

- (∼ 𝑝 𝖠 ∼ 𝑞) → (∼ 𝑟)

p q r ∼p ∼q (∼ p 𝖠 ∼ q) ∼r (∼ p 𝖠 ∼ q) → (∼ r)
v v v f f f f v
v v f f f f v v
v f f f v f v v
f v f v f f v v
v f v f v f f v
f v v v f f f v
f f v v v v f f
f f f v v v v v

d) Que el material sea interesante e) O el material es interesante o los

significa que los ejercicios son ejercicios no son difíciles, pero no
difíciles y viceversa. ambas cosas
- 𝑝↔𝑞 - 𝑝 ↔∼𝑞

p q p↔q p q ∼q p↔∼q
v v v v v f v
v f f v f v f
f v f f v f f
f f v f f v v

2) 4) Determinar en cada caso si la información que se da es suficiente para conocer el

valor de verdad de las siguientes proposiciones compuestas. En caso afirmativo,

justificarlo.

i. (𝑝 𝖠 𝑞) → (𝑝 𝗏 𝑟); 𝑝 ă𝑠 𝑉 𝑦 𝑟 ă𝑠 𝐹

p q r p𝖠q p𝗏r (p 𝖠 q) → (p 𝗏 r)
v v v v v v
v v f v v v
v f f f v v
f v f f f v
v f v f v v
f v v f v v
f f v f v f
f f f f f v

Downloaded by Xiomara David (xiomaradavid686@gmail.com)

 lOMoA

ii. 𝑝 𝖠 (𝑞 → 𝑟); (𝑝 → 𝑟) ă𝑠 𝑉

p q r p→r q→r p 𝖠 (q → r)
v v v v v v
v v f f f f
v f f f v v
f v f v f f
v f v v v v
f v v v v f
f f v v v f
f f f v v f

3) 5) Simplificar los siguientes esquemas proposicionales:

i. ∼ (∼ 𝑝 𝗏 ∼ 𝑞) = 𝑝 𝗏 𝑞

ii. ∼ (𝑝 𝗏 ∼ 𝑞) 𝖠 ∼ 𝑞 = ∼ 𝑞 𝖠 (∼ 𝑝 𝗏 𝑞) = ∼ 𝑞 𝖠∼ 𝑝

4) 6) Determinar si las siguientes proposiciones son leyes lógicas:

i) 𝑝 → (𝑝 𝖠 𝑞) 𝑛Ā

ii) 𝑝 → (𝑝 𝗏 𝑞 ) 𝑠㕖

6) 7)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:

a) [(𝑝 𝖠 𝑞) 𝖠 𝑟] 𝗏 𝑠

[(𝑝 𝖠 𝑞) 𝖠 𝑟] 𝗏 𝑠

[(𝑣 𝖠 Ą) 𝖠 Ą] 𝗏 Ą

[(Ą) 𝖠 Ą] 𝗏 Ą = [Ą] 𝗏 Ą = Ą

b) (𝑟 → 𝑠) 𝗏 (𝑝 2 𝑠)

(𝑟 → 𝑠) 𝗏 (𝑝 → 𝑠)

(Ą → 𝑣) 𝗏 (𝑣 → 𝑣)(𝑣) 𝗏 (𝑣) = 𝑣

c) (𝑠 𝖠 𝑞) → 𝑝

(𝑠 𝖠 𝑞) → 𝑝

(𝑣 𝖠 Ą) → 𝑣 = Ą → 𝑣 = 𝑣

Downloaded by Xiomara David (xiomaradavid686@gmail.com)

 lOMoA

Teoría de conjuntos

1) 12) Dados los conjuntos:

𝐴 = {1. 3}, 𝐵 = {𝑎, 𝑏, 𝑐}, 𝐶 = {𝑏}, 𝐷 = {1, 3, 𝑏, Ą}

Hallar:

a) Su diagrama de Venn

b) 𝐴 𝖴 𝐵 𝖴 𝐶 𝖴 𝐷

𝐴 𝖴 𝐵 𝖴 𝐶 𝖴 𝐷 = {1,3, 𝑎, 𝑏, 𝑐, Ą}

c) 𝐴 ) 𝐵 ) 𝐶

𝐴 ) 𝐵 ) 𝐶 = {𝑏}

d) (𝐴 ) 𝐵) 𝖴 𝐷

(𝐴 ) 𝐵) 𝖴 𝐷 = 𝑁Ā ă𝑠 𝑟ă𝑎𝑙

e) ¿Está A ⊂ B o C ⊂ (A ∩ D)?

𝐴⊂𝐵

Downloaded by Xiomara David (xiomaradavid686@gmail.com)

 lOMoA

2) 15) El conjunto universal es E = {1, 2, 3, 4, 5, 6, 7, 8, 9, b, f} y los conjuntos A = {1,

3, 4, 5} B = {2, 3, 5, 6} C = {4, 5, 6, 7} D = {b, f}.

Hallar:

a) Su diagrama de Venn

b) A - (B 𝖴 C)

𝐴 2 (𝐵 𝖴 𝐶) = {1,2,6,7}

c) (A ∩ B) – C

𝐶 2 (𝐴 ) 𝐵) = {3}

d) [(A ∩ C) 𝖴 D] ∩ B

= {4,5, 𝑏, Ą, 3,6}

e) (A 𝖴 B) Δ (B ∩ C)

= (1,3,4,5)Δ (5,6) = {1,3,4}

f) ¿Son disjuntos A y D?

- Si, ya que no tienen ningún elemento en común.

Downloaded by Xiomara David (xiomaradavid686@gmail.com)

 lOMoA

3) 13)Dados tres conjuntos A, B, C cualesquiera y un conjunto D disjunto con los

anteriores, dibujar su diagrama de Venn y rayar las siguientes zonas:

a) A 𝖴 B

d) (A - C) ∩ B

b) A ∩ B

e) (A ∩ B ∩ C) 𝖴 D

c) (A - C) 𝖴 B

Downloaded by Xiomara David (xiomaradavid686@gmail.com)

 lOMoA

4) 16) Dados dos conjuntos M y N no disjuntos, representar en un diagrama de Venn las

siguientes zonas:

a) 𝑀𝐶 d) 𝑀𝐶 ) 𝑁𝐶

b) 𝑀 ⋃ 𝑁
e) M ∩ N

c) 𝑀 𝖴 𝑁𝐶

Downloaded by Xiomara David (xiomaradavid686@gmail.com)

 lOMoA

5) 19) Sea:

𝑈 = {𝑎, 𝑏, 𝑐, 𝑑, ă}

𝐴 = {𝑎, 𝑏, 𝑑} 𝐵 = {𝑏, 𝑑, ă}
Hallar:

i. 𝐴𝖴𝐵 vi. 𝐴 𝖴 𝐵𝐶

𝐴 𝖴 𝐵 = {𝑎, 𝑏, 𝑑, ă} 𝐴 𝖴 𝐵𝐶 = {𝑎}

ii. 𝐵 ) 𝐴 vii. 𝐴𝐶 ) 𝐵𝐶

𝐵 ) 𝐴 = {𝑏, 𝑑} 𝐴𝐶 ) 𝐵𝐶 = {𝑐, ă}

iii. 𝐵𝐶 viii. 𝐵𝐶/𝐴𝐶

𝑎, 𝑐
𝐵𝐶 = {𝑎, 𝑐} 𝐵𝐶/𝐴𝐶 = { }
𝑐, ă
iv. 𝐴 𝖴 𝐵𝐶
ix. (𝐴 )
𝐴 𝖴 𝐵 = {𝑎, 𝑐}
𝐶
𝐵)𝐶
(𝐴 ) 𝐵)𝐶 = {𝑎, 𝑐, ă}
v. 𝐴𝐶 ) 𝐵

𝐴𝐶 ) 𝐵 = {𝑐, ă} x. (𝐴 𝖴 𝐵)𝐶
(𝐴 𝖴 𝐵)𝐶 = {𝑐}

Downloaded by Xiomara David (xiomaradavid686@gmail.com)

 lOMoA

Referencias

caminos.udc.es. (s.f.). Introducción a la Lógica. Obtenido de

http://caminos.udc.es/info/asignaturas/grado_tecic/101/AL1/pdfs/Precursos/logica.

pdf

Cátedra de Matemática. (12 de Diciembre de 2018). Valores de verdad. Obtenido de

https://www.youtube.com/watch?v=neCZVPgqeXI

disfrutalasmatematicas.com. (s.f.). Símbolos de conjuntos. Obtenido de

http://disfrutalasmatematicas.com/conjuntos/simbolos.html

Enrique Rus Arias. (29 de Septiembre de 2020). Cero. (Economipedia.com, Ed.) Obtenido

de Economipedia.com: https://economipedia.com/definiciones/cero.html#:~:text=El

%20n%C3%BAmero%2 0cero%20pertenece%20al,donde%20no%20existen

%20valores%20significativos.

Matematicas profe Alex. (6 de Noviembre de 2018). Notación de Conjuntos por Extensión

y Comprensión. Obtenido de https://www.youtube.com/watch?v=RHHA-bDhfGw

Matemáticas profe Alex. (s.f.). Tablas de verdad - Lógica proposicional. Obtenido de

https://www.youtube.com/watch?v=vKe0UKSpNQQ&list=PLeySRPnY35dHBYcVH

PisjBCVHBa954rMZ

Platzi. (s.f.). Introducción a la lógica. Obtenido de https://platzi.com/clases/1319-

discretas/12208-introduccion-a-la-logica/

Quiñonez, G. (s.f.). MATEMATICA LÓGICA PROPOSICIONAL: PROPOSICIÓN,

CONECTIVOS, TABLAS, LEYES LÓGICAS, INFERENCIA LÓGICA. Obtenido de

https://logicaproposicionaleyes.blogspot.com/p/simplificacion-de-proposiciones-

logicas.html

Universidad de la Plata. (s.f.). Curso de ingreso 2016 - Matemática 0. Obtenido de

http://163.10.22.92//catedras/ingreso/Material2016/MAT/GuiaMAT.pdf

Downloaded by Xiomara David (xiomaradavid686@gmail.com)

 lOMoA

wikiversity. (01 de Marzo de 2022). Lógica proposicional/Tablas de verdad. Obtenido de

https://es.wikiversity.org/wiki/L%C3%B3gica_proposicional/Tablas_de_verdad

Downloaded by Xiomara David (xiomaradavid686@gmail.com)