Information om | Svenska ordet DISJUNKTION

I programmeringsspråket C, och många språk som bygger på C, som exempelvis Javascript, används tecknet dubbeltecknat för att uttrycka en logisk disjunktion.
Med den symbol, som även används för räkning modulo två, kan den exklusiva disjunktionen, med symbolerna för konjunktion, disjunktion och negation uttryckas:.
Eller-eliminering eller eliminering av disjunktion är en logisk härledningsregel inom satslogiken med formen:.
En (satslogisk) formel är på disjunktiv normalform om den är en disjunktion av fall, där ett fall är en konjunktion av atomära satser.
vilket betyder att man från en premiss, i vilken huvudoperationen är en disjunktion och en annan premiss, som negerar disjunktionens ena led, kan sluta sig till disjunktionens andra led.
Generellt skiljer man inom logik och språk på inklusiv disjunktion eller svag disjunktion, som uttrycks med "eller", och exklusiv disjunktion eller stark disjunktion, som uttrycks med "antingen eller".

Förberedelsen av sidan tog: 391,70 ms.

Exempel på hur man kan använda DISJUNKTION i en mening