Benutzer-Werkzeuge

Junktor (Logik)

Vom Lat. „iungo“: etw. zusammenbringen, verbinden. Allgemeiner Ausdruck für einen logischen Operator.

Zum Beispiel repräsentiert in einer logischen Disjunktion wie „A oder B“ das Wort „oder“ den Junktor.

Dabei ist nicht das gewählte Zeichen ausschlaggebend (z.B. das Wort „oder“, oder ein logisches Symbol wie „“), sondern die semantische Bedeutung, welche dieses Symbol repräsentiert.

Die folgende Tabelle enthält eine Übersicht über die gebräuchlichsten Junktoren der Aussagenlogik:

Name Logische Symbole Umschreibung
bevorzugt auch gebräuchlich nicht empfohlen
Konditional , , , Wenn …, dann …
Bikonditional , , , , iff =, ~ … genau dann, wenn …
Konjunktion & , … und …
Adjunktion + … oder … [oder beides]
Kontravalenz , , , xor >< … oder … [aber nicht beides]
Negation ¬ ! ‾‾, Nicht …

Weitere Junktoren

Neben den oben ge­nann­ten, hier zur Er­läuter­ung von log­ischen Fehlern be­nutzten Junk­toren, gibt es je nach log­ischem Sys­tem noch eine Reihe weit­erer, die aber ge­wöhn­lich nur in sehr spe­zif­ischen An­wend­ungs­fällen rele­vant sind.

So werden etwa in Pro­gram­mier­sprachen die Ver­gleichs­opera­toren (=, <, , , > und ) meist als Junk­toren ver­standen, welche Wahr­heits­werte zum Er­geb­nis haben (z.B.: i <= 5 kann je nach Wert von i wahr oder falsch sein).

Als grund­legende Bau­steine der digi­talen Schalt­al­gebra sind neben der Kon­tra­valenz (XOR) noch die Peirce- (NOR) und die Shef­fer-Funk­tion (NAND) rele­vant.

Weitere Junktoren befassen sich u.A. mit mehr­wert­igen Logiken (die also noch weitere Zu­stände neben wahr und falsch kennen) oder sogar mit in­ten­sion­alen As­pekten von Aus­sagen. Diese liegen je­doch außer­halb des Themen­be­reiches dieser Web­site.

Siehe auch

Weitere Informationen

  • Junktor auf Wikipedia
  • Junktor auf „Mathe für Nicht-Freaks“ (Wikibooks)

Über diese Site

QR Code Denkfehler Online ist ein Projekt, die häufigsten Irrtümer und Trugschlüsse zu erklären und zu kategorisieren. Auf dieser Seite finden sie einen Hintergrundartikel, der ein wichtiges Konzept aus dem Bereich „Logik“, welches zum Verständnis von anderen Artikel nötig ist, kurz erklärt.
Für mehr Informationen, siehe die Hauptkategorie Logik.

Diese Web­site verwendet Cookies. Durch die Nutz­ung der Web­site er­klären Sie sich mit der Speich­er­ung von Cookies auf Ihrem Com­puter ein­ver­standen. Darüber hinaus be­stät­igen Sie, dass Sie unsere Daten­schutzbestimm­ungen ge­lesen und ver­standen haben. Wenn Sie damit nicht ein­ver­standen sind, ver­lassen Sie bitte die Web­site.

Weitere Information