Dieser Artikel oder nachfolgende Abschnitt ist nicht hinreichend mitBelegen (beispielsweiseEinzelnachweisen) ausgestattet. Angaben ohne ausreichenden Beleg könnten demnächst entfernt werden. Bitte hilf Wikipedia, indem du die Angaben recherchierst undgute Belege einfügst.

EN fehlen für die meisten Abschnitte und Begriffe

EinJunktor (vonlat.iungere „verknüpfen, verbinden“) ist einelogische Verknüpfung zwischen Aussagen innerhalb derAussagenlogik, also ein logischerOperator. Junktoren werden auch logische Verknüpfungen genannt^[1] und alslogische Partikel klassifiziert.

Sprachlich wird zwischen der jeweiligen Verknüpfung selbst (zum Beispiel derKonjunktion) und dem sie bezeichnenden Wort beziehungsweise Sprachzeichen (zum Beispiel dem Wort „und“ beziehungsweise dem Zeichen „∧“) oft nicht unterschieden.

InProgrammiersprachen werden ebenfalls aussagenlogische Junktoren verwendet, die sich aber in wesentlichen Punkten von den üblichen aussagenlogischen Junktoren unterscheiden. Sie werden dort überwiegend alslogische Operatoren bezeichnet.

Übersicht der Junktoren in der Aussagenlogik

In der (formalen)Logik bezeichnet man eine Aussage, die mit Hilfe von sprachlichen Partikeln wie „und“, „oder“, „wenn–dann“ und „es ist nicht der Fall, dass“ aus anderen Aussagen zusammengesetzt ist, alskomplexe oderzusammengesetzte Aussage, bzw. alsAussagenverknüpfung. Eine Aussage, dienicht aus anderen Aussagen zusammengesetzt ist, wirdatomare Aussage genannt.

Beispiel:Wenn Anna Urlaub hat,dann fährt sie ans Meer.

In der klassischen Aussagenlogik (vgl.klassische Logik) sind die folgenden Junktoren am gebräuchlichsten (bezogen auf zwei Aussagen${\displaystyle P}$ und${\displaystyle Q}$):^[2]

• dieNegation${\displaystyle \mathrm{\neg }P}$ entspricht einer Verneinung
• dieKonjunktion${\displaystyle P\wedge Q}$, das logische Und: „Sowohl P als auch Q“
• dieDisjunktion${\displaystyle P\vee Q}$, das einschließende Oder: „Entweder P oder Q oder beide“
• diemateriale Implikation, auch Subjunktion oder Konditional genannt,${\displaystyle P\to Q}$ beziehungsweise${\displaystyle P\Rightarrow Q}$, entspricht der hinreichenden Bedingung „Wenn P, dann Q“
• dieKontravalenz${\displaystyle P\dot{\vee }Q}$ beziehungsweise${\displaystyle P\oplus Q}$, auch Alternation oder ausschließendes Oder genannt: „entweder P oder Q, aber nicht beide“
• dasBikonditional, auch oder Äquivalenz genannt,${\displaystyle P\leftrightarrow Q}$ beziehungsweise${\displaystyle P\iff Q}$, entspricht einer hinreichenden und notwendigen Bedingung, „Q genau dann, wenn P“

Man nennt einen Operatorwahrheitsfunktional oderextensional, wenn derWahrheitswert eines durch ihn gebildeten zusammengesetzten Satzes eindeutig durch die Wahrheitswerte seiner Teilsätze bestimmt ist.^[3] Die Junktoren derklassischen Aussagenlogik sind in diesem Sinne extensional. Für eine genauere Definition von Extensionalität sieheExtensionalitätsprinzip.

Schema: Wahrheitstafel für einen zweistelligen Junktor einer zweiwertigen Logik ${\displaystyle P}$ ${\displaystyle Q}$ ${\displaystyle P\circ Q}$ w w ${\displaystyle WHW(P\circ Q)}$, für${\displaystyle WHW(P)=}$w und${\displaystyle WHW(Q)=}$w w f ${\displaystyle WHW(P\circ Q)}$, für${\displaystyle WHW(P)=}$w und${\displaystyle WHW(Q)=}$f f w ${\displaystyle WHW(P\circ Q)}$, für${\displaystyle WHW(P)=}$f und${\displaystyle WHW(Q)=}$w f f ${\displaystyle WHW(P\circ Q)}$, für${\displaystyle WHW(P)=}$f und${\displaystyle WHW(Q)=}$f

„${\displaystyle P}$“ und „${\displaystyle Q}$“ sind zwei beliebige Aussagen, „${\displaystyle \circ }$“ steht für die Verknüpfung als logische Operation, „${\displaystyle WHW}$“ für Wahrheitswert, „w“ für den Wahrheitswert „Das Wahre“, „f“ für den Wahrheitswert „Das Falsche“.

