Una prueba formal para comprobar que existe identidad de contenido descriptivo es la prueba de la equivalencia (o del entrañamiento simétrico o mutuo). Consiste en postular la equivalencia en estructuras condicionales, en las que se afirma que un término implica al otro:

• Si es cierto que alguien ha cogido una cogorza, entonces es cierto que ha cogido una tajada → verdadero
• Si es cierto que alguien ha cogido una tajada, entonces es cierto que ha cogido una cogorza → verdadero

Esta proposición es una tautología porque es verdadera por definición.

... puede realizarse una prueba con enunciados que expresen un contraste. Si el resultado es necesariamente falso en las dos direcciones, los términos contrapuestos son sinónimos:

• Es una cárcel pero no es una prisión → falso
• Es una prisión pero no es una cárcel → falso

En consecuencia, cárcel y prisión son sinónimos porque cuando se contraponen dan lugar a proposiciones contradictorias.