teʹrtium non daʹtur [-tsi-] (lat., ’inget tredje gives’), lagen om det uteslutna tredje, logisk lag som säger att en sats är sann eller falsk, eller med andra ord att det för varje sats gäller att antingen den eller dess negation är sann, i satslogisk symbolism: p∨¬p.