Eine Methode, den Wahrheitswertverlauf extensionaler Junktoren in einer Logik mit endlich vielen Wahrheitswerten übersichtlich darzustellen, sind die sogenanntenWahrheitstafeln. Bei diesen wird in jeder Zeile für eine mittels des Junktors aus Einzelaussagen gebildete zusammengesetzte Gesamtaussage für jede möglicheZuordnung von Wahrheitswerten zu den Einzelaussagen der Wahrheitswert der Gesamtaussage angegeben. Für einen zweistelligen Junktor einer zweistelligen Logik könnte eine Wahrheitstafel wie in der Tabelle rechts aussehen:

Die Anzahl der Aussagen, die (beziehungsweise mit denen sich) ein Operator zu einer neuen Aussage verknüpft, nennt man seineStelligkeit: Ein einstelliger Operator verbindet sich mit einer einzigen Aussage zu einer neuen Aussage, zweistellige Junktoren verbinden sich mit zwei Aussagen zu einer neuen Aussage und so weiter. Allgemein verbindet ein n-stelliger Junktor sich mit n Aussagen zu einer neuen.

Die Stelligkeit ist nicht zu verwechseln mit der Wertigkeit, d. h. mit der Frage, wie viele Wahrheitswerte zugelassen werden (vgl.Bivalenzprinzip).

In derklassischen Logik ist der wichtigste einstellige Junktor dieNegation. Wichtige zweistellige Junktoren sind die Konjunktion und dieDisjunktion (oft werden nur diese beiden verwendet). Ebenso lassen sich klassische drei- und mehrstellige Junktoren auf Kombinationen ein- und zweistelliger Junktoren zurückführen.

Allgemein gibt es für eine${\displaystyle m}$-wertige Logik, d. h. für eine Logik mit endlich vielen Wahrheitswerten, deren Anzahl m ist,${\displaystyle m^{m^n}}$${\displaystyle n}$-stellige wahrheitsfunktionale Junktoren. Für die zweiwertige Aussagenlogik gibt es also${\displaystyle 2^{2^1}=4}$ einstellige Junktoren und${\displaystyle 2^{2^2}=16}$ zweistellige Junktoren. Schon für die dreiwertige Aussagenlogik gibt es${\displaystyle 3^{3^1}=27}$ einstellige und${\displaystyle 3^{3^2}=19683}$ zweistellige Junktoren.

Die sechzehn zweistelligen Junktoren der zweiwertigen Logik sind in nachfolgender Tabelle dargestellt.

Tafel der zweistelligen Junktoren einer zweiwertigen Logik

Namen	Wahrheitswerte				Symbole	Formel
	${\displaystyle P}$ ${\displaystyle Q}$ w w	${\displaystyle P}$ ${\displaystyle Q}$ w f	${\displaystyle P}$ ${\displaystyle Q}$ f w	${\displaystyle P}$ ${\displaystyle Q}$ f f
Kontradiktion	f	f	f	f	${\displaystyle \mathrm{\perp }}$	${\displaystyle P\wedge \mathrm{\neg }P}$
Konjunktion	w	f	f	f	${\displaystyle \wedge }$	${\displaystyle P\wedge Q}$
Postsektion, Nur P	f	w	f	f	${\displaystyle \nrightarrow }$,${\displaystyle \not\supset }$	${\displaystyle P\wedge \mathrm{\neg }Q}$
Präpendenz, Identität von P	w	w	f	f	${\displaystyle \rfloor }$	${\displaystyle P}$
Präsektion, Nur Q	f	f	w	f	${\displaystyle \nleftarrow }$,${\displaystyle \not\subset }$	${\displaystyle \mathrm{\neg }P\wedge Q}$
Postpendenz,Identität von Q	w	f	w	f	${\displaystyle \lfloor }$	${\displaystyle Q}$
Kontravalenz, ausschließende Disjunktion,XOR	f	w	w	f	${\displaystyle \nleftrightarrow }$,${\displaystyle \not\equiv }$,${\displaystyle ⊻}$,${\displaystyle \dot{\vee }}$,${\displaystyle \oplus }$	${\displaystyle \mathrm{\neg }(P\leftrightarrow Q)}$
Disjunktion, Adjunktion	w	w	w	f	${\displaystyle \vee }$	${\displaystyle P\vee Q}$
Peirce-Funktion, NOR, Nihilition, Rejektion	f	f	f	w	${\displaystyle \downarrow }$,${\displaystyle \overline{\vee }}$	${\displaystyle \mathrm{\neg }P\wedge \mathrm{\neg }Q}$
Bikonditional,Bijunktion, Äquivalenz	w	f	f	w	${\displaystyle \leftrightarrow }$,${\displaystyle \equiv }$	${\displaystyle P\leftrightarrow Q}$
Postnonpendenz,Negation von Q	f	w	f	w	${\displaystyle \lceil }$	${\displaystyle \mathrm{\neg }Q}$
Replikation	w	w	f	w	${\displaystyle \leftarrow }$,${\displaystyle \subset }$	${\displaystyle P\leftarrow Q}$
Pränonpendenz,Negation von P	f	f	w	w	${\displaystyle \rceil }$	${\displaystyle \mathrm{\neg }P}$
Subjunktion,Implikation, Konditional	w	f	w	w	${\displaystyle \to }$,${\displaystyle \supset }$	${\displaystyle P\to Q}$
Sheffer-Funktion,NAND, Exklusion	f	w	w	w	${\displaystyle \mid }$,${\displaystyle \uparrow }$,${\displaystyle ⊼}$	${\displaystyle \mathrm{\neg }P\vee \mathrm{\neg }Q}$
Tautologie	w	w	w	w	${\displaystyle \mathrm{\top }}$	${\displaystyle P\vee \mathrm{\neg }P}$

