Disjunktion (Logik)

Bezeichnet eine logische Aussage, in der zwei Unteraussagen durch ein oder miteinander verknüpft sind. Dabei kann sowohl ein inklusives als auch als exklusives „oder“ gemeint sein.

Wir unterscheiden zwischen zwei verschiedenen Typen von Disjunktionen, für die im Deutschen aber dasselbe Wort („oder“) verwendet wird:

Ein Beispiel für eine Adjunktion ist die folgende Frage:

„Möchtest du Zucker oder Milch in deinen Kaffee?“

Gemeint ist meist: Zucker, oder Milch, oder beides. Es handelt sich hierbei um ein inklusives (einschließendes) „oder“. Dies wird auch als „Adjunktion“ bezeichnet.

Anders sieht es bei der folgenden Fragestellung aus:

„Möchtest du zum Nachtisch Eis oder Obstsalat?“

Hiermit ist meistens gemeint: es gibt entweder Eis oder Obstsalat, aber nicht beides. Dies ist ein exklusives (ausschließendes) „oder“, welches auch als „Kontravalenz“ bezeichnet wird.

• Adjunktion – inklusive Disjunktion: A oder B (oder beides)
• Kontravalenz – exklusive Disjunktion: entweder A, oder B (aber nicht beides)

• Konjunktion – „und“-Verknüpfung
• Affirmation einer Disjunktion (logischer Fehlschluss)

• Disjunktion auf Wikipedia