transitive

The transitive property of logic is

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

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

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