# 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)$
Title transitive Transitive1 2013-03-22 12:14:16 2013-03-22 12:14:16 akrowne (2) akrowne (2) 5 akrowne (2) Definition msc 03B05 transitive property