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`..