Logická disjunkce

V logice a matematice, disjunkce je “nebo sdělení”. Například “John lyžuje nebo Sally plave” je disjunkce.

Si všimnout toho v každodenním jazyce, použití slova “nebo” moci někdy zlý “jeden, ale ne oba” (eg, “odkázaný vy jako čaj nebo káva?”). V logice, toto je voláno “exkluzivní disjunkce nebo “exkluzivní nebo”. Když použitý formálně, “nebo” počítá s oběma částmi nebo sdělení (jeho disjuncts) být pravdivý (“a/nebo”), proto “nebo” je také nazýván nerozdělitelnou disjunkcí.

Sdělení”P nebo Q” je často psán jak

P a nebo; Q

Takový disjunkce je falešná jestliže oba P a Q být nepravdivý. Ve všech ostatních případech to je pravdivé.

Pro dva vstupy a B, pravdivostní tabulka funkce je takto.

B | nebo B -- -- + -- -- -- -- F F | F F T | T T F | T T T | T

Více obecně disjunkce je logická rovnice, která může mít jednoho nebo více literals oddělily se jen ORs. Jeden doslovný je často považován za disjunkci zvrhlíka.

Například, celé pokračování být disjunkce:

a nebo; B
¬ a nebo; B
a nebo; ¬B a nebo; ¬C a nebo; D a nebo; ¬E

Pojem ekvivalentu v teorii množin je ustálený teoretický odbor.

Viz též