6.23 Cuando dos términos son unidos mediante el signo de igualdad, entonces eso significa que son sustituibles mutuamente. Sin embargo, que esto sea el caso debe mostrarse en los dos términos en sí mismos.

Caracteriza la forma lógica de dos términos, que sean sustituibles mutuamente.