논리적 일관성
어떤 논리체계가 일관성을 가진다는 것은,
서로 모순,contradiction되는 두 명제,proposition가 동시에 그 체계속에서 용납되는 일이 없다는,
즉 명제 A와 ~A가 모두 그 체계 속에서 공리,axiom 혹은 정리,theorem일 수 없다는 것.
(교육학용어사전)
서로 모순,contradiction되는 두 명제,proposition가 동시에 그 체계속에서 용납되는 일이 없다는,
즉 명제 A와 ~A가 모두 그 체계 속에서 공리,axiom 혹은 정리,theorem일 수 없다는 것.
(교육학용어사전)
그럼 logical consistency는 logical system, axiomatic system의 성질?
equiconsistent and equiconsistecy ¶
corresp. ko interwiki:
무모순적_이론
= https://ko.wikipedia.org/wiki/무모순적_이론
... 논리적 일관성
... logical.consistency
= https://ko.wikipedia.org/wiki/무모순적_이론
(consistent theory)
논리학에선 무모순성 = 일관성이라 함.
... 논리적 일관성논리학에선 무모순성 = 일관성이라 함.
... 논리적 일관성
... logical.consistency