귀류법의 의의
귀류법은 조건을 하나 추가해주는 도구이다.
예를 들어 p->q라는 명제를 증명한다고 치자. p는 충분조건, q는 필요조건.
이 때 귀류법을 써주면 우리는
p and ~q이면 모순이다. 를 보이는 것.
즉, p라는 조건만 가지고 증명해야하는 것을 p와 ~q라는 두 조건을 이용할 수 잇는 것이다 !!
당연히 ~q라는 조건이 강한 조건일 수록 귀류법이 강력해진다. (특히 무한성/유한성)
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
은근 귀류법이 적용을 많이 해볼 수 있더라