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


Expresión simbólica: [(P→Q)∧(Q→R)⋀(¬R)]→(¬P)

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.


alberth1108: esta bien compañero pero hay que decir que ley de inferencia logica esta aplicando
Preguntas similares