증명
다른 표기 언어 proof , 證明요약 논리학에서 어떤 명제의 타당성을 확립하는 논증.
귀납논리에 기초한 증명도 가능하지만 일반적으로 증명이란 용어는 엄밀한 연역을 의미한다. 논리학과 수학의 형식적 공리체계에서 증명은 승인된 형성규칙들에 따라 만들어진 유한계열의 정식들로 나타난다. 이때 각각의 정식은 공리이거나 그 이전에 도출된 다른 정식(들)로부터 타당한 추론에 의해 도출된 것이며, 마지막에 나타나는 정식은 원래 증명하고자 했던 것(피증명항)이다. 피증명항이 어떤 경우들 또는 조건들을 포함할 때 사용할 수 있는 증명법으로는 양도논법이 있다.