명제와 필요 충분조건, 그리고 귀류법

명제 : 참과 거짓을 규명하는 체계

명제가 참이면 그 대우도 항상 참.

필요 조건 : 조건이 성립하려면 다른 것이 더 필요.

충분 조건 : 조건 성립에 있어 이미 그걸로 충분.

필요 충분 조건
범위로 보면 필요 조건 > 충분 조건입니다.
여기서 범위가 같아지면 그것이 필요 충분 조건.

귀류법 : 어떤 사실이 맞다고 가정하고, 거기에 오류를 지적해 틀렸음을 밝히는 방법.