구성적 증명

위키백과, 우리 모두의 백과사전.

수학에서, 구성적 증명(構成的證明, constructive proof)은 일정 조건을 만족하는 대상의 존재성(존재 정리)을, 그 대상을 구체적으로 만들어내어 증명하는 방법이다. 반면 비구성적 증명(非構成的證明, non-constructive proof)은 순수하게 존재성만을 입증하는 증명법이다.

구성적 증명(constructive proof)은 "약한 반증(Weak Counterexample)"으로 표현되기도 한다.

같이 보기[편집]

참고[편집]