Solución 1

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?

Solución:

U=Compradores de celulares en la ciudad de Medellín en el primer mes

del año 2019.

A=Personas que compraron celular Samsung

B=Personas que compraron Sony

C=Personas que compraron Apple

 U

A 105 B

75 95

15

135 85

85

Respuestas:

 ¿Cuántos compraron sólo Sony?

A 105 B

75 95

15

135 85

85

95 personas compraron solo Sony.

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

A 105 B

75 95

15

135 85

85

75 personas prefieren Samsung, pero no Apple, ni Sony.

¿Cuántas personas prefieren Sony o Apple?

A 105 B

75 95

15

135 85

85

105+95+135+15+85+85

520 personas prefieren Sony o Apple

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

A 105 B

75 95

15

135 85

85

85 personas prefieren Sony y Apple, pero no Samsung.

 Solución 2

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

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

Desarrollo:

Proposiciones simples:

p: Leydi estudió para los parciales

q: Leydi es profesional

r: Leydi pierde asignaturas

s: Leydi es estudiante de maestría

Razonamiento en lenguaje natural:

Leydi pierde asignaturas o Leydi es estudiante de maestría. Leydi no

estudió para los parciales. Leydi es profesional o Leydi no pierde
asignaturas. Si Leydi es profesional, entonces Leydi estudió para los
parciales. Por lo tanto, Leydi es estudiante de maestría.
 Tablas de verdad:

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

∧ (𝑞 ∨ ¬𝑟) ∧ (𝑞 → 𝑝)] → 𝑠
∧ (𝑞 → 𝑝)
V V V V F F V V V F V
V V V F F F V V V F V
V V F V F V V V V F V
V V F F F V F V V F V
V F V V F F V F V F V
V F V F F F V F V F V
V F F V F V V V V F V
V F F F F V F V V F V
F V V V V F V V F F V
F V V F V F V V F F V
F V F V V V V V F F V
F V F F V V F V F F V
F F V V V F V F V F V
F F V F V F V F V F V
F F F V V V V V V V V
F F F F V V F V V F V

Resultado de la tabla de verdad: TAUTOLOGÍA.

Leyes de inferencia:
Premisas:
P1: 𝑟 ∨ 𝑠
P2: ¬𝑝
P3: 𝑞 ∨ ¬𝑟
P4: 𝑞 → 𝑝
_______________

P5: ¬𝑞 MTT (2), (4)

P6: ¬𝑟 MTP (3), (5)
P7: 𝑠 MTP (1), (6) CONCLUSIÓN