Usuario:Juan medina/ejer9

Si algernon está en la carcel,entonces no es una molestia para su familia. Si no esta en la carcel, entonces no es una calamidad. si no es una calamidad, entonces esta en e ejercito. Si esta borracho, es una molestia para su familia. En consecuencia, o no es uina molestia, a no esta en el ejercito.

A = algeron esta en la carcel

B =algeron es una molestia para su familia

C = algeron esta en la carcel

D = Es una calamidad

E = Algeron esta en el ejercito

G = algeron esta borracho.

A → -B

-A → -D

-D → E

G → B

---

-A → E(silogismo hipotetico)

A v -E(Ley de equivalencia para implicación y disyunción)

-E (simplificación disyuntiva)

A (simplificación disyuntiva)

-B(Modus tollens)

-B v -E