jueves, 1 de noviembre de 2007
Teorema de TALF
Pequeña demostracion de un teorema en TALF:
A*B es la unica solucion.
Si Y es otra solucion entonces A*B c Y => Y = A*B u D con D ^ A*B = ø
Y solucion => Y = AX u B
A*B u D = A(A*B u D) u B
AA*B u AD u B
A*B u B = A*B
A*B u AD
A*B u D = A*B u AD
D ^ (A*B u D) = D ^ (A*B u AD)
(D ^ A*B) u (D ^ D) = (D ^ A*B) u (D ^ AD)
ø u D = ø u (D ^ AD)
D = D ^ AD
Por lo tanto, tenemos que D pertenece al conjunto formado por la concatenacion de A con D, o lo que es igual:
D € AD
O sease, subliminalmente, "DEAD".
Luego hemos llegado a la conclusion de que TALF es LA MUERTE.
Que guay. Moriremos todos...
Gracias a Alvarito por fijarse en este detalle.
(0wn3d!)
A*B es la unica solucion.
Si Y es otra solucion entonces A*B c Y => Y = A*B u D con D ^ A*B = ø
Y solucion => Y = AX u B
A*B u D = A(A*B u D) u B
AA*B u AD u B
A*B u B = A*B
A*B u AD
A*B u D = A*B u AD
D ^ (A*B u D) = D ^ (A*B u AD)
(D ^ A*B) u (D ^ D) = (D ^ A*B) u (D ^ AD)
ø u D = ø u (D ^ AD)
D = D ^ AD
Por lo tanto, tenemos que D pertenece al conjunto formado por la concatenacion de A con D, o lo que es igual:
D € AD
O sease, subliminalmente, "DEAD".
Luego hemos llegado a la conclusion de que TALF es LA MUERTE.
Que guay. Moriremos todos...
Gracias a Alvarito por fijarse en este detalle.
(0wn3d!)
Suscribirse a:
Entradas (Atom)