Page 18 -

이것으로 (2-13)이 증명됩니다. (2-14)에 대해서는 다음과 같은 식으로 변형해봅니다.

결과적으로 임의의 에 대해 이 되는 를 취하면 같은 논리가 성립합니
다. 이 조건을 만족하는 는 곧바로 계산하면 다음과 같이 구할 수 있습니다.

여기서 min(p, q)는 p와 q 중 어느 쪽이 작은지 선택한다는 의미를 가진 식입니다.

실제로 위의 경우 다음과 같이 됩니다.

따라서

위와 같다면 다음이 성립합니다.

마지막으로 (2-15)에 대해서는 다음이 증명되면 충분합니다.

(2-18)

066

BASIC_05.indd 66 2018-12-11 오전 11:18:32