명제와 수학적 귀납법을 재귀함수를 통해서 이해해보자. #define _CRT_SECURE_NO_WARNINGS #include //수학적 귀납법 + 명제 int sum(int x) { if (x Q TTT TFF FTT FFT 의 진리값을 갖는다. 수학적 귀납법의 정의에서 노란배경색 부분이 "참이면 참" 을 보는 이유는 앞 부분의 명제가 거짓일 때는 뒤 부분의 명제의 진리값에 관계없이 전체 명제가 참이 되기 때문에 의미가 없다. 따라서 참이면 참이라는 부분만 보게 된다. 이에 따라 sum함수를 보면, base) x = 1일때, sum함수는 return 1 + sum(0)이고, sum(0) = 0이므로, sum함수는 결과적으로 1을 리턴한다. seep) sum(x-1)이 1+2+ ... + x-1 의 값을..
