Usuario:Juan medina/ejer10

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

Si algernones una molestia, no esta en la carcel. si esta en la carcel entonces es una calamidad. Si es una calamidad, entonces no esta en el ejercito. en consecuencia, o no esta en el ejercito, o no es una molestia.

A = algernones es una molestia.

B = algernones esta en la carcel.

C = es una calamidad.

D = algernones esta en el ejercito.

A → -B.

B → C.

C → -D.


B →-D silogismo hipotetico.

-B v -D teorema de implicacion y disyuncion.

-B simplificacion disyuntiva.

A modus ponens.

-A negación.

-D simplificación disyuntiva.

-A v -D