Co je to Disjunkce?

Disjunkce - ve výrokové logice označuje spojku “nebo” (anglicky OR), tedy operaci logického součtu, také označovanou symbolem ∨. Výsledkem této operace je nepravda pouze tehdy, pokud oba spojované výroky jsou nepravdivé.

Výraz disjunkce se také používá pro prázdný průnik množin.

V českém jazyce je této spojce ekvivalentní výraz “nebo” psaný bez čárky před ním, protože takto spojuje dvě věty či dva větné členy v poměru slučovacím a připouští tak v dané formulaci, že mohou nastat obě obě varianty.