Disjunktion - DDDEasy

Author:
Lizenz: Public domain
Bild:Wikimedia
Wortbeschreibung : Wikipedia

Disjunktion, und Adjunktion sind in der Logik die Bezeichnungen für zwei Typen von Aussagen, bei denen je zwei Aussagesätze durch ein ausschließendes oder oder durch ein nichtausschließendes oder verbunden sind: Die nicht-ausschließende Disjunktion „A oder B “ sagt aus, dass mindestens eine der beiden beteiligten Aussagen wahr ist. Sie ist also nur dann falsch, wenn sowohl A als auch B falsch sind.
Die ausschließende Disjunktion „(entweder) A oder B “ sagt aus, dass genau eine der beiden beteiligten Aussagen wahr ist. Die ausschließende Disjunktion ist daher falsch, wenn entweder beide beteiligten Aussagen falsch oder wenn beide beteiligten Aussagen wahr sind. Die ausschließende Disjunktion wird auch Kontravalenz genannt und unter diesem Stichwort näher behandelt.
Nur gelegentlich wird auch die nicht-ausschließende Disjunktion der Verneinungen der beteiligten Aussagen als Disjunktion von A und von B bezeichnet, das heißt die Aussage „nicht A oder nicht B “ beziehungsweise äquivalent „nicht “. Diese Verbindung wird u.a. Shefferscher Strich, NAND oder Exklusion genannt. Sie entspricht dem mengentheoretischen Begriff disjunkt. Mehr lesen