필요충분조건

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

필요 조건(必要条件), 충분 조건(充分条件), 필요 충분 조건(必要充分条件)은 논리학에서 논증 진술들간의 함축관계를 일컫는 말이다.

필요 조건[편집]

필요조건은 어떤 진술이 참이 되기 위해서 반드시 충족되어야 하는 조건이다. 예를 들어 호흡은 인간생존을 위해 필수적으로 충족되어야 하는 필요조건이다. 위의 예는 다음과 같이 표현할 수 있다.

  • 만약 어떤 사람이 살아있다면 호흡을 하는 것이다.
  • 위의 진술은 참이다.
  • 위의 진술을 뒤집어 보자.
  • 만약 어떤 사람이 호흡을 한다면 살아있는 것이다.
  • 위의 진술은 참인가?
  • 그렇지 않다. 이 말은 참일 수도 있고 아닐 수도 있다. 즉 반드시 참이 아니다.

'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를 동치라고도 한다.