증명

코딩문제를 풀고나서 찝찝한 기분이 드는 이유는

명시적인 "증명"을 하지 못했기 때문이다.

증명하기를 연습하면 더 나은 결과물을 만들어 낼 수있다.

증명: 추론의 한 방법, 명제나 논증이 타당한지 입증 하는 것

1. 직접증명법 : p -> q 를 직접 증명

2. 간접 증명법 : 논리적 동치 또는 간접적으로 증명

3. 기타 증명법

1. 수학적 귀납법 :

① P(1)이 참임을 보이기

② P(n)이 참이라 가정

③ P(n+1)이 성립함을 보이기

2. 모순 증명법 : 문제의 명제를 부정한뒤 모순임을 증명하여 참거짓 증명 ( 거짓의 거짓은 참)

3. 직접증명법 : 주어진 유용한 정보를 토대로 추론하여 결론에 도달 ( p -> q )

4. 대우증명법 : 대우가 논리적으로 동치임을 이용하는 증명법 ( p -> q ≡ ~q -> ~p )

5. 존재 증명법 : ∃x such that P(x)

6. 반례증명법 : 모순이 되는 하나의 예를 드는 증명법

7. 필요충분조건 증명법 : (p -> q) & ( q -> p)

알고리즘 풀 때 수학적 귀납법 , 반례 증명법 이 둘을 제외하고 써본적이 없는 거 같다.

어떻게 써먹는거지??

noodler