LOGICA MATEMATICA

90004_209

TAREA 3 - SUSTENTACIÓN UNIDADES 1 O 2

PRESENTADO POR:
YEISSON DANILO GUERRERO LOPEZ

PRESENTADO A:
JAIRO YAMID MARIN

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA – ECBTI
INGENIERÍA DE SISTEMAS

CEAD MÁLAGA
25 DE NOVIEMBRE DE 2019
Ejercicio 1: Aplicación de la Teoría de Conjuntos

Descripción del ejercicio:

A continuación, encontrará una serie de situaciones en contextos reales,

las cuales deberán se

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? 300 personas solo compraron

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

 ¿Cuántas personas prefieren Sony o Apple? 320 personas prefieren

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

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

Descripción del ejercicio:

a. Expresión simbólica: [(r ∨ s)∧ ¬ p ∧ ( q ∨¬ r ) ∧ ( q → p ) ]→ s

Premisas:
P1: r ∨ s
P2: ¬ p
P3:q ∨ ¬r
P4: q → p
p:El carro es viejo

q:El carro tiene 10 años

r:El carro es azul

s:El dueño del carro es carlos

Razonamiento en lenguaje natural:

Si el carro es azul o el dueño del carro es carlos el carro no es viejo. El

carro es viejo o no es azul si el carro tiene 10 años entonces el carro es
viejo por tanto el dueño del carro es carlos

TAUTOLOGIA
  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

r s p q (rvs (~p (~r (q→p [(r∨s)∧¬p∧(q∨¬r)∧(q→p)]→

) ) ) ) s
F F F F F V V V V
F F F V F V V F V
F F V F F F V V V
F F V V F F V V V
F V F F V V V V V
F V F V V V V F V
F V V F V F V V V
F V V V V F V V V
V F F F V V F V V
V F F V V V F F V
V F V F V F F V V
V F V V V F F V V
V V F F V V F V V
V V F V V V F F V
V V V F V F F V V

b. [(r ∨ s)∧ ¬ p ∧ ( q ∨¬ r ) ∧ ( q → p ) ]→ s
Premisas:
P1: r ∨ s
P2: ¬ p
P3:q ∨ ¬r
P4: q → p

P5: q PP (2) (4)

P6: r PP (3) (5)

P7: s TT (1) (6)