[이산수학2-2]More Methods of Proof(다양한 증명법)

귀류법(Proof by Contradiction) - 결론을 부정하여 모순을 찾아내 본 명제가 참임을 증명하는 방법. - 본명제 p->q를 증명하고 싶을 때, p->~q가 참임을 가정하고 모순(contradiction)을 찾아 거짓임을 확인해 p->q가 참임을 간접적으로 증명한다. 대우 증명법(Proof by Contrapositive) - 대우 명제는 본 명제와 논리적 동치인 특징을 이용하여 대우 명제의 참/거짓 여부 판별을 통해 본 명제를 증명하는 방법.

사례별 증명(Proof by Cases) - 어떤 문제는 수학적으로 case들을 나눠야 하는 경우가 있는데, 이럴 때 각각의 case들에 대해 증명하는 방법을 의미한다. 동치 증명(Proofs of Equivalence) - 대우 명제와 유사하게 논리적 동치를 이용하여 간접적으로 증명하는 방법(대우 증명법을 포함하는 개념으로 이해할 수 있다.)

존재 증명(Existence Proofs) - 어떤 변수 x에 의해서 명제가...