Question

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

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

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, 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 (En Word, Excel o foto del desarrollo manual).
NECESITO SU APOYO

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  

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)∨r: Si voy en motocicleta entonces aumento la velocidad o llego temprano a la universidad

P2: (r→∼p): Si llego temprano a la Universidad entonces no voy en motocicleta

P3: p∧s: Voy en motocicleta y pierdo el examen

Conclusión:

q∧p: aumento la velocidad y pierdo el examen

Generar Tabla de la Verdad.

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

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

El argumento es Tautologia.