O princípio do terceiro excluído, um dos princípios da lógica clássica, diz:

uma proposição é sempre igual a si mesma e não a uma terceira.

uma terceira proposição não pode ser inferida de duas primeiras.

uma proposição é idêntica a si, excluída a possibilidade de inferência de uma terceira.

dadas duas proposições constituídas pelos mesmos sujeitos e predicados, sendo uma afirmativa e a outra negativa, ambas não podem ser verdadeiras.