[Escriba aquí]
Tarea 4 - Sustentación Unidades 1, 2 o 3
Yury Milena Remisio Perdomo
Tutor:
Nini Johanna Vargas
Universidad Nacional Abierta y a Distancia UNAD
Escuela de Ciencias Sociales, Artes y Humanidades
Pensamiento lógico
21 abr. 20
[Escriba aquí]
[Escriba aquí]
Ejercicio 1: Aplicación de la Teoría de Conjuntos
Se realizó una encuesta los estudiantes de Lógica Matemática, a acerca de
sus preferencias en el uso de las redes sociales y se obtuvieron los
siguientes resultados:
60 prefieren Facebook,
25 prefieren twitter,
10 prefieren Instagram,
2 prefieren las tres redes sociales,
10 prefieren Facebook y twitter,
2 prefieren Instragram y Facebook
4 prefieren Instagram y twitter,
4 no tiene preferencia por ninguna red socia
A partir de la situación planteada dar respuesta las siguientes preguntas:
1 ¿Cuántos estudiantes prefieren únicamente Instagram?
2 ¿Cuántos estudiantes prefieren únicamente twitter?
3 ¿Cuántos estudiantes prefieren Instagram y Facebook?
4 ¿Cuántos estudiantes fueron encuestados?
[Escriba aquí]
[Escriba aquí]
[Escriba aquí]
[Escriba aquí]
RTA:
1. 6 estudiantes prefieren únicamente instagram.
2. 13 estudiantes prefieren únicamente twitter
[Escriba aquí]
[Escriba aquí]
3. 2 estudiantes prefieren instagram y Facebook
4. 85 estudiantes fueron encuestados
[Escriba aquí]
[Escriba aquí]
Ejercicio 2: Métodos para probar la validez de un argumento
A partir de la expresión simbólica seleccionada, el estudiante deberá:
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
Expresión simbólica: [ ( p ∨q ) ∧ ( p → r ) ∧ ( q → s ) ⋀ (¬ r) ] → s
Premisas:
P1: p ∨q
P2: p →r
P3: q → s
P4: ¬ r
Conclusión: s
Rta:
Proposiciones simples:
p: Estudio Biología
q: Estudio psicología
r: Cumplo el sueño de mis padres
s: Cumplo mi sueño
[Escriba aquí]
[Escriba aquí]
Razonamiento en lenguaje natural:
Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje
natural.
Rta: Si estudio biología o estudio psicología. Si estudio biología entonces
cumplo el sueño de mis padres. Si estudio psicología entonces cumplo mi
sueño. Si no cumplo el sueño de mis padres Por lo tanto cumplo mi
sueño.
Tabla de verdad con el simulador:
Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico
p q r s ((p∨q)∧(p→r)∧(q→s)∧(~r))→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
[Escriba aquí]
[Escriba aquí]
Tabla de verdad manual
Generar una tabla de verdad manualmente a partir del lenguaje simbólico.
p q r s ( p ∨q ) ( p →r ) |( q → s ) p ∨q ) ∧ ( p → r ) ( p ∨q ) ∧ ( p → r ) ∧ ( q →[ (sp) ∨q ) ∧ ( p → r ) ∧[ (( pq ∨q
(¬( r) → s) )∧⋀ ((¬
p→r) ]r ) ∧ ( q →
V V V V V V V F V V F V
V V V F V V F F V F F V
V V F V V F V V F F F V
V V F F V F F V F F F V
V F V V V V V F V V F V
V F V F V V V F V V F V
V F F V V F V V F F F V
V F F F V F V V F F F V
F V V V V V V F V V F V
F V V F V V F F V F F V
F V F V V V V V V V V V
F V F F V V F V V F F V
F F V V F V V F F F F V
F F V F F V V F F F F V
F F F V F V V V F F F V
F F F F F V V V F F F V
Resultado de la tabla de verdad: TAUTOLOGÍA
[Escriba aquí]
[Escriba aquí]
Leyes de inferencia:
Demostración de la validez del argumento mediante las leyes de la
inferencia lógica
[ ( p ∨q ) ∧ ( p → r ) ∧ ( q → s ) ⋀ (¬ r)] → s
P1: p ∨q
P2: p →r
P3: q→s
P4: ¬r
Conclusión: S
P5: (r∨s) silogismo disyuntivo a 1, 2 y 3
P6: s Modo tollendo ponens a 5 y 4
[Escriba aquí]
