Mi aportación esta basada en la película "El señor de los anillos", es algo simple pero queda comprobado y es válido.
proposiciones:
F: Frodo llega a Mordor
G: Destruye el anillo
J: Aragorn es rey
K: El mal se apodera de la Tierra Media
F /\ G , F ---> G , G /\ ¬ K , F ----> ¬ K ---- G /\ J
1 0 1 1 1 0 1 0 1 1
1 1
1 1 1 1 1
demostración:
1. F /\ G
2. F --> J
3. G /\ ¬ K
4. f --> ¬ K
5. F (1, ley de simplificación)
6. g (2, ley de simplificación)
7. J ( 2, 5, mpp)
8. G /\ J ( 6, 7, ley de adjunción)
EL ARGUMENTO QUEDA DEMOSTRADO.
Suscribirse a:
Enviar comentarios (Atom)
No hay comentarios:
Publicar un comentario