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).
En resumen
Respuesta.
Respuesta.
Para resolver este problema en primer lugar se deben definir las preposiciones simples, las cuales son :
p : ir en motocicletaq : aumentar la velocidadr : llego temprano a la UniversidadLenguaje natural de la exposición formalp ∧ 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.
Respuesta. Para resolver este problema en primer lugar se deben definir las preposiciones simples, las cuales son : p : ir en motocicletaq : aumentar la velocidadr : llego temprano a la UniversidadLenguaje natural de la…
Respuesta. Para resolver este problema se tienen las siguientes premisas : P1 : ¬p→q - - - - - - - > Como un condicional de disyunción P2 : q→¬rP3 : ¬r→s - - - - - - - - - > Modus tollendo tollens. P4 : ¬pP5 : ¬s∨r - -…