Tarea 4

Sustentación Unidades 1, 2 o 3

Aplicación Teoría de Conjuntos

Métodos para probar la validez de un argumento

Dayana Dávila Cardozo

Tutor:
Andrés Bermúdez

Universidad Nacional Abierta y a Distancia

UNAD
CEAD_ Corozal
Administración en Salud
2019
 Ejercicio # 1 __ Letra escogida “A”

Aplicación Teoría de Conjuntos

DESCRIPCION

Se realizó una encuesta a 37 jóvenes respecto a sus preferencias deportivas,

encontrándose la siguiente información:

 A 2 de ellos les apasiona el futbol, la natación y el ciclismo

 En total 5 de ellos les gusta el futbol y la natación
 En total a 7 de ellos les gusta la natación y el ciclismo
 Un total de 6 jóvenes manifestaron su gusto por el futbol y el ciclismo
 Solo 8 se apasionan por el futbol
 Solo 6 practican la natación
 A 9 de ellos solo les gusta el ciclismo.
 En total a 17 les gusta el futbol
 En total a 16 les gusta la natación.

A partir de la situación planteada dar respuesta las siguientes preguntas:

1. ¿A cuántos jóvenes solo les gusta de manera simultánea el futbol y la

natación?
2. ¿A cuántos jóvenes solo les gusta de manera simultánea el futbol y el
ciclismo?
3. ¿A cuántos jóvenes solo les gusta de manera simultánea la natación y el
ciclismo?
4. ¿En total a cuantos jóvenes les gusta el ciclismo?
 Desarrollo

U_ 37 Jóvenes

Fútbol: 8

Natación: 6

Ciclismo: 9

1. Solo a 3 jóvenes le gusta de manera simultánea el fútbol y la natación

 2. Solo a 4 jóvenes les gusta de manera simultánea el fútbol y el ciclismo

3. Solo a 5 jóvenes les gusta de manera simultánea la natación y el ciclismo

4. En total a 20 jóvenes des gusta el ciclismo

4 + 2 + 5 +9 = 20
 Ejercicio # 2

Métodos para probar la validez de un argumento

Descripción

Expresión simbólica:

{[(𝒑→𝒒)∨𝒓]∧(𝒓→∼𝒑)∧(𝒑∧𝒔)}⟶(𝒒∧𝒔)

Premisas:

P1: (𝑝→𝑞) ∨ 𝑟
P2: (𝑟→∼𝑝)
P3: (𝑝∧𝑠)

Conclusión: (𝑞∧𝑠)

Resolver

1. Definir las proposiciones simples

2. Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje
natural.
3. Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico
4. Generar una tabla de verdad manualmente a partir del lenguaje simbólico
5. Demostración de la validez del argumento mediante las leyes de la inferencia
lógica
 Desarrollo

{[(𝒑→𝒒)∨𝒓]∧(𝒓→∼𝒑)∧(𝒑∧𝒔)}⟶(𝒒∧𝒔)

1. Preposiciones Simples
p: Estudio
q: Leo la guía
r: Analizo

s: Seré Inteligente

2. Lenguaje Natural
Estudio si leo la guia o la analizo. Si analizo entonces no estudio. Estudio o seré
inteligente entonces leo la guía o seré inteligente.
 3. Tabla simulador logica UNAD

p q r s ((p→q∨r)∧(r→~p)∧(p∧s))→(q∧s)
v v v v V
v v v f V
v v f v V
v v f f V
v f v v V
v f v f V
v f f v V
v f f f V
f v v v V
f v v f V
f v f v V
f v f f V
f f v v V
f f v f V
f f f v V
f f f f V
 4. Tabla de Verdad

{ [ (𝒑→𝒒) ∨ 𝒓] ∧ (𝒓→∼𝒑 ) ∧ (𝒑∧𝒔) } ⟶ (𝒒∧𝒔)

A: [(𝒑→𝒒) ∨ 𝒓] B: (𝒓→∼ ) C: (𝒑∧𝒔) D: (𝒒∧𝒔)

∼
(𝒑→𝒒)∨𝒓 A∧B A∧B∧ C {[A]∧ (B )∧( C)}
p q r s (𝒑→𝒒) p (𝒓→∼𝒑 ) (𝒑∧𝒔) (𝒒∧𝒔)
⟶D
V V V V V V F F F V F V V
V V V F V V F F F F F F V
V V F V V V F V V V V V V
V V F F V V F V V F F F V
V F V V F V F F F V F F V
V F V F F V F F F F F F V
V F F V F F F V F V F F V
V F F F F F F V F F F F V
F V V V V V V V V F F V V
F V V F V V V V V F F F V
F V F V V V V V V F F V V
F V F F V V V V V F F F V
F F V V V V V V V F F F V
F F V F V V V V V F F F V
F F F V V V V V V F F F V
F F F F V V V V V F F F V

Tautologia
 5. Leyes de la inferencia lógica

P1: (𝑝→𝑞) ∨ 𝑟
P2: (𝑟→∼𝑝)
P3: (𝑝∧𝑠)

Conclusión: (𝑞∧𝑠)

P4: p Simplificación en P3

P3 : ∧ 𝑠
P

P5: ∼r M T T en P2 y P 4

P2 : 𝑟→∼𝑝
P4 : p

∼r
P6: p→𝑞 M T P en P1 y P3

P1 𝑝→𝑞 ∨ 𝑟
P3 ∼ r

𝑝→𝑞

P7 : q M P P en P6 y P 4

P6: 𝑝→𝑞
P4: p

P8: (𝑞∧𝑠) Adjunción en P7 y P8

P7: q
P8: s

: (𝑞∧𝑠) Conclusión
 Bibliografía

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 78 - 99). Ediciones Elizcom, Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=81&do
cID=3199701&tm=1529336485971

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 61- 65) Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=72&do
cID=4569631&tm=1529336365580

Sánchez, H. R. (2014). Álgebra. (pp. 14 - 29). México, D.F., México: Larousse -

Grupo Editorial Patria