傳遞關係推理

傳遞關係推理( transitive relation inference)間接關係推理的一種。根據關係命題所反映的諸對象之間的傳遞關係而進行推演的關係推理。如果以“R”表示傳遞關係，則傳遞關係推理可用公式表示為：“aRb，bRc，所以，aRc。”

例如，“孔子早於孟子，孟子早於苟子，所以，孔子早於苟子。”傳遞關係推理是一種有效推理。如果其前提為真，那么其結論也必然真。