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).

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)