@Soul Brother,
The indiscernibility of identicals
For any x and y, if x is identical to y, then x and y have all the same properties.
x=y -> (all F)(Fx <-> Fy), for all x and all y.
The identity of indiscernibles
For any x and y, if x and y have all the same properties, then x is identical to y.
(all F)(Fx <-> Fy) -> x=y.
Soul Brother: "What in the world could drive a person to conclude upon such ridiculousness such as these "principles"? Yet more puzzling, what could possibly cause you to presume any truth from such nonsense?"
There are many logical truths about identity that are shown to be true, with the aid of these "nonsense" claims of Leibnitz.
Russell and Whitehead in Principia Mathematica, used these principles to define x=y, *13.01 x=y =df (all F)(Fx <-> Fy).
Some examples of theorems about identity using Libnitz's principles.
1. x=y -> (Gx <-> Gy).
2, ~(Gx <-> Gy) -> ~(x=y).
3. (Gx & ~Gy) -> ~(x=y).
4. ((x=y) & Gx) -> Gy.
5. (x=y & x=z) -> x=z.
6. (x=y & y=z) -> x=z.
etc., etc..
Your understanding of 'nonsense' needs clarification.