Implikation (engl.: Implication)

1. Im Rahmen der Aussagenlogik eine Allaussage der Art »(Immer) Wenn A, dann B«. Aus dem Vorliegen von A kann auf das Vorliegen von B geschlossen werden, aber nicht umgekehrt.

Beispiel:
Die Aussage »Alle Menschen sind sterblich« impliziert, dass vom Vorliegen der Eigenschaft »Mensch« auf die Eigenschaft »sterblich« geschlossen werden kann. Umgekehrt gilt dies jedoch nicht: Auch Tiere und Pflanzen, allgemein: Lebewesen, sind sterblich.

Siehe auch: Äquivalenz.

2. Im allgemeinen Sprachgebrauch versteht man unter I. eine Aussage oder einen Komplex von Aussagen, die/der sich (nach Auffassung des Sprechers) aus den bisherigen Ausführungen ergibt (»Eine wichtige Implikation des Gesagten ist, dass ...«).