Matemáticas, pregunta formulada por ferlover93, hace 1 año

Buenas tardes 
me podrian colaborar con este ejercicio, el tema de Métodos para probar validez de argumentos

ejercicio:

El arriendo se mantiene válido o el dueño es responsable de las
reparaciones. El dueño no es responsable de las reparaciones.
Conclusión: ____________________________________
Ley de inferencia aplicada: ________________________
Lenguaje simbólico: ______________________________

Respuestas a la pregunta

Contestado por yessica93
9

Conclusión: Se puede concluir por medio de la Regla  Modus tollendo tollens que el arriendo no se mantiene valido.

Ley de inferencia aplicada: Modus tollendo tollens, negación del consecuente o ley de contraposición, es un argumento válido y una regla de inferencia en lógica proposicional.

Lenguaje simbólico:

u→p

¬p

___

¬u


danilo200296: de donde sacas el entonces(-->)? No seria un o(^) y se usaría la propiedad Silogismo Disyuntivo.
jutomasaven199pem428: No, si fuera Silogismo Disyuntivo tendría que haber otra premisa, solo hay 3, y esa regla funciona con 4 o más.
danilo200296: no estas equivocado compa no se necesita 4 esa regla funciona para este ejercicio y de hecho asi se hace con silogismo disyuntivo corrige lo porfa... Gracias
danilo200296: te invito a que me digas al menos de donde sacas el entonces(->) ??
Otras preguntas