Um die enge Verbindung von Aussagenlogik undMengenlehre zu betonen, können Wahrheitstafeln auchEulerdiagramm-ähnlich dargestellt werden (siehe folgende Beispiele).

w	${\displaystyle \wedge }$	w	w	${\displaystyle \wedge }$	f
f	${\displaystyle \wedge }$	w	f	${\displaystyle \wedge }$	f
Konjunktion

w	${\displaystyle \vee }$	w	w	${\displaystyle \vee }$	f
f	${\displaystyle \vee }$	w	f	${\displaystyle \vee }$	f
Disjunktion

w	${\displaystyle \to }$	w	w	${\displaystyle \to }$	f
f	${\displaystyle \to }$	w	f	${\displaystyle \to }$	f
Subjunktion

w	${\displaystyle \leftrightarrow }$	w	w	${\displaystyle \leftrightarrow }$	f
f	${\displaystyle \leftrightarrow }$	w	f	${\displaystyle \leftrightarrow }$	f
Bikonditional

Die Terme in Fettschrift sind wahr, die in Normalschrift falsch.

Reduzierbarkeit und funktionale Vollständigkeit

[Bearbeiten |Quelltext bearbeiten]

Es ist möglich, einzelne Verknüpfungen durch andere auszudrücken; zum Beispiel lässt sich die Konjunktion${\displaystyle A\wedge B}$ durch Disjunktion und Negation als${\displaystyle \mathrm{\neg }(\mathrm{\neg }A\vee \mathrm{\neg }B)}$ oderKonditional${\displaystyle P\to Q}$ durch dieDisjunktion${\displaystyle \mathrm{\neg }P\vee Q}$ ausdrücken. Allgemein heißt eine Menge von Junktoren bezogen auf ein logisches Systemfunktional vollständig odersemantisch vollständig, wenn mit Hilfe der betroffenen Konnektive alle anderen Konnektive des logischen Systems ausgedrückt werden können. Für die klassische Aussagenlogik sind zum Beispiel die Junktorenmengen${\displaystyle \{\mathrm{\neg },\wedge \}}$,${\displaystyle \{\mathrm{\neg },\vee \}}$ und${\displaystyle \{\mathrm{\neg },\to \}}$ funktional vollständig. Das bedeutet, dass sich alle Junktoren der klassischen Aussagenlogik wahlweise auf Negation und Konjunktion, auf Negation und Disjunktion oder auf Negation und Konditional zurückführen lassen. Häufig verwendete Junktorenmengen sind${\displaystyle \{\mathrm{\neg },\wedge ,\vee \}}$,${\displaystyle \{\mathrm{\neg },\wedge \}}$,${\displaystyle \{\mathrm{\neg },\vee \}}$.

Tatsächlich ist es möglich, alle Verknüpfungen allein mit Hilfeeiner einzigen Verknüpfung darzustellen, und zwar mit der Shefferfunktion (NAND), aber auch mit der Peirce-Funktion (NOR).

Sheffer-Operatoren

[Bearbeiten |Quelltext bearbeiten]

Wenn sich mit einem Junktor allein, d. h. ganz ohne Hinzunahme weiterer Junktoren alle anderen Junktoren ausdrücken lassen, dann wird dieser JunktorSheffer-Operator oderShefferfunktion (nachHenry Maurice Sheffer) genannt. Für die klassische Aussagenlogik gibt es genau zwei Sheffer-Operatoren: denShefferstrich, auch NAND genannt (${\displaystyle \uparrow }$ oder${\displaystyle |}$) und denPeirce-Operator, auch NOR genannt${\displaystyle \downarrow }$.

Intensionale Operatoren

[Bearbeiten |Quelltext bearbeiten]

