Die Bezeichnung Implikation (von lateinisch implicare ‚verwickeln‘; Verb: implizieren; Adjektiv: implizit) wird in der Logik nicht einheitlich für einen bestimmten logischen Zusammenhang verwendet, insbesondere werden unterschieden
eine materiale Implikation als eine von mehreren möglichen logischen Verknüpfungen (Junktoren) zwischen zwei Aussagenvariablen:
a
...
