Template:Individual-TLP-paragraph-pt-br-5.5301

5.5301 É óbvio que a identidade não é uma relação entre objetos. Isto se torna muito claro quando se considera, por exemplo, a proposição “(x) : fx . ⊃ . x = a”. A proposição diz meramente que apenas a satisfaz a função f, mas não diz que sòmente as coisas que mantêm uma certa relação com a satisfazem a função f.

Poder-se-ia sem dúvida dizer que sòmente a mantém esta relação com a, mas para exprimi-lo precisamos do signo da igualdade.