推移法、数学と論理、「If aRb and bRc、then aRc」の形式のステートメント。ここで、「R」は特定の関係です(たとえば、「
。
等しい
。
”)、a、b、cは変数(オブジェクトに置き換えられる可能性のある用語)であり、a、b、cをオブジェクトに置き換えた結果は常に正しい文になります。推移的法則の例は、「aがbに等しく、bがcに等しい場合、aはcに等しい」です。一部の関係には推移的な法律がありますが、他の関係にはありません。推移的関係とは、a、b、cの間でオブジェクトを置き換える場合に、aとbの間、およびbとcの間でも成立する場合、aとcの間で成立する関係です。したがって、「
。
等しい
。
」はそのような関係であり、「
。
より大きい
。
」と「
。
よりも少ない
。
」
推移的法則が存在しない関係には、非推移的関係と非推移的関係の2種類があります。非推移的関係とは、a、b、cのオブジェクトの置換について、aとbの間、およびbとcの間も保持する場合、aとcの間では保持されない関係です。したがって、「
。
(生物学的)の娘です
。
」は自動詞です。メアリーがジェーンの娘であり、ジェーンがアリスの娘である場合、メアリーはアリスの娘になることはできません。同様に
。
の二乗です
。
「非推移的関係とは、a、b、cの代わりに使用するオブジェクトに応じて、aとbの間、およびbとcの間でも成立する場合、aとcの間で成立する場合と成立しない場合があります。つまり、aとcの間の関係が成り立つ少なくとも1つの置換と、成り立たない少なくとも1つの置換があります。関係“
。
愛する
。
」と「
。
等しくない
。
」は例です。