disjunksjon

Disjunksjon foreligger når to setninger forbindes med «eller»: «Det regner eller det er solskinn.»

Eller-forbindelsen har to distinkte logiske anvendelser: eksklusiv, som i «han er enten i Bergen eller i Trondheim», eller inklusiv, som i «han er enten gal eller lat eller begge deler». I det første tilfellet utelukker de to disjunktene hverandre og kun den ene kan være sann, i det andre tilfellet kan begge være sanne.

Det logiske konnektivet «⋁» i «A⋁B» representerer det inklusive «eller». Den eksklusive lesningen har ingen standard symbolisering, for eksempel benyttes både «A≠B» (leses «A og B er ikke ekvivalente») og «A⋁B» («den ene disjunkten, men ikke den andre, holder»). Fra et logisk synspunkt uttrykker disse to formlene det samme, de har samme sannhetstabell.