Disjunktion („Oder-Verknüpfung“) und Adjunktion sind in der
Logik die Bezeichnungen für einen Typ von
Aussage, bei dem zwei Aussagesätze durch ein nicht ausschließendes oder durch ein ausschließendes oder verbunden sind:Die nicht ausschließende Disjunktion „A oder B (oder beides)“ 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 (exklusives Oder, XOR) „(entweder) A oder B (aber nicht beides)“ 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 (oder beides)“ beziehungsweise äquivalent „nicht (A und B)“; üblich ist für diese Verknüpfung die Bezeichnung
NAND oder Sheffer-Operator.
Mehr unter Wikipedia.org...
Free Download Now!
