Logical Formulations
Equality is always defined such that things that are equal have all and only the same properties. Some people define equality as congruence. Often equality is just defined as identity.
A stronger sense of equality is obtained if some form of Leibniz's law is added as an axiom; the assertion of this axiom rules out "bare particulars"—things that have all and only the same properties but are not equal to each other—which are possible in some logical formalisms. The axiom states that two things are equal if they have all and only the same properties. Formally:
- Given any x and y, x = y if, given any predicate P, P(x) if and only if P(y).
In this law, the connective "if and only if" can be weakened to "if"; the modified law is equivalent to the original.
Instead of considering Leibniz's law as an axiom, it can also be taken as the definition of equality. The property of being an equivalence relation, as well as the properties given below, can then be proved: they become theorems. If a=b, then a can replace b and b can replace a.
Read more about this topic: Equality (mathematics)
Famous quotes containing the word logical:
“Nature’s law says that the strong must prevent the weak from living, but only in a newspaper article or textbook can this be packaged into a comprehensible thought. In the soup of everyday life, in the mixture of minutia from which human relations are woven, it is not a law. It is a logical incongruity when both strong and weak fall victim to their mutual relations, unconsciously subservient to some unknown guiding power that stands outside of life, irrelevant to man.”
—Anton Pavlovich Chekhov (1860–1904)