transitive

The transitive property of logic is

$$(a\Rightarrow b)\wedge (b\Rightarrow c)\Rightarrow (a\Rightarrow c)$$

Where $\Rightarrow$ is the conditional truth function. From this we can derive that

$$(a=b)\wedge (b=c)\Rightarrow (a=c)$$