전문가: 반사성이란 무엇입니까?
반사적
reflexivity
반사적 [reflex 주 ty: PE 를 e 처럼 "BH0cT"; Onponep cellular "Ma, 플러스 pMy-,], 형식 반박 공식 (formally refutahlefo 는 da 라고 함), 주어진 공식 시스템에서 부정이 주어진 시스템에서 도출할 수 있는 폐쇄공식. B .H.fpH 산반 N 은 주어진 논리 시스템의 폐쇄공식 A 를 수식으로 판정할 수 있다 (C 가 거대한 B 비를 뒤집는다) (판정할 수 있는 공식 (DE' D able Rorra3,' 여과A 는 증명되거나 반박할 수 있다).
수학적으로 lt; 수학 gt; \forall a \in X, \ a R alt；; /mathgt;
예: "크거나 같음" 은 자반관계이지만 "보다 큼" 은 자반관계가 아닙니다.
자반관계의 예:
"같음" (같음)
"는 ... 의 하위 집합" (집합 포함)
lt; 수학 gt; \forall a \in X, \ a = alt；; /mathgt;
일부 시스템에서는 동등한 공리라고 합니다.