Jewiki unterstützen. Jewiki, die größte Online-Enzy­klo­pädie zum Judentum.

Helfen Sie Jewiki mit einer kleinen oder auch größeren Spende. Einmalig oder regelmäßig, damit die Zukunft von Jewiki gesichert bleibt ...

Vielen Dank für Ihr Engagement! (→ Spendenkonten)

How to read Jewiki in your desired language · Comment lire Jewiki dans votre langue préférée · Cómo leer Jewiki en su idioma preferido · בשפה הרצויה Jewiki כיצד לקרוא · Как читать Jewiki на предпочитаемом вами языке · كيف تقرأ Jewiki باللغة التي تريدها · Como ler o Jewiki na sua língua preferida

Junktor

Aus Jewiki
Zur Navigation springen Zur Suche springen
Die Artikel Logische Verknüpfung und Junktor überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen Baustein erst nach vollständiger Abarbeitung der Redundanz. -- Leif Czerny 10:55, 15. Mär. 2012 (CET)

Ein Junktor (von lat. iungere „verknüpfen, verbinden“) ist eine logische Verknüpfung zwischen Aussagen innerhalb der Aussagenlogik, also ein logischer Operator. Junktoren werden auch Konnektive, Konnektoren, Satzoperatoren, Satzverknüpfer, Satzverknüpfungen, Aussagenverknüpfer, logische Bindewörter, Verknüpfungszeichen oder Funktoren genannt und als logische Partikel klassifiziert.

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

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

Aussagenverknüpfung

In der (formalen) Logik bezeichnet man eine Aussage, die mit Hilfe von Partikeln wie „und“, „oder“, „wenn–dann“ und „es ist nicht der Fall, dass“ aus anderen Aussagen zusammengesetzt ist, als komplexe oder zusammengesetzte Aussage, bzw. als Aussagenverknüpfung. Eine Aussage, die nicht aus anderen Aussagen zusammengesetzt ist, wird atomare Aussage genannt.

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

Die Frage, welche der theoretisch möglichen Junktoren man für ein logisches System verwenden soll, ist – natürlich über die Anforderung funktionaler Vollständigkeit hinaus – rein pragmatischer Natur. In der klassischen Aussagenlogik (vgl. klassische Logik) sind die folgenden Junktoren am gebräuchlichsten (bezogen auf zwei Aussagen und ):

  • die Negation entspricht einer Verneinung
  • die materiale Implikation, auch Subjunktion oder Konditional genannt, , entspricht der hinreichenden Bedingung „(Schon) wenn P, dann Q“
  • das Bikonditional, auch Bisubjunktion oder Äquivalenz genannt, , entspricht einer hinreichenden und notwendigen Bedingung, „Q genau dann, wenn P“
  • die Konjunktion , das logische Und: „Sowohl P als auch Q“
  • die Disjunktion , das einschließende Oder: „Entweder P oder Q oder beide“

Extensionalität

Man nennt einen Operator wahrheitsfunktional oder extensional, wenn der Wahrheitswert eines durch ihn gebildeten zusammengesetzten Satzes eindeutig durch die Wahrheitswerte seiner Teilsätze bestimmt ist. Die Junktoren der klassischen Aussagenlogik sind in diesem Sinne extensional. Für eine genauere Definition von Extensionalität siehe Extensionalitätsprinzip.

Wahrheitstafeln

Schema: Wahrheitstafel für einen zweistelligen Junktor einer zweiwertigen Logik
w w ,
für w und w
w f ,
für w und f
f w ,
fürf und w
f f ,
für f und f
“ und „“ sind zwei beliebige Aussagen, „“ steht für die Verknüpfung als logische Operation, „“ 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 sogenannten Wahrheitstafeln. Bei diesen wird in jeder Zeile für eine mittels des Junktors aus Einzelaussagen gebildete zusammengesetzte Gesamtaussage für jede mögliche Zuordnung 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:

Mögliche Junktoren

