TAREA 4: SUSTENTACION UNIDADES 1,2 Y 3

MAICOL SNEIDER VASALLO TRIANA

CODIGO: 1124218727

TUTOR: YIMER CAMILO VARGAS

GRUPO: 200611_2010

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LOGICO Y MATEMATICO

LICENCIATURA EN PEDAGOGIA INFANTIL

CEAD: ACACIAS META

28/11/2019
Ejercicio 1: Aplicación de la Teoría de Conjuntos

D. Se realizó una encuesta a personas millonarias respecto a su gusto por

súper autos italianos y se obtuvieron los siguientes resultados: 53 prefieren
Lamborghini, 48 prefieren Ferrari, 40 prefieren Pagani, 5 prefieren las tres
marcas, 20 prefieren Lamborghini y Ferrari, 12 prefieren Ferrari y Pagani, 11
prefieren Lamborghini y Pagani y 4 no tiene preferencia por ninguna marca ita
liana.

• ¿Cuántas personas fueron encuestadas

R// 193 personas encuestadas

• ¿Cuántas personas prefieren sólo Lamborghini?

R// 53 prefieren solo lamborghini

• ¿Cuántas personas prefieren sólo Ferrari?

R// 48 prefieren solo Ferrari

• ¿Cuántas personas prefieren sólo Pagani?

R// 40 prefieren solo pagani

Ejercicio 2 Expresión simbólica:

[(pVq)Λ(p→r )Λ(q→s)Λ(῀s)] →p

Determinación de premisas: de acuerdo a la expresión simbólica divida el

argumento en premisas de forma vertical y deben ser numeradas.
Premisas
P1: pVq
P2: p→r
P3: q→s
P4: ῀s
Conclusión: p

Desarrollo
 Proposiciones simples: se define cada preposición simple del argumento,
siempre en afirmativo y con letra en minúscula.

 P: maicol estudia en la UNAD

 q: realiza las actividades del foro
 r: obtiene excelente notas
 S: aprueba el semestre

Razonamiento en lenguaje natural

 Si maicol estudia en la UNAD o realiza las actividades del foro y maicol

estudia en la UNAD entonces obtiene excelente notas y realiza las
actividades del foro entonces aprueba el semestre y no aprueba el
semestre entonces maicol estudia en la UNAD.

Generar la tabla de verdad manualmente

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

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

r) s)
V V V V F V V V V V
V V V F V V F V F V
V V F V F F V F F V
V V F F V F F F F V
V F V V F V V V V V
V F V F V V V F V V
V F F V F F V F F V
V F F F V F V V F V
F V V V F V V V V V
F V V F V V F V F V
F V F V F V V V V
V
F V F F V V F V F V
F F V V F V V F V V
F F V F V V V F V V
F F F V F V V F V V
f f F F V V V F V V
-

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

 Leyes de inferencia
P1: p∨q
P2: p→r
P3: q→s
P4: ~s
Conclusión: p