disjunktion
disjunktion (latin disiuʹnctio ’skiljande’), inom logiken en sats sammansatt av två enklare satser A och B med innebörden ”A eller B”.
Med disjunktion kan man också avse själva den operation som, givet två enklare satser, ger en sådan sammansatt sats. Disjunktionen sägs vara exklusiv när det för dess sanning krävs att exakt en av de två enklare satserna A och B är sann (t.ex. när det på en
Information om artikeln
Källangivelse