Från Rilpedia

Lagen om det uteslutna tredje är ett axiom i många logiska system som säger att P XOR ¬P, det vill säga att antingen måste P vara sant, eller så måste dess motsats vara sant. Det finns inget tredje alternativ, alltså kallas axiomet för "lagen om det uteslutna tredje".

Vissa logiska system använder sig dock av så kallad "ternar" eller "trevärd" logik, där lagen om det uteslutna tredje inte är giltig. Det tredje alternativet kan då till exempel betyda att satsens sanningsvärde är okänt, så att man för en given sats P kan säga att den är "sann", "falsk" eller "vet inte".