Paradoxien_der_materialen_Implikation
Paradoxien_der_materialen_Implikation

== Beispiel ==
Die Aussage „Wenn es jetzt regnet, dann nehme ich einen Regenschirm mit“ wird in der klassischen Aussagenlogik mit  formalisiert. Diese Aussage ist nach Definition der Subjunktion falsch, wenn  wahr ist und  falsch, ansonsten wahr (– wenn  falsch und  wahr, wenn  und  beide wahr, wenn  und  beide falsch). Das folgt aus der Interpretation der Subjunktion als einer Wahrheitswertefunktion durch die Wahrheitstabelle der seq-funktion. Wenn es also nicht regnet, ist die Aussage „Wenn es jetzt regnet, dann nehme ich einen Regenschirm mit“ in beiden Fällen wahr: gleich, ob ich dann einen Regenschirm mitnehme oder aber nicht.
Auch die Aussage „Wenn es morgen regnet, dann ist “ ist aussagenlogisch richtig, denn „“ ist ja stets richtig – unabhängig davon, ob es morgen regnet oder nicht. Dieses Beispiel deutet schon auf den problematischen Punkt der Implikation hin:  kann wahr sein, ohne dass zwischen  und  irgendein inhaltlicher Zusammenhang besteht – denn der Wahrheitswert der Subjunktion hängt ja nur von den Wahrheitswerten von  und  ab.