Expresión simbólica: [(p∧q)∧(p→r)]⟶(r∧q)
Premisas:

P1: p∧q
P2: p→r

Conclusión: r∧q

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.

Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Respuestas

Respuesta dada por: Osm867
2

Respuesta.


Para resolver este problema en primer lugar se deben definir las preposiciones simples, las cuales son:


p: ir en motocicleta

q: aumentar la velocidad

r: llego temprano a la Universidad

Lenguaje natural de la exposición formal

p ∧ q : Si voy en motocicleta y aumento la velocidad

p ∧ q Si voy en motocicleta entonces llego temprano a la Universidad


Luego se procede a generar la tabla de la verdad, la cual es:


p ∧ q ∧ p ∧ q


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


El argumento es contingencia.

Preguntas similares