Logischer Junktor

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein syntaktischer Operator in einer formalen Sprache, der Formeln verbindet oder modifiziert, um neue Formeln zu erzeugen; in der Aussagenlogik gehören zu den üblichen logischen Junktoren ¬ (Negation), ∧ (Konjunktion), ∨ (Disjunktion), → (Implikation) und ↔ (Äquivalenz).