Usuario:Juan medina/ejer10

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