Junktor

Dieser Artikel erfüllt die GlossarWiki-Qualitätsanforderungen nur teilweise:

Korrektheit: 5 (vollständig überprüft)

Umfang: 3 (einige wichtige Fakten fehlen)

Quellenangaben: 3 (wichtige Quellen vorhanden)

Quellenarten: 5 (ausgezeichnet)

Konformität: 5 (ausgezeichnet)

Definition (Brockhaus)

Logik: eine log. Partikel, mit deren Hilfe endlich viele Aussagen zu einer neuen Aussage verknüpft werden. Beispiele sind die Abjunktion, die Adjunktion, die Bijunktion, die Konjunktion, die Subbjunktion und die Negation. Alle zweistelligen J. lassen sich auf den Sheffer-Strich zurückführen.

Definition (Bronstein, Semendjajew)

Sind $A_1$, $A_2$ Aussagen, so lassen sich durch sprachliche Verbindungen daraus neue Aussagen gewinnen: „nicht $A_1$“, „$A_1$ und $A_2$“, „$A_1$ oder $A_2$“, „wenn $A_1$, so $A_2$“, „$A_1$ genau dann, wenn $A_2$“, deren Wahrheitswert nur von den Wahrheitswerten der in ihnen vorkommenden Teilaussagen abhängt (Externsionalitätsprünzip der Aussagenlogik).

zweistellige Junktoren

Namen	Symbol	Wahrheitswerte
		$ A $ $ B $ w w	$ A $ $ B $ w f	$ A $ $ B $ f w	$ A $ $ B $ f f
Konjunktion	$ A \wedge B $	w	f	f	f
Disjunktion, Adjunktion	$ A \vee B $	w	w	w	f
Subjunktion, Implikation	$ A \rightarrow B $	w	f	w	w
Konversion	$ A \leftarrow B $	w	w	f	w
Bijunktion	$ A \leftrightarrow B $	w	f	f	w
Sheffer-Strich, NAND	$ A \mid B $, $ A \barwedge B $	f	w	w	w
Peirce-Funktion, NOR	$ A \overline\vee B $	f	f	f	w
Kontravalenz, XOR	$ A \not\leftrightarrow B $, $ A \dot\vee B $	f	w	w	f
Postsektion, Nur P	$ A \not\rightarrow B $	f	w	f	f
Präsektion, Nur Q	$ A \not\leftarrow B $	f	f	w	f