EL TRIANGULO DE LAS BERMUDAS

A:Existe el triangulo de las bermudas
B:Desaparecen aviones
C:Desaparecen barcos
D:Existe una energía extraña en el interior de la tierra que hace desaparecer las cosas en este lugar.
F:Hay testigos de estos sucesos
G:Hay otra dimensión en el tiempo
H:Hay otra dimensión en el espacio
I:Sirven los aparatos de medición en este lugar
J:Hay rastro de los desaparecidos


A ­­­Λ¬H, BΛC, ¬ I, ¬ HΛE, (FΛG) ↔ D, ¬ I↔ (FΛG) )--- AΛD
I I I I I I I I I I I I I

I I I I I I I

Demonstraciòn:

1. A ­­­Λ¬H
2. BΛC
3. ¬ I
4. ¬ HΛE
5. (FΛG) ↔ D
6. ¬ I ↔ (FΛG)
7. D→(BΛC)
8. A (1, ley de simplificaciòn)
9. ¬ H (1, ley de simplificaciòn)
10. E (4, ley de simplificaciòn)
11. B (2, ley de simplificaciòn)

12. C (2, ley de simplificaciòn)
13. FΛG (3,6, modus ponens)

14. D (2,7, modus ponens)
15. AΛD (14,8, ley de adjunción)