Question

Expresión simbólica: [(r∨s)∧¬p∧(q∨¬r)∧(q→p)]→s

Premisas:
P1: r∨s
P2: ¬p
P3: q∨¬r
P4: q→p
Conclusión: s


• 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.
ejemplo:

p: Carlos estudia en la UNAD
q: La UNAD es una Universidad Pública


• Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las proposiciones simples deben ser de autoría de cada estudiante.

• Generar una tabla de verdad manualmente a partir del lenguaje simbólico.

• Demostración de la validez del argumento mediante las leyes de la inferencia lógica.

AYUDA...POR FAVOR

Answer 1

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: r→¬q : Llegar temprano a la Universidad entonces no aumentar la velocidad caminando

P2: p∨s : Voy en motocicleta o pierdo el examen

P3: q∧p: Aumento la velocidad caminando y voy en motocicleta

Conclusión: ¬r

Generar Tabla de la Verdad.

[(r→¬q)∧(p∨ s)∧(q∧ p)]→¬r

Definir si el argumento es: Tautología, Contingencia o contradicción

El argumento es Tautologia.