3.증명

공리: 다른 명제를 증명하기위해 전제로 사용되는 가장 기본적인 가정으로 별도의 증명없이 참으로 이용되는 명제

 

정리: 공리로부터 증명된 명제

 

보조정리 : 정리를 증명하기위한 과정 중에 사용되는 증명된 명제

 

따름정리 : 정리로부터 쉽게 도출되는 부가적인 명제

증명방법

 ㄴ직접 증명법 : 공리와 정의 그리고 정리를 논리적으로 직접 연결하여 증명

 ㄴ수학적 귀납법 자연수 n에 대한 명제의 성질을 증명하는데 유용한 증명방법. 기본단계, 귀납가정, 귀납단계를 이용한다.

 ㄴ간접증명법 : 증명해야할 명제를 증명하기 쉬운 형태로 변형하여 증명하는 방법이다.

 ㄴㄴ대우증명법,모순증명법, 반례증명법 존재증명법

 

직접증명법 : (연역법) 이미 증명된 하나 또는 둘 이상의 명제를 전제로하여 새로운 명제를 결론으로 이끌어 내는것