Matemáticas, pregunta formulada por decamose26, hace 1 año

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


fernixtu: para 5 puntos ... no da

Respuestas a la pregunta

Contestado por luismgalli
2

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

Adjuntos:

alejacarvajal: excelente trabajo me a ayudado bastante, pero me hace falta la tabla manual
Otras preguntas