Las leyes de inferencia lógica son aquellas que nos permiten tomar un argumento, analizar su sintaxis y devolver una conclusión sobre el mismo, es decir, básicamente nos permiten determinar información nueva a partir de la información ya existente.
En el caso del ejercicio que planteas, va más o menos así : " El arriendo se mantiene válido o el dueño es responsable de las reparaciones.
El dueño no es responsable de las reparaciones" a.
Conclusión : El arriendo se mantiene válido.
B. Ley de inferencia aplicada : Silogismo disyuntivo.
C. Lenguaje simbólico : Partimos de que las preposiciones son las siguientes : p : El arriendo se mantiene válido.
Q : El dueño es responsable de las reparaciones.
Entonces.
(p ∨ q) → ¬ qO.
P → q ¬ q ¬ q → p
Espero que sea de ayuda!