대각행렬의 거듭제곱 결과값의 귀납적 증명
참고) 귀납법의 사전적 의미
추리/추론/논증의 방법 가운데 하나. 통칭 귀납법, 귀납 추론이라고도 한다. 연역논증과 함께 논리학의 두 축을 이루고 있다. 흔히 '구체적 사실로부터 보편적 사실을 추론해내는 방식'이라고 정의되지만, 이것은 귀납 논증의 일례만을 보여주는 것으로 보편성에서 구체성을 유도하는 방법 역시 많은 귀납논증에서 사용되므로 위 정의는 매우 편협하다. 귀납 논증의 적합한 정의는 "전제가 결론을 개연적으로 뒷받침한다"이다. 반대로 연역논증은 '만약 전제가 모두 참이라면, 그 결론도 반드시 참이어야 한다(그 결론이 거짓인 경우는 불가능하다)'이다.
veloger