Usuario:Juan medina/ejer11

O Juan y Enrique son de la misma edad, o juan es de mas edad que enrique. Si Juan y enrique son de la misma edad, entonces Elizabeth y juan no son de la misma edad. Si juan es de mas edad que Enrique, entonces juan es de mas edad que maria. en consecuencia o elizabeth y juan no son de la misma edad, o Juan es de mas edad que maria.

A = Juan y Enrique son de la misma edad.

B = Juan es de mas edad que enrique.

C = Elizabeth y juan no son de la misma edad.

D = Juan es de mas edad que maria.

A v B.

A → C.

B → D.

---

B: simplificacion disyuntiva.

A: simplificación disyuntiva.

C: modus ponens.

D: modusponens.

C v D: silogismo hipotetico.