Law of identity

For more information, see the Wikipedia article:

Law of identity

The Law of Identity, one of the three classic laws, states that any object is the same as itself. This is also occasionally referred to as the Reflexive Property.

This can be stated as A→A or A↔A (though the second is redundant).

See also

• Tautology

v · d Formal logic Three classic laws   Law of identity · Law of noncontradiction · Law of the excluded middle Logical constructions   Antecedent · Consequent · Premise · Conclusion · Dichotomy Logical operators   Negation (not) · Conjunction (and) · Disjunction (or) · Material implication (if then) · Biconditional (if and only if)