tertium non datur

(logikk), loven om den ekskluderte tredje, prinsippet om at to alternativer, p og ikke-p, utelukker enhver tredje mulighet. Prinsippet er spesielt viktig i klassisk logikk, der det gjelder som lov. Ulike moderne logikker, som intuisjonistisk logikk og flerverdilogikk, bryter med denne loven.