The transitive property of logic is


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

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