Documentos de Académico
Documentos de Profesional
Documentos de Cultura
N: 85
F: 80
V: 90
F ¿ N: 55
F ¿ V: 49
V ¿ N: 51
F ¿ V ¿ N:35
F N
14
20
11 35
14 16
25
V
R/ 11+14+25+14+35+16+20=135 Encuestados.
R/ 11+20+14=45.
R/ 11+25+14=50.
Ejercicio 2: Métodos para probar la validez de un argumento
A. Expresión simbólica:
[ ( p→ s )∧ ( q→ r ) ∧( p∧q ) ] ⟶( s∧r )
Premisas:
P1: p→s
P2: q →r
P3: p∧q
Conclusión: s∧r
s : ganar el examen
q : asistir a clase
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)
2 =16 <
4
p s q r →
p s →
q r p˄ s˄ ( p→s ) ˄ ( q→r ) ˄ ( p ˄q ) ⟶(s∧r )
q r
V V V V V V V V V V V
V V V F V F V F F F V
V V F V V V F V V f V
V V F F V V F F V F V
V F V V F V V F F F V
V F V F F F V F F F V
V F F V F V F F F F V
V F F F F V F F F f V
F V V V V V F V V F V
F V V F V F f F F F V
F V F V V V f V V F V
F V F F V V F F V F V
F F V V V V F F V F V
F F V F V F F F F F V
F F F V V V F F V F V
f F F F V V F F V F V
Demostración de la validez del argumento mediante las leyes de la
inferencia lógica
P1:p →s
P2: ( q → r )
P3: ( p∧q )
P4: ( p→ s )∧( q→ r )
Conclusión
⟶(s∧r )
[ ( p→ s )∧ ( q→ r ) ∧( p∧q ) ] ⟶( s∧r )