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.
Kommentarer
Har du spørsmål om eller kommentarer til artikkelen?
Kommentaren din vil bli publisert under artikkelen, og fagansvarlig eller redaktør vil svare når de har mulighet.
Du må være logget inn for å kommentere.