충분조건

충분조건은 조건 하나만으로 결론의 성립을 보장하는 관계다. 예를 들어 어떤 수가 4의 배수이면 짝수이므로, 4의 배수라는 조건은 짝수라는 결론의 충분조건이다.^[2]

용어나 현상의 적용 범위를 정밀하게 정할 때도 충분조건을 지정할 수 있다. 전통적 정의에서 Bow Bells 소리가 들리는 범위 안에서 태어났다는 조건은 Cockney에 해당하기 위한 필요충분조건으로 제시된다.^[1][4]

충분조건은 조건문 $P\to Q$ 또는 $P\Rightarrow Q$로 나타낸다. 이때 P는 전건, Q는 후건이며, 조건문이 참이면 P가 Q를 함의한다.^[2]

‘만약 P이면 Q이다’라는 문장에서 P의 성립은 Q의 성립을 보장한다. 따라서 조건문의 방향을 읽을 때 P가 충분조건이고 Q가 뒤따르는 결론임을 구분해야 한다.^[2][4]

조건문 $P\to Q$가 참이면 P는 Q의 충분조건이며, 동시에 Q는 P의 필요조건이다. 필요조건은 P가 성립하기 위해 반드시 필요한 조건이므로, Q가 거짓이면 P도 성립할 수 없다.^[2]

충분조건과 필요조건은 한 조건문을 서로 다른 위치에서 설명한다. $P\to Q$와 $Q\to P$가 모두 참이면 두 명제는 필요충분조건 관계이며 논리적으로 동치다.^[2]

명제 p와 q의 진리집합을 각각 P와 Q라고 하면, $p\to q$가 참이라는 것은 P가 Q에 포함된다는 뜻이다. 따라서 $P\subseteq Q$일 때 p는 q의 충분조건이고 q는 p의 필요조건이다.^[3]

두 진리집합이 같으면 포함 관계가 양방향으로 성립한다. 이는 p에서 q로, q에서 p로의 함의가 모두 성립하는 논리적 동치 관계에 해당한다.^[2][3]

정수에서 4의 배수는 모두 짝수이므로, 4의 배수라는 조건은 짝수이기 위한 충분조건이다. 반대로 짝수라고 해서 반드시 4의 배수인 것은 아니며, 6은 짝수지만 4의 배수는 아니다.^[2]

실수에서 $x>1$의 진리집합은 $x>0$의 진리집합에 포함된다. 그러므로 $x>1$은 $x>0$의 충분조건이고, $x>0$은 $x>1$의 필요조건이다.^[3]

필요조건과 충분조건은 용어의 적용이나 현상의 발생을 정밀하게 규정하는 데도 쓰인다. 물과 산소는 인간 생명의 필요조건으로 제시되며, 전통적 정의에서는 Bow Bells 소리 범위 안에서 태어났다는 조건이 Cockney에 대한 필요조건이자 충분조건이다.^[1][4]

충분조건과 필요조건은 다른 말만으로 간단히 정의하기 어려운 기본 개념으로 다뤄진다. 이 개념들을 정의하려는 과정에는 체계적인 모호성이 나타날 수 있다.^[1][4]

이러한 정의상의 어려움은 조건문에서 ‘if’를 사용하는 방식과 연결된 문제로도 다뤄진다. 조건문의 방향과 조건의 역할을 함께 살피면 충분조건과 필요조건의 관계를 구분할 수 있다.^[1][4]

• 필요조건
• 필요충분조건
• 조건문
• 진리집합

^[1] Pplato.stanford.edu(새 탭에서 열림)

^[2] Uunisquads.io(새 탭에서 열림)

^[3] Jjungjinmath.imweb.me(새 탭에서 열림)

^[4] Sseop.illc.uva.nl(새 탭에서 열림)