Question

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

1) 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

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

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

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

Answer 1

La Expresión simbólica [(p→s)∧(q→r)∧(p∧q)]⟶(s∧r) es tautologia

Definición de preposiciones simples:

p: ir en motocicleta

q: aumentar la velocidad

r: llegar temprano a la Universidad

s: gastar mas combustible

Lenguaje natural de la exposición formal

P1: p→s : Si voy en motocicleta entonces gasto mas combustible

P2: q→r : Si aumento la velocidad entonces llego temprano a la universidad

P3: p∧q: Voy en motocicleta y aumento la velocidad

Conclusión:

s∧r: Gasto mas combustible y llego temprano a la Universidad

Generar Tabla de la Verdad.

[(p→s)∧(q→r)∧(p∧q)]⟶(s∧r)

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

El argumento es Tautologia, porque todos los valores son verdaderos