Преходен закон, в математиката и логиката, всяко изявление от формата "Ако aRb и bRc, тогава aRc", където "R" е определено отношение (например,"
е равно на
”), A, b, c са променливи (термини, които могат да бъдат заменени с обекти), а резултатът от замяната на a, b и c с обекти винаги е истинско изречение. Пример за преходен закон е „Ако a е равно на b и b е равно на c, тогава a е равно на c.“ За някои отношения има преходни закони, но не и за други. Преходна връзка е тази, която има между a и c, ако тя също има между a и b и между b и c за всяко заместване на обекти за a, b и c. По този начин,"
е равно на
"Е такова отношение, както е"
е по-голяма от
" и"
е по-малко от
Има два вида отношения, за които няма преходни закони: интранситивни отношения и нетразитивни отношения. Интранзитивната връзка е тази, която не се държи между a и c, ако тя също има между a и b и между b и c за всяко заместване на обекти за a, b и c. По този начин,"
е (биологична) дъщеря на
”Е нечувствителен, защото ако Мери е дъщеря на Джейн, а Джейн е дъщеря на Алиса, Мери не може да бъде дъщеря на Алиса. По същия начин “
е площадът на
„Нетранзитивната връзка е тази, която може или не може да има между a и c, ако тя също има между a и b и между b и c, в зависимост от обектите, заместени за a, b и c. С други думи, има поне едно заместване, при което връзката между a и c има отношение и поне едно заместване, при което не. Отношенията “
любови
" и"
не е равно на
“Са примери.
