[이산수학]간접증명법이란?(대우증명, 모순증명, 반례증명, 존재증명)

이산수학_증명_간접증명법이란?(대우증명, 모순증명, 반례증명, 존재증명)

간접증명법은 증명해야 할 명제를 논리에 어긋나지 않는 범위 내에서 변화시켜 증명하기 쉽게 만드는 방법입니다. 

 

 

■ 대우증명법

함축명제 p→q가 ~q→~p와 동치임을 이용하여 증명하는 방법

 

 

 

■ 모순증명법

함축명제 p→q가 ~(p∧~q)와 동치임을 이용하여 증명하는 방법

 

 

 

■ 반례증명법

주어진 명제에 모순이 되는 예를 찾아 증명하는 방법

 

 

 

■ 존재증명법

주어진 명제에 참이 되는 예를 찾아 증명하는 방법

 

 

 

 

 

 

 

-----------------------------------

이산수학 총정리

목록 보러가기 

-----------------------------------