정합성

Jmnote (토론 | 기여)님의 2022년 2월 11일 (금) 20:17 판
(차이) ← 이전 판 | 최신판 (차이) | 다음 판 → (차이)

1 개요[ | ]

consistency, conformity, matching
整合
정합성
  • 공리계에서, 어떤 논리식에 대해 그것과 그것의 부정이 동시에 성립되지 않는 일 → 무모순성
  • 공리적인 논리 체계에서 우선 필요로 하는 요건으로, 공리계에 논리적 모순이 없는 것

2 같이 보기[ | ]

3 참고[ | ]

문서 댓글 ({{ doc_comments.length }})
{{ comment.name }} {{ comment.created | snstime }}