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)$$

Title	transitive
Canonical name	Transitive1
Date of creation	2013-03-22 12:14:16
Last modified on	2013-03-22 12:14:16
Owner	akrowne (2)
Last modified by	akrowne (2)
Numerical id	5
Author	akrowne (2)
Entry type	Definition
Classification	msc 03B05
Synonym	transitive property