Information om | Svenska ordet DISJUNKTION

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

• 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".
• Eller-eliminering eller eliminering av disjunktion är en logisk härledningsregel inom satslogiken med formen:.
• 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.
• 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.
• 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:.

Förberedelsen av sidan tog: 205,20 ms.