Universidad Nacional Abierta y a Distancia

Integrante
Farley Antonio Valencia Perea

Cel: 3145900559

Grupo

200611_1797

PENSAMIENTO LOGICO Y MATEMATICO

Tutor

JADITH ROVIRA

Noviembre 2019
Desarrollo Tarea 4 – Sustentación tarea 1, 2 o 3

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?
 Rtda:
1. 65 personas compraron sólo Sony
2. 75 prefieren Samsung, pero no Apple ni Sony

3. 85 personas prefieren Sony o Apple

4. 265 personas prefieren Sony y Apple, pero no Samsung

Ejercicio 2

Expresión simbólica:

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

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

Desarrollo:

 Proposiciones simples:

p: Voy al CEAD de turbo

q: Participo en los foros

r: Obtengo buenas calificaciones

 s: Entrego los trabajos a tiempo

 Razonamiento en lenguaje natural:

Si obtengo buenas calificaciones o entrego los trabajos a tiempo y no voy

al CEAD turbo y si participo en los foros y no obtengo buenas calificaciones
y si participo en los foros entonces voy al CEAD turbo. Por lo tanto,
entrego los trabajos a tiempo.

 Tabla de verdad manualmente:

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

v v v v f f v f v v v
v v v f f f v f v v v
v v f v f v v f v v v
v v f f f v f f v v v
v f v v f f v f f f v
v f v f f f v f f f v
v f f v f v v f v f v
v f f f f v f f v f v
f v v v v f v v v v v
f v v f v f v v v v v
f v f v v v v v v v v
f v f f v v f f v v v
f f v v v f v v f v v
f f v f v f v v v v v
f f f v v v v v v v v
f f f f v v f f v v v

 Resultado de la tabla de verdad: TAUTOLOGÍA

  Generar la tabla de verdad con el simulador Lógica UNAD

leyes de inferencia:
P1: 𝑟∨𝑠
P2: ¬𝑝
P3: 𝑞 ∨ ¬𝑟
P4: 𝑞→𝑝
P5: s p1, p3 tollendo Ponens
Conclusión: s