타당성과 건전성

타당성과 건전성

avatar
Irenicus
2025.03.22조회수 3회


http://ko.wikipedia.org/wiki/%EA%B1%B4%EC%A0%84%EC%84%B1_%EC%A0%95%EB%A6%AC

건전성 정리(soundness theorem, 健全性定理)는 일차 논리학에서 연역 계산이 건전성을 가진다는 내용의 정리이다. 여기서 건전성이란, '모든 참인 것으로 증명가능한 명제(즉 정리)가 의미론상으로도 참임'을 의미한다. 이 정리는 괴델의 완전성 정리의 역을 제공한다.






http://ko.wikipedia.org/wiki/%ED%83%80%EB%8B%B9%EC%84%B1

타당성(妥當性)은 다음의 의미가 있다.

<ol style="font-family: sans-serif; line-height: 21px; margin: 0.3em 0px 0px 3.2em; padding: 0px; list-style-image: none; background-color: rgb(255, 255, 255);"><li style="margin-bottom: 0.1em;">형식논리학에서는 논리법칙에 맞는 추리를 타당이라고 한다. 추리의 타당성에서는 추리과정의 형식성만이 문제가 되는 것으로 추리되고 있는 사항의 내용은 전혀 관계가 없다.</li><li style="font-size: 14px;...

회원가입만 해도
이 글을 무료로 읽을 수 있어요.

이미 계정이 있으신가요?로그인하기
댓글 0
avatar
Irenicus
구독자 6명구독중 6명