9.7 조건의 정의와 진리표

1. 절의 학술적 목표

본 절은 명제 논리의 조건(conditional) 연산자의 형식적 정의와 진리표를 학술적으로 검토하는 것을 목표로 한다. 조건은 두 명제 사이에 “만약 ~이면, ~이다“라는 함축 관계를 표현하는 이항 진리 함수이며, 명제 논리의 가장 미묘하고 논쟁적인 연산 중 하나이다. 본 절은 조건의 정의, 기호, 진리표, 자연 언어 표현, 실질 함의의 역설 등을 체계적으로 정리한다.

2. 조건의 학술적 정의

조건은 이항 진리 함수이며, 전건(antecedent)이 참이고 후건(consequent)이 거짓인 경우에만 거짓을 산출하고, 그 외의 모든 경우에는 참을 산출한다. 형식적으로, 두 명제 P와 Q에 대한 조건은 “P → Q“로 표기되며, 여기서 P는 전건, Q는 후건이라고 부른다. 이러한 정의는 실질 함의(material implication)로 알려져 있다(Frege, 1879).

3. 조건의 기호

조건의 표준 기호는 “→”(rightward arrow)이다. 대안적 기호로는 “⊃”(horseshoe)가 있으며, 화이트헤드와 러셀의 “Principia Mathematica“에서는 “⊃“가 사용되었다. 현대 논리학에서는 “→“가 더 널리 사용된다. 문헌에 따라 “P → Q”, “P ⊃ Q”, “P ⇒ Q“가 사용되지만, 명제 논리의 맥락에서는 모두 동일한 의미를 가진다(Russell & Whitehead, 1910–1913).

4. 조건의 진리표

조건의 진리표는 다음과 같다.

이 진리표는 조건의 의미를 완전히 규정한다. 전건이 참이고 후건이 거짓인 한 가지 경우에만 결과가 거짓이며, 그 외의 모든 경우에는 결과가 참이다. 특히 전건이 거짓인 경우(셋째와 넷째 행)에는 후건의 진리값과 무관하게 전체 조건이 참이 된다. 이러한 성질은 “거짓으로부터는 어떤 것도 따른다”(ex falso quodlibet)라는 원리와 연관된다(Mendelson, 2015).

5. 조건의 자연 언어 표현

조건은 자연 언어의 여러 표현에 대응한다. 한국어에서 “만약 ~이면”, “~인 경우 ~이다”, “~이라면 ~이다” 등의 표현이 조건으로 번역된다. 영어의 “if … then …”, “implies”, “only if” 등도 조건에 대응한다. 예를 들어 “비가 오면 길이 젖는다“는 P를 “비가 온다”, Q를 “길이 젖는다“로 두면 “P → Q“로 표기된다(Copi, Cohen, & McMahon, 2014).

6. 전건과 후건의 비대칭성

조건은 전건과 후건의 위치를 바꾸면 일반적으로 동치가 아니다. 즉, “P → Q“와 “Q → P“는 다른 진리 조건을 가진다. 후자는 전자의 역(converse)이라고 부르며, 두 조건이 동시에 성립할 때만 두 명제가 동치이다. 이러한 비대칭성은 조건의 본질적 성질이며, 함축 관계의 방향성을 반영한다(Mendelson, 2015).

7. 실질 함의의 역설

실질 함의로서의 조건은 자연 언어의 직관과 일치하지 않는 결과를 낳는다. 이를 실질 함의의 역설(paradoxes of material implication)이라고 부른다. 첫째, 전건이 거짓이면 후건의 내용과 무관하게 조건이 참이다. 예를 들어 “달이 치즈로 만들어졌다면 2 + 2 = 5이다“는 전건이 거짓이므로 형식적으로 참이다. 둘째, 후건이 참이면 전건의 내용과 무관하게 조건이 참이다. 이러한 역설은 실질 함의가 자연 언어의 인과적·의미적 함의를 완전히 포착하지 못함을 보여 준다(Lewis, 1912).

