@rutz Beschäftige dich mit Prädikatenlogik und Aussagenlogik, der Satz: "Dieser Satz ist falsch" definiert sich selbst als falsch, es gibt jedoch auch Sätze wie
wenn 3+3=6 (Aussage A) dann ist heute der 30 Dezember 2010 (Aussage B)
Dieser Satz ist wahr, weil die Teilaussagen: 3+3=6
und heute ist der 30 Dezember 2010 wahr sind.
Es gibt jedoch auch Sätze wie: wenn 3+3=5 dann ist heute der 30 Dezember, dieser Satz ist ebenfalls wahr, vom Standpunkt der mathematischen Logik aus gesehen.
Eine Wenn dann Implikation ist wahr wenn: Der Vordersatz falsch (A), der Hintersatz (B) jedoch richtig ist; Der Vordersatz und der Hintersatz falsch sind; der Vordersatz und der Hintersatz beide richtig sind.
Eine Implikation ist falsch wenn A wahr, B jedoch falsch ist (weil B eine notwendige Bedingung für A ist)
Es geht hierbei nicht um einen kausalen Zusammenhang zwischen den beiden Sätzen, es ist keine materielle Implikation sondern nur eine Formale.