달리기 선수 [1339220] · MS 2024 · 쪽지

2024-12-29 01:33:58
조회수 325

귀류법의 의의

게시글 주소: https://faitcalc.orbi.kr/00070894685

귀류법은 조건을 하나 추가해주는 도구이다.

예를 들어 p->q라는 명제를 증명한다고 치자. p는 충분조건, q는 필요조건.

이 때 귀류법을 써주면 우리는

p and ~q이면 모순이다. 를 보이는 것.

즉, p라는 조건만 가지고 증명해야하는 것을 p와 ~q라는 두 조건을 이용할 수 잇는 것이다 !!

당연히 ~q라는 조건이 강한 조건일 수록 귀류법이 강력해진다. (특히 무한성/유한성)

0 XDK (+0)

  1. 유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.