Junktoren (von lat. iungere „verknüpfen, verbinden“) sind Verknüpfungen zwischen Aussagen innerhalb der Aussagenlogik, also logische Operatoren. Sie werden auch Konnektive, Konnektoren, Satzoperatoren, Satzverknüpfungen, Aussagenverknüpfer, logische Bindewörter, Verknüpfungszeichen oder Funktoren genannt und als logische Partikel klassifiziert. Sprachlich wird zwischen der jeweiligen Verknüpfung selbst (zum Beispiel der Konjunktion) und dem sie bezeichnenden Wort beziehungsweise Sprachzeichen (zum Beispiel dem Wort „und“ beziehungsweise dem Zeichen „∧“) oft nicht unterschieden. In Programmiersprachen werden ebenfalls aussagenlogische Junktoren verwendet, die sich aber in wesentlichen Punkten von den üblichen aussagenlogischen Junktoren unterscheiden. Sie werden dort überwiegend als logische Operatoren bezeichnet.

[Last contributor : SpBot , Content under LGPL license]