^ Was er sagt. Die Implikation ist formal über eine Wahrheitstabelle definiert (siehe z.B. http://de.wikipedia.org/wiki/Implika...le_Implikation). So funktioniert die Implikation, und aus formaler Sicht ist damit alles gesagt. Deine Frage ist vermutlich, warum man diese Definition gewählt hat.

Der Grund dafür ist wohl, dass man (im Kalkül des natürlichen Schließens) aus einer falschen Annahme eine beliebige Aussage folgern kann (ex falso quodlibet).