Usuario:Juan medina/ejer13

si el contrato es valido, entoncers horacio esta juridicamente obligado. Si horacio esta juridicamente obligado, quebrara. Si el banco le presta dinero, mo quebrara. de hecho, el contratoes valido y el banco le prestara dinero.

(1)V → P

(2)P →W

(3)Q → -W

(4)V ^Q

---

(5)V Ley de simplificación

(1,2)V→W Ley del silogismo hipotetico

(5,6)W modus ponens

(4)Q modus tollens

(3,8) -W modus tollens

(7,9)W ^ -W ley de adjudicación