| [ KAIST ] in KIDS 글 쓴 이(By): guest (Abyss) <ropas.kaist.ac.k> 날 짜 (Date): 2003년 3월 7일 금요일 오후 09시 01분 43초 제 목(Title): Re: 일더하기 일은 이의 증명 뒷북이지만, 재미로... x => y는 x가 참이면 y도 참이다라고 읽어줍시다. 수: 0은 수이다. x가 수이면, Sx 도 수이다. // S0은 1이라고, SS0은 2라고 읽어줍시다. 공리1: add(0,y,y) .............................(1) add(x,y,z) => add(Sx,y,Sz) .............(2) // add(x,y,z)를 x더하기 y는 z이다라고 읽어줍시다. 문제 증명: add(0,S0,S0) : by (1) add(S0,S0,SS0) : by (2) 읽으면, 일더하기 일은 이다. 공리2: add(0,0,0) .............................(1) add(x,y,z) => add(x,Sy,Sz) .............(2) add(x,y,z) => add(Sx,y,Sz) .............(3) 문제 증명: add(0,0,0) : by (1) add(0,S0,S0) : by (2) add(S0,S0,SS0) : by (3) 이것만 가지고 페르마의 정리까지 증명 가능한가? 수학적 귀납법 하나면 더 있으면 됩니다. 다른 연산자(-,*)등은 정의하면 됩니다. 명제 p(0)이고, p(x) => p(Sx) 이면, 모든 수 x에서 p(x)이다. |