귀류법과 수학적 귀납법 정확히 알기

1. 증명 19세기 말부터 증명이 무엇인지 많은 연구가 있었다 증명은 글로 쓰는 것이 아니라 '정확한 명제로 표현할 수 있는 것'이라는 것이 확립된 상태 보통 정확한 명제식으로 쓰지는 않지만 근본적으로는 명제식으로 바꿀 수 있는 것이 증명이다 증명에 대한 수많은 오해는 p ↔ q 와 p → q를 혼동하는 것에서 시작함 2. 당구공 paradox '모든 당구공은 색이 같다'에 대한 증명 당연히 색이 같을리 없지만 논리적으로 증명하고자 함 ------------------------------------------------------------------------------------------------------------ 수학적 귀납법) 모든 자연수 n에 대해 명제 P(n)이 참이라는 것을 증명하기..