Logische Operatoren, bei denen der Wahrheitswert eines aus ihnen gebildeten Satzes nicht eindeutig von den Wahrheitswerten ihrer Teilsätze bestimmt ist, heißenintensionale Junktoren. Intensional sind z. B. die einstelligen Modaloperatoren „es ist notwendig, dass“ und „es ist möglich, dass“ (sieheModallogik): Dass eine Aussage wahr ist, bedeutet noch nicht, dass diese Aussage auch notwendig ist. Dass eine Aussage falsch ist, bedeutet noch nicht, dass sie unmöglich ist. Wahrheitsfunktional lässt sich den Modalitäten daher wohl nicht beikommen.

Zur Interpretation intensionaler Junktoren benötigt man komplexere Modelle als die extensionalen Wahrheitstabellen. Die erste bedeutendeformale Semantik intensionaler Junktoren ist wohl die vonSaul Kripke ursprünglich zur Interpretation der Modallogik entwickelte Kripke-Semantik (sieheModallogik). Kripke-Semantik eignet sich auch zur Interpretation intuitionistischer Logik.

Beispiele

[Bearbeiten |Quelltext bearbeiten]

Wahrheitstafel für die Konjunktion in der zweiwertigen klassischen Logik	Wahrheitstafel für dieDisjunktion in der zweiwertigen klassischen Logik	Wahrheitstafel für die materialeImplikation in der zweiwertigen klassischen Logik	Wahrheitstafel für den Konjunktor in der dreiwertigen Logik Ł3 vonJan Łukasiewicz (1920)
${\displaystyle P}$ ${\displaystyle Q}$ ${\displaystyle P\wedge Q}$ wahr wahr wahr wahr falsch falsch falsch wahr falsch falsch falsch falsch	${\displaystyle P}$ ${\displaystyle Q}$ ${\displaystyle P\vee Q}$ wahr wahr wahr wahr falsch wahr falsch wahr wahr falsch falsch falsch	${\displaystyle P}$ ${\displaystyle Q}$ ${\displaystyle P\to Q}$ wahr wahr wahr wahr falsch falsch falsch wahr wahr falsch falsch wahr	${\displaystyle P}$ ${\displaystyle Q}$ ${\displaystyle P\wedge Q}$ 1 1 1 1 ½ ½ 1 0 0 ½ 1 ½ ½ ½ ½ ½ 0 0 0 1 0 0 ½ 0 0 0 0
Wahrheitstafel für den Konjunktor in der dreiwertigen Logik B3 vonDimitri Anatoljewitsch Bočvar (1938)	In derDialogischen Logik
${\displaystyle P}$ ${\displaystyle Q}$ ${\displaystyle P\wedge Q}$ 1 1 1 1 ½ ½ 1 0 0 ½ 1 ½ ½ ½ ½ ½ 0 ½ 0 1 0 0 ½ ½ 0 0 0	Opponent Proponent ${\displaystyle P\to Q}$ ${\displaystyle P?}$ Die Subjunktionsbehauptung wird angegriffen nach der Subjunktionsregel: Die voranstehende${\displaystyle P}$ wird behauptet. ${\displaystyle Q}$ Als Verteidigung wird das nachstehende${\displaystyle Q}$ genannt, dies kann durch eine Übernahme des${\displaystyle P}$ der vorigen Zeile verteidigt werden. Es kann – je nach Regelsatz – auch erst die Aussage${\displaystyle P}$ angegriffen werden.

Literatur

[Bearbeiten |Quelltext bearbeiten]

• Benjamin Schnieder:Junktoren, in: Nikola Kompa (Hrsg.):Handbuch Sprachphilosophie. Metzler, Stuttgart 2015,ISBN 978-3-476-02509-8, S. 166–173.

Weblinks

[Bearbeiten |Quelltext bearbeiten]

Wikibooks: Mathe für Nicht-Freaks: Junktor – Lern- und Lehrmaterialien

Wiktionary: Junktor – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen

Einzelnachweise

[Bearbeiten |Quelltext bearbeiten]

1. ↑Matthias Hieber:Analysis I. 1. Auflage. Springer Spektrum, Berlin 2018,ISBN 978-3-662-57537-6,S. 3. 
2. ↑Gerhard Schurz:Logik: Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik. 2. Auflage. Walter de Gruyter, Berlin / Boston 2020,ISBN 978-3-11-069714-8,S. 33. 
3. ↑Gerhard Schurz:Logik: Grund- und Aufbaukurs in Aussagen-und Prädikatenlogik. 2. Auflage. Walter de Gruyter, Berlin / Boston 2020,ISBN 978-3-11-069714-8,S. 13. 

• Aussagenlogik
• Sprachphilosophie

• Wikipedia:Belege fehlen
• Wikipedia:Seiten, die ein veraltetes Format des math-Tags verwenden