[이산수학] 증명

정의 공리(axiom) 어떤 다른 명제들을 증명하기 위해 전제로 사용되는 가장 기본적인 가정으로, 별도의 증명 없이 참으로 이용되는 명제 증명(proof) 특정한 공리들을 가정하고, 그 가정하에 제안된 명제가 참임을 입증하는 작업 정리(theorem) 공리로부터 증명된 명제 1) 보조정리(lemma) : 정리를 증명하는 과정 중에 사용되는 증명된 명제 2) 따름정리(corollary) : 정리로부터 쉽게 도출되는 부가적인 명제 증명 방법 직접 증명법 직접 증명법(direct proof) 공리와 정의 그리고 정리를 논리적으로 직접 연결하여 증명 다른 말로 연역법(deduction)이라고 함 * 연역법 : 이미 증명된 하나 또는 둘 이상의 명제를 전제로 하여 새로운 명제를 결론으로 이끌어내는 것 명제.....

원문링크 : [이산수학] 증명