Der Begriff der logischen Implikation wird entgegengesetzt zum Begriff der logischen Folgerung verwendet. Anstatt zu sagen, dass die Konklusion eines Schlusses aus den Prämissen logisch folgt, implizieren die Prämissen die Konklusion. Die implizierte Konklusion ist somit das Implikat der Prämissen. Unter Implikation wird ebenso die Verknüpfung zweier Aussagen verstanden, die im Deutschen gewöhnlich mit ›wenn … dann‹ wiedergegeben wird.

Bezüglich der materialen Implikation ist ein Satz der Form ›Wenn A, dann B‹ genau dann wahr, wenn beide Teilaussagen A und B wahr sind, beide Teilaussagen falsch sind, oder wenn allein die Teilaussage A falsch ist. Der Satz ist nur dann falsch, wenn die Teilaussage A wahr und die Teilaussage B falsch ist. Die materiale Implikation wird in diesem Fall auch Subjunktion, wahrheitsfunktionales Konditional oder wahrheitsfunktionaler Wenn-Dann-Satz genannt.

Handelt es sich bei dem Satz ›Wenn A, dann B‹ um eine strikte Implikation, ist er nur dann wahr, wenn es unmöglich ist, dass die Teilaussage A wahr ist, ohne dass auch Teilaussage B wahr ist. Es ist also notwendig, dass, wenn A wahr ist, auch B wahr ist.

A. Bühler, Einführung in die Logik. Argumentation und Folgerung , 3. Aufl. Freiburg / München 2000

G. H. Hughes, M. J. Cresswell, A New Introduction to Modal Logic , London / New York 1996

St. Read, Thinking about Logik: An Introduction to the Philosophy of Logic , Oxford 1995