Template:Individual-TLP-paragraph-fr-6.23

6.23 Si deux propositions sont mises en connexion par le signe d'égalité, cela veut dire qu'elles sont mutuellement substituables. Mais si c'est le cas, les deux expressions mêmes doivent le montrer.

Qu'elles soient mutuellement substituables caractérise la forme logique des deux expressions.