Disjunksjon foreligger når to setninger forbindes med «eller»: «Det regner eller det er solskinn.»
Faktaboks
- Uttale
-
disjunksjˈon
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
Kommentaren din publiseres her. Fagansvarlig eller redaktør svarer når de kan.
Du må være logget inn for å kommentere.