Die Anzahl der Aussagen, die (beziehungsweise mit denen sich) ein Operator zu einer neuen Aussage verknüpft, nennt man seine Stelligkeit: 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 der klassischen Logik ist der wichtigste einstellige Junktor die Negation. Wichtige zweistellige Junktoren sind die Konjunktion und die Disjunktion (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 -wertige Logik, d. h. für eine Logik mit endlich vielen Wahrheitswerten, deren Anzahl m ist, -stellige wahrheitsfunktionale Junktoren. Für die zweiwertige Aussagenlogik gibt es also einstellige Junktoren und zweistellige Junktoren. Schon für die dreiwertige Aussagenlogik gibt es einstellige und 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
w w
w f
f w
f f
Kontradiktion f f f f
Konjunktion w f f f
Postsektion, Nur P f w f f ,
Präpendenz, Identität von P w w f f
Präsektion, Nur Q f f w f ,
Postpendenz, Identität von Q w f w f
Kontravalenz, ausschließende Disjunktion, XOR f w w f , , , ,
Disjunktion, Adjunktion w w w f
Peirce-Funktion, NOR f f f w ,
Bikonditional, Bijunktion, Äquivalenz w f f w
Postnonpendenz, Negation von Q f w f w
Replikation, Konversion w w f w ,
Pränonpendenz, Negation von P f f w w
Subjunktion, Implikation, Konditional w f w w ,
Sheffer-Funktion, NAND f w w w , ,
Tautologie w w w w

Reduzierbarkeit und funktionale Vollständigkeit

Es ist möglich, einzelne Verknüpfungen durch andere auszudrücken; zum Beispiel lässt sich die Konjunktion durch Disjunktion und Negation als oder Konditional durch die Disjunktion ausdrücken. Allgemein heißt eine Menge von Junktoren bezogen auf ein logisches System funktional vollständig oder semantisch 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 , und 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 , , .

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

Sheffer-Operatoren

Wenn sich mit einem Junktor allein, d. h. ganz ohne Hinzunahme weiterer Junktoren alle anderen Junktoren ausdrücken lassen, dann wird dieser Junktor Sheffer-Operator oder Shefferfunktion (nach Henry Maurice Sheffer) genannt. Für die klassische Aussagenlogik gibt es genau zwei Sheffer-Operatoren: den Shefferstrich, auch NAND genannt ( oder ) und den Peirce-Operator, auch NOR genannt .

Intensionale Operatoren

Logische Operatoren, bei denen der Wahrheitswert eines aus ihnen gebildeten Satzes nicht eindeutig von den Wahrheitswerten ihrer Teilsätze bestimmt ist, heißen intensionale Junktoren. Intensional sind z. B. die einstelligen Modaloperatoren „es ist notwendig, dass“ und „es ist möglich, dass“ (siehe Modallogik): 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 bedeutende formale Semantik intensionaler Junktoren ist wohl die von Saul Aaron Kripke ursprünglich zur Interpretation der Modallogik entwickelte Kripke-Semantik (siehe Modallogik). Kripke-Semantik eignet sich auch zur Interpretation intuitionistischer Logik.

Beispiele

Wahrheitstafel für die Konjunktion
in der zweiwertigen klassischen Logik
Wahrheitstafel für die Disjunktion
in der zweiwertigen klassischen Logik
Wahrheitstafel für die materiale Implikation
in der zweiwertigen klassischen Logik
Wahrheitstafel für den Konjunktor
in der dreiwertigen Logik Ł3
von Jan Łukasiewicz (1920)
wahr wahr wahr
wahr falsch falsch
falsch wahr falsch
falsch falsch falsch
wahr wahr wahr
wahr falsch wahr
falsch wahr wahr
falsch falsch falsch
wahr wahr wahr
wahr falsch falsch
falsch wahr wahr
falsch falsch wahr
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
von Dimitri Analtoljewitsch Bočvar (1938)
In der Dialogischen Logik
1 1 1
1 ½ ½
1 0 0
½ 1 ½
½ ½ ½
½ 0 ½
0 1 0
0 ½ ½
0 0 0
Opponent Proponent
Die Subjunktionsbehauptung wird angegriffen nach der Subjunktionsregel: Die voranstehende wird behauptet.
Als Verteidigung wird das nachstehende genannt, dies kann durch eine Übernahme des der vorigen Zeile verteidigt werden. Es kann – je nach Regelsatz – auch erst die Aussage angegriffen werden.

Weblinks

Wikibooks Wikibooks: Mathe für Nicht-Freaks: Junktor – Lern- und Lehrmaterialien
Dieser Artikel basiert ursprünglich auf dem Artikel Junktor aus der freien Enzyklopädie Wikipedia und steht unter der Doppellizenz GNU-Lizenz für freie Dokumentation und Creative Commons CC-BY-SA 3.0 Unported. In der Wikipedia ist eine Liste der ursprünglichen Wikipedia-Autoren verfügbar.