Expresión simbólica:
[(p∨q)∧(q⟶∼r)∧(∼r⟶s)∧ (∼p)∧ (s⟶r)]⟶(r)
Premisas:
P1: p∨q
P2: q⟶∼r
P3: ¬r→s
P4: ∼p
P5: s⟶r
Conclusión: r
• Demostración de la validez del argumento mediante las leyes de la inferencia lógica
Respuestas
El argumento es tautologia y la tabla de verdad esta adjunta
Explicación paso a paso:
Definir las proposiciones simples:
p: ir en motocicleta
q: aumentar la velocidad caminando
r: llegar temprano a la Universidad
s: pierdo el examen
Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural
Premisas:
P1: p∨q
: Ir en motocicleta o aumentar la velocidad caminando
P2: q⟶¬r
: Si aumento la velocidad caminando entonces no llegare temprano a la Universidad
P3: ¬r→s
: Si no llego temprano a la Universidad entonces pierdo el examen
P4: ¬p
: no ir en motocicleta
P5: s⟶r
: pierdo el examen entonces llego temprano a la Universidad
Conclusión: r
Generar Tabla de la Verdad.
[(p∨q)∧(q→¬r)∧(¬r⟶s)∧ (¬p)∧ (s⟶r)]⟶(r)
Definir si el argumento es: Tautología, Contingencia o contradicción
El argumento es Tautologia.
Ver más en Brainly - https://brainly.lat/tarea/11010227#readmore
