증명 절차
Proof procedure논리학에서, 특히 증명 이론에서, 주어진 논리에 대한 증명 절차는 (제공 가능한) 진술의 일부 증명 미적분에서 증거를 생산하기 위한 체계적인 방법이다.null
사용된 교정 칼쿨리의 유형
교정용 칼쿨리에는 몇 가지 종류가 있다.가장 인기 있는 것은 자연공제, 분리수거(즉, 겐첸형 시스템), 힐베르트 시스템, 시멘틱 테이블로나 나무 등이다.주어진 증명 절차는 특정한 증명 미적분학을 목표로 할 것이지만, 종종 다른 증명 방식에서 증거를 생산하도록 재구성될 수 있다.null
완성도
논리가 증명할 수 있는 각 진술에 대한 증거를 생성하는 경우 논리에 대한 증명 절차는 완료된다.논리 시스템의 이론은 일반적으로 반복적으로 열거되며, 이는 완전하지만 극히 비효율적인 입증 절차의 존재를 암시한다. 그러나 입증 절차는 합리적으로 효율적일 경우에만 흥미롭다.null
검증할 수 없는 진술에 직면하여, 완전한 입증 절차는 때때로 그것의 제공 불가능을 탐지하고 전달하는 데 성공할 수 있다.일반적으로 검증가능성이 반선택적 속성인 경우 이는 불가능하며, 그 대신 절차가 달라진다(종료되지 않음).null
참고 항목
참조
- W. Quine 1982년(1950년).논리학의 방법.하버드 유니브누르다
