Principio enunciado por G.W. Leibniz que niega la posibilidad de que dos objetos sean numéricamente distintos si comparten todas sus propiedades no relacionales, donde una propiedad relacional es una que implica establecer una relación con otro objeto.
Expresado de un modo más formal, el principo postula que si x no es idéntico a y, entoces hay alguna propiedad no relacional P tal que P vale para x y no vale para y, o que P vale para y, y no vale para x. De modo equivalente, si x e y comparten todas sus propiedades no relacionales, entonces x es idéntico a y. La afirmación recíproca, el principio de la indiscernibilidad de los idénticos (conocido también como ley de Leibniz), sostiene que si x es idéntico a y, entonces cada propiedad no relacional de x es una propiedad de y, y viceversa.
Enciclopedia Universal. 2012.