Diferencia entre revisiones de «Identidad de los indiscernibles»

Contenido eliminado Contenido añadido
mSin resumen de edición
Línea 23:
:<math>\forall x \forall y (x = y \to \forall P (Px \leftrightarrow Py))</math>
 
A veces se llama ''Leyley de Leibniz'' a la conjunción de ambos principios.<ref name=SEP/>
 
== Notas y referencias ==