Från Rilpedia

Leibniz lag är den logiska lagen eller principen som säger att om a och b är identiska så gäller att alla egenskaper som a har, har också b. Det kan också uttryckas som att, om x = y så F(x) ⇔ F(y), där varje egenskap för x ⇔ varje egenskap för y.

Upptäckten av denna lag tillskrivs filosofen Gottfried Leibniz, som demonstrerade den genom differentialkalkyl. Leibniz argument lyder: Låt u(x) och v(x) vara två differentiabla funktioner av x. Då är differentialen av uv:

Eftersom termen (du)(dv) är "försvinnande" (det vill säga åtminstone kvadratisk i du och dv) Leibniz drog slutsatsen att

och detta är differentialformen av lagen. Om vi delar genom differentialen dx får vi

vilket också kan skrivas i "primär notation" som