O princípio de indistinguível de idêntico (ou princípio de idêntico ) é um princípio que afirma que, se duas entidades são idênticas , todas elas têm suas propriedades em comum. Se for verdade que x é igual a y , então x e y têm exatamente as mesmas propriedades. Qualquer coisa que pode ser pregada de um pode ser pregada de outro. Sua recíproca é o princípio da identidade dos indiscerníveis (ou "princípio dos indiscerníveis") com o qual não deve ser confundido.
O princípio de indistinguível do idêntico pode ser considerado trivial ou óbvio. Ele afirma que a indistinguibilidade é uma condição necessária para a identidade. Descreve o que significa ser o mesmo. Nesse sentido, ele não sofre nenhum contra-exemplo sério. Este princípio, entretanto, é rejeitado por alguns pensadores como Peter Geach .
Simbolicamente, este princípio (de indistinguibilidade) das identidades é expresso: (x) (y) [(x = y) → (P) (Px ↔ Py)]. O que podemos ler em linguagem natural: "Para todo x , para todo y , se x é idêntico ay , então para todo P , P x é equivalente a P y ".