传递法

传递法,在数学而且逻辑，任何“如果”形式的陈述一个Rb而且bRc,然后一个Rc，其中“R”是一个特殊值关系(例如，“……等于……”)，一个，b，c变量(可以用对象替换的术语)和替换的结果是什么一个，b,c带对象的句子永远是真句。一个例子传递法律是"如果一个等于b而且b等于c,然后一个等于c“有些关系有传递律，有些关系没有。”传递关系是指之间的关系一个而且c如果它也在一个而且b和之间的b而且c对于任何对象的替换一个，b,c。因此，“……等于……”是这样一种关系，就像“……大于……”和“……小于……”

有两种关系不存在传递律:不及物关系和非传递关系。不及物关系是指之间不存在关系一个而且c如果它也在一个而且b和之间的b而且c对于任何替换对象的一个，b,c。因此，“…is the (biological) daughter of…”是不及物动词，因为如果Mary是Jane的女儿，Jane是Alice的女儿，Mary就不可能是Alice的女儿。同样，“…is the square of…”非传递关系是指在两者之间可能存在也可能不存在的关系一个而且c如果它也在一个而且b和之间的b而且c，取决于所替代的对象一个，b,c。换句话说，至少存在一种代换关系一个而且c至少有一个替换是成立的。“……爱……”和“……不等于……”就是例子。