Equals: In logic: Term for identity.
The term 'equals' (or 'is the same as', 'is identical with') is a logical term and is used to convey that two terms refer to the same thing.
There are a number of problems with 'equals' and with identity in logic, mostly relating to substitution and to necessity, that are best discussed after stating a version of the rules for '=' that are often used in formal logic:
For every x, x=x.
For every x, every y, if x=y then y=x.
For every x, every y, every z, if x=y and y=z then x=z.
From (Fx) and (x=y) it follows that (Fy).
The first three rules or axioms lay down basic properties of identity, namely that it is reflexive (everything is equal to itself), symmetric (if x equals y then y equals x) and transitive (if x equals y and y equals z then x equals z).
The fourth rule relates identity and substitution in the sense that it lays down that if x equals y then y can be substituted for x.
It is especially with this rule that a number of problems are associated, of which I name five.
First, as stated the rule is much like it is stated for firstorder logic, but the problem is that the letter F must be schematic and stand in for any arbitrary predicate  which is a notion which is not part of firstorder logic (that contains no quantifiers for predicates) yet something like it is necessary to assure that equal terms can be substituted for each other.
Second, there is the problem that in some contexts it seems intuitively that equals may not always be substitutable in truths with truths as result. Two such contexts are intensional contexts and modal contexts. Thus, to illustrate the first, while the King may know he drinks water, the King may not know that water is the same as H_{2}0, and thus the King may not know that he drinks H_{2}0, even though he does. And to illustrate the second, if the number of planets of the earth is 9, and 9 is necessarily greater than 7, the number of planets of the earth may not be necessarily greater than 7.
Third, there is a fairly intuitive definition of equality that goes back to Leibniz:
 Two things are equal iff the things have all their properties in common
The problems with this are that already its formulation involves quantification of properties and that usually the properties involved are somehow restricted and e.g. do not involve properties of terms but only properties of things, and then usually also only properties of certain kinds, in certain domains.
Fourth, there is the problem that is connected to the previous problem, what it is that identities or equalities are about: Terms, things, the relations between terms and things? Thus, Leibniz's definition of identity seems to be about things, whereas at least many instances of identities seem to involve, rather, that two different terms, such as '2+2' and '2.2', represent the same thing (viz. the number 4 represented by '4').
Fifth, there is the problem that the rules and axioms for identity as they are normally used make it hard or impossible to distinguish necessary and merely contingent identities, and seem to make all identities necessary identities.
