A lei do terceiro excluído (em latim resumida na expressão tertium non datur) é um princípio segundo o qual, para qualquer frase F, ou F ou não-F são verdadeiras. É representada da seguinte maneira:

Popularmente pode ser enunciado da seguinte maneira: "O que é é, o que não é não é e não há uma terceira opção."