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 a la pregunta
Contestado por
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
Otras preguntas