6 relationer: Boolesk ring, Logisk operator, Materiell implikation, Modulär aritmetik, Sanningsvärde, Satslogik.
Boolesk ring
En boolesk ring är en ring R sådan att för alla element a, som tillhör R gäller att a².
Ny!!: Exklusiv disjunktion och Boolesk ring · Se mer »
Logisk operator
En logisk operator är ett konnektiv inom satslogiken, vilket används för att sammanfoga två eller flera satser.
Ny!!: Exklusiv disjunktion och Logisk operator · Se mer »
Materiell implikation
Materiell implikation är ett konnektiv inom satslogiken, som oftast betecknas med symbolen →.
Ny!!: Exklusiv disjunktion och Materiell implikation · Se mer »
Modulär aritmetik
Modulär aritmetik, moduloräkning eller kongruensräkning är ett område inom aritmetiken, där man räknar med ett begränsat antal tal.
Ny!!: Exklusiv disjunktion och Modulär aritmetik · Se mer »
Sanningsvärde
Ett sanningsvärde är ett värde tilldelat ett påstående grundat på huruvida detta är uppfyllt eller ej.
Ny!!: Exklusiv disjunktion och Sanningsvärde · Se mer »
Satslogik
Satslogiken är ett formellt logiskt system med väldefinierad syntax, avsett att symboliskt hantera språkliga satser, vilka uttrycker påståenden, och från dessa med giltiga slutledningar, dra slutsatser.
Ny!!: Exklusiv disjunktion och Satslogik · Se mer »