2021년 10월 18일 (월) 13:25 판 편집 Choboty (토론 \| 기여) 봇 1,723,041 편집 잔글 영어판 분류 정보를 이용.+분류:논리학 개념 ← 이전 편집		2022년 2월 27일 (일) 02:09 기준 최신판 편집 편집 취소 A.TedBot (토론 \| 기여) 봇, 장기인증된 사용자 946,722 편집 잔글 봇: 위키데이터 속성 추적 틀 부착 (근거 1, 근거 2)
1번째 줄: {{위키데이터 속성 추적}} [[논리학]]에서 '''건전성'''({{llang\|en\|soundness}})이란, 형식 체계 내에서 증명가능한 명제(즉 정리)가 의미론 상으로도 참이 되는 성질이다. 이는 논리학에서 [[완전성]]의 역개념이 된다.

건전성: 두 판 사이의 차이