Tarea 4- sustentación unidades 1,2,3,

Pensamiento lógico y matemático

Presentado por:
Kevin Steven quintero Patiño
Código: 1110574826
Grupo:200611_939

Presentado a:
Mireya Gómez argote
tutora

Universidad nacional abierta y a distancia UNAD escuela de ciencias básicas tecnología e

ingeniería ECBTI programa de ingeniería industrial
Mayo 2019
Ibagué
EJERCICIO 1: APLICACIÓN DE LA TEORIA DE CONJUNTOS

C: Los siguientes son los datos que muestran las preferencias de

algunos aspirantes a ingresar a la Universidad Nacional Abierta y a
Distancia para ciertos programas de Ingeniería:

 50 prefieren Industrial.
 47 prefieren Sistemas.
 35 prefieren Electrónica.
 16 prefieren Sistemas y Electrónica.
 11 prefieren Industrial y Sistemas.
 15 prefieren Industrial y Electrónica.
 9 prefieren las tres.

De acuerdo con lo anterior, responder las siguientes preguntas:

• ¿Cuántos aspirantes fueron encuestados? R/:99

• ¿Cuántos aspirantes prefieren únicamente Industrial? R/: 33

• ¿Cuántos aspirantes no prefieren Electrónica? R/: 64

• ¿Cuántos aspirantes prefieren Industrial o Electrónica pero no

Sistemas? R/: 52

• ¿Cuántos aspirantes prefieren Industrial o Sistemas? R/: 64

 U
i s

33 2

29

6 7

13

∪= 99

I= 50

S= 47

E=35

I ∩ S = 11

S ∩ E= 16

I ∩ E= 15

I ∩ S ∩ E= 99

I= 50-2-9-6= 33

S= 47-2-9-7= 29

E= 35-9-6-7= 13

U= 99-86= 13
Ejercicio 2: Métodos para probar la validez de un argumento

A partir de la expresión simbólica seleccionada, el estudiante deberá:

Expresión simbólica: C:
{[p→(q→r)]Λ(rΛp)Λ(sVq)Λ¬q}→sΛ(q→r)

 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: James estudia en la unad

Q: james es uno de los mejores
R: james lleva trabajos
S: james se esfuerza por pasar el semestre

• Remplazar las variables expresadas

simbólicamente y llevarlas al lenguaje
natural.
si james estudia en la unad, fue porque se esforzó
mucho para ser uno de los mejores llevando
trabajos, todos los días sin faltar, para pasar el
semestre.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir

del lenguaje simbólico (El estudiante encontrará la Guía para el uso
de recursos educativos Simulador Lógica UNAD, en el Entorno de
Aprendizaje Práctico, así como el link de acceso al recurso)
 Generar una tabla de verdad manualmente a partir del lenguaje
simbólico (En Word, Excel o foto del desarrollo manual).
 p q r s {[𝑝 (rΛ (sV
{[p→(q→r)]Λ(rΛp)
→ (𝑞 p) q)
Λ(sVq)Λ¬q}→sΛ(
→ 𝑟)]
q→r)

v f v f v v v v
v f f v v v f v
v v v f v v v v
v v f v v v v v
f f v f v f v f
f f f v f f f f
f v v f v v v v
f v f v f v v v
v f v f v v v v
v f f v v v f v
v v v f v v v v
v v f v v v V v
f f v f v f v f
f f f v f f f f
f v v f v v v v
f v f v f v v v

 Demostración de la validez del argumento mediante las leyes de la

inferencia lógica

Expresión simbólica:

C: {[p→(q→r)]Λ(rΛp)Λ(sVq)Λ¬q}→sΛ(q→r)
Premisas:

P1: p→ ( q→r)
P2: (r ∧ p)
P3: ( s ⋁ q)
P4: ¬q
Conclusión:
P5: p aplicando s entre (premisa p2)
P6: (q→r) aplicando modo ponendo pones(p1,p5)
P7: s aplicando tollendo ponens (p3, p4)
s ∧ ( q→r ) ley de adjuncion ( p7 y p6)