귀류법의 의의
게시글 주소: https://i9.orbi.kr/00070894685
귀류법은 조건을 하나 추가해주는 도구이다.
예를 들어 p->q라는 명제를 증명한다고 치자. p는 충분조건, q는 필요조건.
이 때 귀류법을 써주면 우리는
p and ~q이면 모순이다. 를 보이는 것.
즉, p라는 조건만 가지고 증명해야하는 것을 p와 ~q라는 두 조건을 이용할 수 잇는 것이다 !!
당연히 ~q라는 조건이 강한 조건일 수록 귀류법이 강력해진다. (특히 무한성/유한성)
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
오르비에는 글 쓰는게 처음이네요...ㅎㅎ 다름아니라 3월 환경공학과 입학 전 어떤...
-
메인글 보다가 문득 글을 씁니다. 뻘글이거나 다소 두서없을지 모르겠네요. ㅠㅠ 이...
-
어느게 전망 좋음?
은근 귀류법이 적용을 많이 해볼 수 있더라