Template:Individual-TLP-paragraph-pt-br-6.23

6.23 Se duas expressões estiverem ligadas pelo signo de igualdade, isto quer dizer que são mùtuamente substituíveis. Quando, porém, isto vier a ocorrer, deve mostrar-se nas próprias expressões.

Caracteriza a forma lógica de duas expressões serem mùtuamente substituíveis.