Junktor
Einfache Sprache
Im Kontext von Aussagenlogischen Formel gibt vier Junktoren: $\neg,\;\land,\;\lor$ und $\rightarrow$. Sie Verknüpfen eine oder mehrere Aussagen zu einer.
Def. Junktoren
| Symbol | Junktor |
|---|---|
| $\neg$ | Negation |
| $\lor$ | Disjunktion |
| $\land$ | Konjunktion |
| $\rightarrow$ | Implikation |
Stelligkeit
Definiere die Menge der Junktoren $\mathcal C = \{\land, \lor, \rightarrow, \neg\}$, wobei $\land,\lor, \rightarrow$ zweistellig sind und $\neg$ einstellig.
Rangfolge
Zwischen den Junktoren gibt es eine Rangfolge. $\neg$ bindet am stärksten, also wird als erste Aufgelöst. Dann kommt $\land$ und $\lor$, die haben die gleiche stärke. Bei den beiden können Klammern nicht weggelassen werden. Der schwächste Junktor ist $\rightarrow$.