Ley de Identidad

Principio lógico fundamental que afirma que todo objeto o proposición es idéntico a sí mismo; formalizado en lógica de predicados por el axioma de reflexividad x = x para el predicado de identidad, y en lógica proposicional por la tautología p ⇒ p (o p ↔ p).