8. 조건과 다른 연산자의 관계

조건은 다른 논리 연산자와 여러 동치 관계를 통하여 연결된다. 첫째, “P → Q ≡ ¬P ∨ Q“가 성립한다. 이 관계는 조건이 부정과 선언만으로 표현될 수 있음을 보여 준다. 둘째, “P → Q ≡ ¬(P ∧ ¬Q)“가 성립한다. 셋째, 대우(contrapositive)의 동치: “P → Q ≡ ¬Q → ¬P”. 이러한 관계들은 조건을 포함하는 공식의 변형에 활용된다(Enderton, 2001).

9. 역, 이, 대우

조건 “P → Q“에 대하여 다음 세 가지 관련 명제가 정의된다. 첫째, 역(converse): “Q → P”. 둘째, 이(inverse): “¬P → ¬Q”. 셋째, 대우(contrapositive): “¬Q → ¬P”. 이 중 대우는 원래 조건과 논리적 동치이지만, 역과 이는 일반적으로 원래 조건과 동치가 아니다. 역과 이는 서로 동치이며, 이 관계는 명제 논리의 분석에서 중요한 도구이다(Copi, Cohen, & McMahon, 2014).

10. 조건과 항진·모순

조건은 항진명제 및 모순명제와 다음과 같은 관계를 가진다. 첫째, “P → P“는 항상 참이며, 이는 동일률(law of identity)의 표현이다. 둘째, “F → P“는 항상 참이며, 이는 거짓 전건의 성질을 반영한다. 셋째, “P → T“는 항상 참이며, 이는 참 후건의 성질을 반영한다. 넷째, “T → P ≡ P“가 성립한다. 이러한 성질들은 조건을 포함하는 공식 단순화의 기본 규칙을 이룬다(Mendelson, 2015).

11. 조건과 추론

조건은 명제 논리의 추론 규칙과 밀접히 연관된다. 가장 기본적인 추론 규칙은 전건 긍정(modus ponens)이며, “P → Q“와 “P“로부터 “Q“를 도출한다. 또 다른 기본 규칙은 후건 부정(modus tollens)이며, “P → Q“와 “¬Q“로부터 “¬P“를 도출한다. 이러한 규칙들은 조건의 진리 함수적 정의로부터 직접 도출되며, 명제 논리의 추론 체계의 핵심을 이룬다(Mendelson, 2015).

12. 본 절의 결론적 정리

조건은 이항 진리 함수이며, 전건이 참이고 후건이 거짓인 경우에만 거짓을 산출하는 연산이다. 표준 명제 논리에서 채택되는 실질 함의의 진리표는 네 가지 진리값 할당 중 한 가지 경우에만 거짓을 산출한다. 조건은 전건과 후건의 위치 교환에 대하여 비대칭적이며, 대우는 원래 조건과 동치이지만 역과 이는 일반적으로 동치가 아니다. 실질 함의는 자연 언어의 직관과 일치하지 않는 역설을 가지지만, 형식 논리의 명료성과 추론 규칙의 단순성을 위하여 표준 체계에서 채택된다. 학습자는 조건의 형식적 정의와 성질을 정확히 이해하고, 추론과 분석에 활용할 수 있어야 한다.

13. 출처

• Frege, G. (1879). Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: Louis Nebert.
• Russell, B., & Whitehead, A. N. (1910–1913). Principia Mathematica (Vols. 1–3). Cambridge: Cambridge University Press.
• Lewis, C. I. (1912). Implication and the algebra of logic. Mind, 21(84), 522–531.
• Enderton, H. B. (2001). A Mathematical Introduction to Logic (2nd ed.). San Diego: Academic Press.
• Copi, I. M., Cohen, C., & McMahon, K. (2014). Introduction to Logic (14th ed.). London: Routledge.
• Mendelson, E. (2015). Introduction to Mathematical Logic (6th ed.). Boca Raton: CRC Press.

14. 버전

• 문서 버전: 1.0
• 작성 기준일: 2026-04-15