정합성

1 개요[ | ]

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

2 같이 보기[ | ]

3 참고[ | ]

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