Implikation

Etymologie:

lat. implicare = einwickeln

Beschreibung:

Bezeichnet einerseits eine von mehreren möglichen logischen Verknüpfungen (Junktoren) zwischen zwei Aussagenvariablen. andererseits eine formale Implikation. Sie solle eher der intuitiven Anschauung entsprechen, die wahrscheinlich aus der Gewohnheit der Umgangssprache resultiert. Es entstanden im Laufe der Zeit verschiedene Interpretationen, um das Phänomen möglichst eindeutig zu formalisieren.