Ir al contenido

Usuario:Juan medina/ejer13

De Wikilibros, la colección de libros de texto de contenido libre.

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