Omar Prado - Aportación

Mi aportación consiste en demostrar la profecía hecha por el oráculo de Apolo, en la obra de Sófocles, Edipo Rey.

Tal predicción consistía en que el hijo de Layo, mataría a éste y se casaría con su madre, Yocasta, con la que tendría hijos.

Por tal motivo, Layo mandó asesinar a su hijo, pero el siervo encargado de tal labor, lo llevó a Corintio, donde los reyes Pólibo y Merope lo adoptaron.

A: Layo es padre de Edipo
B: Yocasta es madre de Edipo
C: Pólibo y Merope son padres de Edipo
D: Edipo mata a su padre
E: Edipo se casa con su madre y tiene hijos
F: Edipo se convierte en rey de Cadmo

Demostración

1. (A /\ B) \/ C
2. A -> D
3. D -> F
4. F -> E
5. ¬ C
6. ¬ C (5, Ley de la Contradicción)
7. A (1, Ley de la Simplificación)
8. B (1, 7, Ley de la Simplificación)
9. D (2, 7, MPP)
10. F (3, 9, MPP)
11. E (4, 10, MPP)
12. D /\ E (9, 11, MPP)