6.2.3 Junktoren

Junktoren

Ein Junktor ist eine logische Verknüpfung von einer oder mehreren Aussagen in der Aussagenlogik. Hier eine unvollständige Liste von Junktoren:

• Negation ($\neg$)
• Konjunktion ($\land$)
• Disjunktion ($\lor$)
• Implikation ($\rightarrow$)
• Replikation ($\leftarrow$)
• Äquivalenz ($\leftrightarrow$)

In den folgenden Abschnitten finden sich erläuternde Videos zu den hier genannten Junktoren. Darüber hinaus gibt es noch einige weitere Junktoren, die an dieser Stelle aber nicht näher betrachtet werden.

Unterschiedliche Bindungsstärken

Die genannten Junktoren besitzen eine unterschiedliche Bindungsstärke. Diese ist wie folgt definiert:

Wichtig

$\neg$ bindet am stärksten, dahinter folgen $\land ,\lor ,\rightarrow$ und $\leftrightarrow$.

Es gilt also:

Wichtig

• Die Negation ($\neg$) bindet stärker als das logische UND ($\land$).
• Das logische UND ($\land$) bindet stärker als das logischen ODER ($\lor$).
• Das logische ODER ($\lor$) bindet stärker als die Implikation ($\rightarrow$).
• Die Implikation ($\rightarrow$) bindet stärker als die Äquivalenz ($\leftrightarrow$).