필요충분조건

위키백과 ― 우리 모두의 백과사전.

필요 조건(必要条件), 충분 조건(充分条件), 필요 충분 조건(必要充分条件)은 논리학에서 명제들 사이의 관계를 나타내는 말이다.

[편집] 필요 조건

'P이면 Q이다.'에서 Q는 P이기위한 필요 조건이라 한다. P가 참이면 Q도 참이다. P가 Q에 포함되는 개념이다. (ex) P=자연수, Q=실수

[편집] 충분 조건

'P이면 Q이다.'에서 P를 Q의 충분 조건이라 한다. Q가 P를 포함하는 개념이다. (ex) P=자연수, Q=실수

[편집] 필요 충분 조건

'P이면 Q이고, Q이면 P이다.'에서 P는 Q의 필요충분조건이며, Q도 역시 P의 필요충분조건이라 한다. P가 참이면 Q도 참이며, P가 거짓이면 Q도 거짓이다. 반대로 Q가 참이면 P도 참이며, Q가 거짓이면 P도 거짓이다. 그래서, 이 때의 P와 Q를 동치라고도 한다.

이 글은 수학에 관한 토막글입니다. 서로의 지식을 모아 알차게 문서를 완성해 갑시다.