Implikation (Logik)

die Beziehung, in der These und Hypothese stehen (Folgerung). Die Implikation ist also eine Aussage über Aussagen; sie trägt eine andere, logisch folgende Aussage in sich, drückt sie aber nicht explizit aus. Deshalb muss sie streng von der Subjunktion unterschieden werden, die eine Aussage und die logische Folgerung explizit