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

4.241 Se emprego dois signos numa única e mesma denotação, isto vem expresso quando introduzo entre ambos o signo “=”.

“a = b” equivale pois a: o signo “a” é substituível pelo signo “b”.

(Se introduzo por meio de uma equação um nôvo signo “b”, determinando que deve substituir um signo “a” já conhecido, então escrevo a equação — definição — (como Russell) na forma “a = b Def.”. A definição é uma regra a propósito de signos.)