Wikipedia

Diferencia entre revisiones de «Igualdad matemática»

Explorar historial interactivamente
← Ir a diferencia anteriorIr a siguiente diferencia →
Contenido eliminado Contenido añadido
VisualWikitexto
Diegusjaimes (discusión · contribs.)
330 104 ediciones
m Revertidos los cambios de 200.104.212.172 a la última edición de 200.115.211.7
Línea 24:
==Cálculo de predicados de primer orden con igualdad==
 
La lógica de predicados con tienecontiene los axiomas estándar para la igualdad que formalizan la [[ley de Leibniz]], propuestos por el filósofo [[Gottfried Leibniz]] en el siglo XVII. La idea de Leibniz era que dos cosas son idénticas si y solamente si tienen exactamente las mismas [[propiedad]]es. Para formalizar esto, debemos poder decir:
 
:dados cualesquiera ''x'' y ''y'', ''x'' = ''y'' si y solamente si, dado cualquier predicado ''P'', ''P''(''x'') si y sólo si ''P''(''y'').
Obtenido de «https://es.wikipedia.org/wiki/Igualdad_matemática»