수학사랑

명제 p → q 가 참이고, q → p 도 참일 때, 즉

일 때 p 는 q 이기 위한 필요충분조건이다.

필요충분조건은 necessary and sufficient condition을 번역한 것이며, 한자로는 必要充分條件이라고 쓴다.

necessary and sufficient condition → 必要充分條件 → 필요충분조건

necessary and sufficient condition을 글자 그대로 번역하면 '必要하고 充分한 條件'이고, 그것을 간단히 한 것이 '必要充分條件'이다.

이므로 p 는 q 이기 위한 '충분조건'이고,이므로 동시에 p는 q이기 위한 '필요조건'이기에 '필요충분조건'이라고 하는 것이다.