PENSAMIENTO LOGICO Y MATEMATICO

GRUPO: 200611A_615

TEMA

Tarea 4 - Sustentación unidades 1, 2 o 3

ELABORADO POR

Nair Arcia

PRESENTADO A LA TUTORA

CAROLINA CASTANO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Año: 2019
Ejercicio 1: Aplicación de la Teoría de Conjuntos

A. 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?
 Representación en el diagrama de Veen

Definición conjuntos.
SA=samsumg
SO=Sony
A=Apple
● ¿Cuántos compraron sólo Sony?

(𝑆𝑎 𝑈 𝐴 )𝐶 = 65

¿Cuántos prefieren Samsung, pero no Apple ni Sony?

(𝑆𝑜 𝑈 𝐴 )𝐶 = 45
 ● ¿Cuántas personas prefieren Sony o Apple?
(𝑆𝑜 − 𝐴) ∪ (𝐴 − 𝑆𝑜)=65+120+150+55=390

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

(𝑆𝑎 )𝐶 = 65 + 100 + 55 = 220
A partir de la expresión simbólica seleccionada, el estudiante deberá:

 Definir las proposiciones simples, tendrá la libertad de definirla bajo

una descripción basada en un contexto, el que se solicita es un
contexto académico, ejemplo:

p: Carlos estudia en la UNAD

q: La UNAD es una Universidad Pública

 Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural. Las proposiciones simples deben ser de autoría de
cada estudiante.

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

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

p: Juan se transporta en bus

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

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.
 Generar una tabla de verdad con el simulador Lógica UNAD a partir
del lenguaje. Generar una tabla de verdad manualmente a partir
del lenguaje simbólico (En Word, Excel o foto del desarrollo
manual).
 Generar una tabla de verdad manualmente a partir del lenguaje
simbólico (En Word, Excel o foto del desarrollo manual).
  Demostración de la validez del argumento mediante las leyes de la
inferencia lógica

o Expresión simbólica:
[(𝑟 ∨ 𝑠) ∧ ¬𝑝 ∧ (𝑞 ∨ ¬𝑟) ∧ (𝑞 → 𝑝)] → 𝑠
Premisas:
P1: 𝑟 ∨ 𝑠
P2: ¬𝑝
P3: 𝑞 ∨ ¬𝑟
P4: 𝑞 → 𝑝
Conclusión: 𝑠

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

Premisas

Premisas:
1: 𝑟 ∨ 𝑠
2: ¬𝑝
3: 𝑞 ∨ ¬𝑟
4: 𝑞 → 𝑝
__________________
S

5: 𝑞 → 𝑝 4
¬𝑝 2 modus tollendo tollens 4 y 2
______
5 ¬𝒒

6: 𝑞 ∨ ¬𝑟 3
¬𝒒 5 silogismo disyuntivo en 3 y 5
______
6 ¬𝑟

7: 𝑟 ∨ 𝑠 1
¬𝑟 6 silogismo disyuntivo en 1 y 6
__________
7 s
 REFERENCIAS

 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 61-65.)
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.