LOGICA MATEMATICA

GRUPO: 90004_262

TEMA

Tarea 3 - Sustentación unidades 1 o 2

ELABORADO POR

OSCAR ARMANDO ORTEGA ARCE

PRESENTADO A

JHORMAN ANDRES VILLANUEVA

TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ADMINISTRACION DE EMPRESAS

Año: 2019
 DESARROLLO DE LA ACTIVIDAD

LETRA B

Ejercicio 1: Aplicación de la Teoría de conjuntos

B. Las marcas más vendidas de celulares en el momento son Samsung, Apple y Sony. Los
compradores de la ciudad de Medellín en el primer mes del año 2019, brindaron la
siguiente información:
Personas que compraron celular Samsung: 330
Personas que compraron Sony: 300
Personas que compraron Apple: 320
Por otro lado, hubo personas que compraron dos marcas de celulares, 100 de ellas
eligieron Sony y Apple, 120 Samsung y Sony. Por último 150 personas compraron Apple
y Samsung. Además, sólo 15 personas compraron las tres marcas.
 ¿Cuántos compraron sólo Sony?
 ¿Cuántos prefieren Samsung, pero no Apple ni Sony?
 ¿Cuántas personas prefieren Sony o Apple?
 ¿Cuántas personas prefieren Sony y Apple pero no Samsung?

SOLUCION

SA=Samsung

SO= Sony

A=Apple
 SA 105 SO

75 95

15

135 85

85

 ¿Cuántos compraron sólo Sony?

(𝑆𝐴 ∪ 𝐴)𝐶 = 95

SA 105 SO

75 95

15

135 85

85

Solo 65 personas compraron solo Sony

  ¿Cuántos prefieren Samsung, pero no Apple ni Sony?
(𝑆𝑂 ∪ 𝐴)𝐶 = 75

SA 105 SO

75 95

15

135 85

85

Solo 45 personas prefieren Samsung

 ¿Cuántas personas prefieren Sony o Apple?

(𝑆𝑂 − 𝐴) ∪ (𝐴 − 𝑆𝑂) = 105 + 95 + 15 + 85 + 135 + 85 = 520

SA 105 SO

75 95

15

135 85

85

Solo 520 personas prefieren Sony o Apple

  ¿Cuántas personas prefieren Sony y Apple pero no Samsung?

(𝑆𝐴)𝐶 = 95 + 85 + 85 = 265

SA 105 SO

75 95

15

135 85

85

Solo 265 personas prefieren Sony o Apple, pero no samsung

Ejercicio 2: Métodos para probar la validez de un argumento

B. Expresión simbólica:
[(𝑟 ∨ 𝑠) ∧ ¬𝑝 ∧ (𝑞 ∨ ¬𝑟) ∧ (𝑞 → 𝑝)] → 𝑠

Premisas:
P1: 𝑟 ∨ 𝑠
P2: ¬𝑝
P3: 𝑞 ∨ ¬𝑟
P4: 𝑞 → 𝑝
Conclusión: 𝑠

Desarrollo:
Proposiciones simples:

p: Juan se transporta en bus

q: juan llega temprano
r: juan madruga
s: juan alcanza el puesto en el bus

Razonamiento en lenguaje natural:

Juan madruga o juan alcanza el puesto en el bus y juan no se transporta en bus y juan
llega temprano o no madruga y juan llega temprano entonces juan se transporta en bus por
tanto juan alcanza el puesto en el bus.
 Tablas de verdad:

(𝒓 ∨ 𝒔) [(𝒓 ∨ 𝒔) ∧ ¬𝒑
[(𝒓 ∨ 𝒔) ∧ ¬𝒑
(𝒓 ∨ 𝒔) (𝒒 ∧ ¬𝒑 (𝒒 → 𝒑) ∧ (𝒒 ∨ ¬𝒓)
p q r s ¬p ¬r (𝒓 ∨ 𝒔) ∧ (𝒒 ∨ ¬𝒓)
∧ ¬𝒑 ∨ ¬𝒓) ∧ (𝒒 ∧ (𝒒 → 𝒑)] → 𝒔
∧ (𝒒 → 𝒑)]
∨ ¬𝒓)
V V V V F F V F V F V F V
V V V F F F V F V F V F V
V V F V F V V F V F V F V
V V F F F V F F V F V F V
V F V V F F V F F F V F V
V F V F F F V F F F V F V
V F F V F V V F V F V F V
V F F F F V F F V F V F V
F V V V V F V V V V F F V
F V V F V F V V V V F F V
F V F V V V V V V V F F V
F V F F V V F F V F F F V
F F V V V F V V F F V F V
F F V F V F V V F F V F V
F F F V V V V V V V V V V
F F F F V V F F V F V F V

Resultado de la tabla de verdad: TAUTOLOGÍA.

Leyes de inferencia:

[(𝑟 ∨ 𝑠) ∧ ¬𝑝 ∧ (𝑞 ∨ ¬𝑟) ∧ (𝑞 → 𝑝)] → 𝑠

Premisas:

P1: (𝑟 ∨ 𝑠)
P2: ¬𝑝
P3: (𝑞 ∨ ¬𝑟)
P4: (𝑞 → 𝑝)
S
P5: (𝑞 → 𝑝) (4)
¬𝑝 (2) modus tollendo tollens 4 y 2
5 ¬𝑞
P6: (𝑞 ∨ ¬𝑟) (3)
¬𝑞 (5) silogismo disyuntivo 3 y 5
6 ¬𝑟
P7: (𝑟 ∨ 𝑠) (1)
¬𝑟 (6) silogismo disyuntivo 1 y 6
7 s
 REFERENCIAS BIBLIOGRÁFICAS

Guerrero, S. L. M. (2005). "Fundamentos de los Conjuntos en Matemáticas". En ProQuest ebrary

(Ed). Matemáticas. Sus fundamentos en secuencia óptima. (pp. 24 – 34). Córdoba,
Argentina: El Cid Editor. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=24&docID=10
075782&tm=1489706755797
.
Sánchez, H. R. (2014). "Conjuntos". En ProQuest ebrary (Ed) Álgebra. (pp. 2- 30). México, D.F.,
México: Larousse - Grupo Editorial Patria. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=15&docID=11
046169&tm=1489706134764

Gonzáles, T. L., & Saavedra, M. (2009). "Teoría de Conjuntos". En ProQuest ebrary

(Ed). Aciertos matemáticos 11: serie para la educación media. (pp. 20 -24). Bogotá,
Colombia: Educar Editores S.A. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=21&docID=10
345286&tm=1489708381971

Colegio24hs (2004). Silogismos y falacias. (pp. 27-34) Buenos Aires: Colegio24hs. Recuperado
de: http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=27&docID=31
57595&tm=1511207573036

Castaño, G. (2017). Teoría de conjuntos, [Video]. Recuperado

dehttp://hdl.handle.net/10596/13870
.
Tovar, A. (2017). Silogismos Categoricos. Recuperado de:
https://www.youtube.com/watch?v=_9dqvJcO6g4