Substituabilité des Identiques (Loi de Leibniz)
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Le principe selon lequel si deux expressions dénotent le même objet (ont le même référent), alors l'une peut être substituée à l'autre salva veritate (sans changer la vérité) dans les contextes où la référence est transparente.