증명하라.

정의 D1

명제 p, q 에 대하여 p → q 가 성립할 때, p 를 q 의 충분조건이라 하고 q 를 p 의 필요조건이라 한다. 양쪽이 모두 성립하면 서로 필요충분조건이라 한다.

증명.