transitive


The transitive property of logic is

(ab)(bc)(ac)

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

(a=b)(b=c)(a=c)
Title transitiveMathworldPlanetmathPlanetmathPlanetmath
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