일관성,consistency

논리학에서는 일관성,consistency = 무모순성,consistency 둘이 동의어. i.e. 일관적이다 = 모순이 없다.

왜 그런지 그림으로 보려면 See https://youtu.be/PpSxqde0af4?si=0IeGY-yeBS2CeWxr&t=204 ... axiomatic_system이 왜 consistent해야 하는지 한눈에 알 수 있다.

Sub:
논리일관성,logical_consistency - ''논리,logic 논리학,logic 로직,logic에서 일관성의 뜻은 무모순성. 즉 모순,contradiction의 부재.
CHK 어떤 논리체계에 대해? QQQ


A* algorithm에서, 휴리스틱 휴리스틱 heuristic(s?)에서의 일관성이란: 삼각부등식,triangle_inequality을 닮음
https://gazelle-and-cs.tistory.com/115
.... "을 만족해야 적절한 휴리스틱이 된다는 것을 유추할 수 있습니다. 이 조건은 특별히 휴리스틱의 일관성(consistency)이라고 불립니다. 삼각 부등식(triangle inequality)으로도 볼 수 있습니다."


NdEn:consistency
n. 일관성, 한결같음 / 기타 농도,concentration라는 뜻도 있음. a fluid consistency = 유체의 농도
adj. consistent 일관된, 한결같은
self-consistency u.n. 자기 모순이 없음, 시종일관, 조리 정연
KmsE:consistency
{
"무모순성, 일관성"
2023-11-13의 결과 모두 나열하면:
consistency 무모순성, 일관성
consistency condition 일관성 조건
Kolmogorov consistency theorem 콜모고로프 일관성 정리
relative consistency 상대적 일관성
}
Ndict:consistency
트랜잭션,transaction의 일관성
...
Ndict:일관성
Ggl:consistency
Bing:일관성
Bing:consistency


https://en.wikipedia.org/wiki/Consistency
"In classical deductive logic, a consistent theory is one that does not lead to a logical contradiction."
corresp wpsp
https://simple.wikipedia.org/wiki/Consistency_proof
corresp wpko
https://ko.wikipedia.org/wiki/무모순적_이론
"수리논리학에서 무모순적 이론(consistent theory)은 거짓을 추론할 수 없는 이론이다. 이러한 성질을 무모순성(consistency) 또는 일관성(一貫性)이라고 한다."