전이 법, 수학 및 논리에서“aRb 및 bRc이면 aRc”형식의 진술. 여기서“R”은 특정 관계입니다 (예:“
동일하다
”), a, b, c는 변수 (객체로 대체 될 수있는 용어)이며 a, b 및 c를 객체로 대체 한 결과는 항상 참문입니다. 전이 법의 예는“a가 b와 같고 b가 c와 같으면 a는 c와 같다”입니다. 일부 관계에는 전이 법이 있지만 다른 관계에는 적용되지 않습니다. 전 이적 관계는 a, b 및 c에 대한 객체의 대체를 위해 a와 b 사이와 b와 c 사이를 유지하는 경우 a와 c 사이를 유지하는 관계입니다. 따라서“
동일하다
"와 같은 관계입니다
~보다 크다
”및“
보다 작다
전이 법이없는 두 가지 종류의 관계가 있습니다: 비전 이적 관계와 비전 이적 관계. 비순환 관계는 a, b 및 c에 대한 객체 대체를 위해 a와 b 사이, b와 c 사이를 유지하는 경우 a와 c 사이를 유지하지 않는 관계입니다. 따라서“
(생물학적) 딸이다
Mary가 Jane의 딸이고 Jane이 Alice의 딸이라면 Mary는 Alice의 딸이 될 수 없기 때문입니다. 마찬가지로“
의 제곱
“비전이 관계는 a, b 및 c로 대체 된 객체에 따라 a와 b 사이 및 b와 c 사이를 유지하는 경우 a와 c 사이에있을 수도 있고 없을 수도있는 관계입니다. 다시 말해서, a와 c 사이의 관계가 유지하는 하나 이상의 치환과 그것이 존재하지 않는 적어도 하나의 치환이있다. 관계"
사랑
”및“
같지 않다
"는 예입니다.
