传递关系推理

传递关系推理( transitive relation inference），间接关系推理的一种。根据关系命题所反映的诸对象之间的传递关系而进行推演的关系推理。如果以“R”表示传递关系，则传递关系推理可用公式表示为：“aRb，bRc，所以，aRc。”例如，“孔子早于孟子，孟子早于荀子，所以，孔子早于荀子。”传递关系推理是一种有效推理。如果其前提为真，那么其结论也必然真。