If then, and have exactly the same properties. The contrapositive is:
- and dont have the same properties It is easy to accept Leibniz’s law but difficult to accept its converse which is Identity of Indiscernables.
If x=y then, x and y have exactly the same properties. The contrapositive is: