Em lógica, pelo princípio do terceiro excluído,