"만약 ~이면 ~이다"의 형태로 가정과 결론을 연결한 명제로, 귀납 단계에서는 $p(k)$가 참이라는 가정 하에 $p(k+1)$이 참임을 보이는 조건문 자체가 증명 대상이다.
이 용어를 정식으로 다루는 문서: 수학적 귀납법
← 사전 전체 보기