反傳遞關係推理

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

例如，“姐姐比弟弟大兩歲，弟弟比妹妹大兩歲，所以，姐姐不是比妹妹大兩歲。”反傳遞關係推理是一種有效推理。如果其前提為真，那么其結論也必然真。