Per ardua ad astra.

이산 수학 직접 증명법

직접 증명법 직접 증명법은 주어진 명제를 변형하거나 예를 구하는 것이 아니라, 공리, 정의, 정리 등을 이용하여 주어진 그대로 증명하는 방식이다. 직접 증명법(Direct Proof) 조건 명제 `p → q` 가 참(T)임을 증명하기 위해 전제 `p` 를 참(T)으로 가정했을 때, 결론 `q` 도 참(T)임을 증명하는 방법 예 : '두 홀수 `m` 과 `n` 의 곱은 홀수이다.' 를 직접 증명법으로 증명하기 '두 홀수 `m` 과 `n` 의 곱은 홀수이다' 라는 명제를 조건 명제의 형태로 나타내면 다음과 같다. `p → q` : 두 정수 `m, n` 이 홀수이면, `m` 과 `n` 의 곱은 홀수이다. `p` : 두 정수 `m, n` 은 홀수이다. `q` : `m` 과 `n` 의 곱은 홀수이다. 홀수 `m`..