9.11 항진명제의 개념

1. 절의 학술적 목표

본 절은 명제 논리에서 항진명제(tautology)의 개념을 학술적으로 검토하는 것을 목표로 한다. 항진명제는 모든 진리값 할당에 대하여 참인 복합 명제이며, 명제 논리의 의미론적 분석에서 핵심적 역할을 한다. 본 절은 항진명제의 형식적 정의, 판별 방법, 주요 예시, 학술적 의의를 체계적으로 정리한다.

2. 항진명제의 학술적 정의

항진명제는 그 구성 명제의 모든 가능한 진리값 할당에 대하여 진리값이 참인 복합 명제이다. 형식적으로, 명제 A가 항진명제라는 것은 임의의 진리값 할당 v에 대하여 v(A) = T가 성립함을 의미한다. 항진명제는 논리적 진리(logical truth)의 명제 논리적 표현이며, 그 진리는 구성 명제의 진리값과 무관하게 형식적 구조에 의하여 보장된다(Wittgenstein, 1921).

3. 항진명제의 진리표적 특성

항진명제는 진리표에서 마지막 열의 모든 행이 T를 가지는 공식이다. 즉, 모든 진리값 할당에 대하여 결과가 참이다. 이러한 특성은 항진명제를 진리표 방법으로 기계적으로 판정할 수 있게 한다. 진리표를 작성하여 마지막 열이 모두 T이면 그 공식은 항진명제이며, 하나라도 F가 있으면 항진명제가 아니다(Mendelson, 2015).

4. 항진명제의 기원과 용어

“tautology“라는 용어는 그리스어 “tauto”(같은)와 “logos”(말)에서 유래하였다. 명제 논리에서 항진명제의 개념을 명시적으로 도입한 것은 루트비히 비트겐슈타인의 1921년 저작 “Logisch-philosophische Abhandlung“이다. 비트겐슈타인은 항진명제를 “어떤 것도 말하지 않는 명제“로 규정하였으며, 이는 항진명제가 정보 내용 없이 항상 참임을 강조하는 표현이다(Wittgenstein, 1921).

5. 항진명제의 주요 예시: 동일률

동일률(law of identity)을 표현하는 “P → P“는 항진명제이다. 이 공식은 P가 참일 때나 거짓일 때 모두 참이며, 따라서 모든 진리값 할당에 대하여 참이다. 동일률은 고전 논리의 가장 기본적인 항진명제 중 하나이며, 어떤 명제가 자기 자신을 함축한다는 자명한 진리를 표현한다(Aristoteles, trans. 1984).

6. 항진명제의 주요 예시: 배중률

배중률(law of excluded middle)을 표현하는 “P ∨ ¬P“는 항진명제이다. P가 참이면 P가 참이고, P가 거짓이면 ¬P가 참이므로, 두 경우 모두 선언이 참이다. 배중률은 고전 논리의 기본 법칙이며, 어떤 명제와 그 부정 중 적어도 하나는 반드시 참이라는 원리를 표현한다(Aristoteles, trans. 1984).

7. 항진명제의 주요 예시: 모순률

모순률(law of non-contradiction)을 표현하는 “¬(P ∧ ¬P)“는 항진명제이다. 어떤 명제와 그 부정이 동시에 참일 수 없으므로, “P ∧ ¬P“는 항상 거짓이며, 그 부정인 “¬(P ∧ ¬P)“는 항상 참이다. 모순률은 고전 논리뿐만 아니라 대부분의 논리 체계에서 기본 원리로 인정된다(Aristoteles, trans. 1984).

8. 항진명제의 다른 예시

다양한 공식이 항진명제의 예시가 된다. 첫째, 이중 부정 법칙: “P ↔ ¬¬P”. 둘째, 전건 긍정의 형식: “((P → Q) ∧ P) → Q”. 셋째, 후건 부정의 형식: “((P → Q) ∧ ¬Q) → ¬P”. 넷째, 가설적 삼단논법의 형식: “((P → Q) ∧ (Q → R)) → (P → R)”. 이러한 항진명제들은 명제 논리의 기본 추론 규칙에 대응한다(Mendelson, 2015).

9. 항진명제와 논리적 진리

항진명제는 명제 논리에서 논리적 진리의 형식적 표현이다. 논리적 진리는 그 진리가 구성 요소의 의미가 아니라 형식적 구조에 의하여 결정되는 명제이다. 명제 논리에서 모든 항진명제는 논리적 진리이며, 역으로 명제 논리의 모든 논리적 진리는 항진명제이다. 이러한 동치 관계는 명제 논리 의미론의 핵심 결과 중 하나이다(Tarski, 1936).

10. 항진명제의 판정

복합 공식이 항진명제인지 판정하는 가장 기본적인 방법은 진리표를 작성하여 마지막 열을 검사하는 것이다. 모든 행에서 결과가 T이면 항진명제이고, 하나라도 F가 있으면 항진명제가 아니다. 이러한 판정 방법은 항상 종료되며, 명제 논리가 결정 가능(decidable)함을 보여 준다(Post, 1921).

11. 항진명제의 학술적 의의

항진명제는 다음과 같은 학술적 의의를 가진다. 첫째, 그것은 명제 논리에서 논리적 진리의 형식적 정의를 제공한다. 둘째, 그것은 추론 규칙의 형식적 정당화의 기초이다. 셋째, 그것은 명제 논리의 결정 가능성의 구체적 사례이다. 넷째, 그것은 공리 체계의 정리(theorem)와 일치하며, 명제 논리의 완전성과 건전성의 분석 대상이 된다(Enderton, 2001).

12. 본 절의 결론적 정리

항진명제는 모든 진리값 할당에 대하여 참인 복합 명제이며, 명제 논리에서 논리적 진리의 형식적 표현이다. 항진명제는 진리표 방법으로 기계적으로 판정될 수 있으며, 진리표의 마지막 열이 모두 T인 공식이다. 동일률, 배중률, 모순률, 이중 부정 법칙 등이 대표적인 항진명제이며, 이들은 고전 논리의 기본 원리를 표현한다. 항진명제의 개념은 명제 논리의 의미론과 추론 체계의 분석에서 핵심적 역할을 한다. 학습자는 항진명제의 정의와 판정 방법, 주요 예시를 정확히 이해하고, 명제 논리적 분석에 활용할 수 있어야 한다.

13. 출처

• Aristoteles. (trans. 1984). The Complete Works of Aristotle (J. Barnes, Ed.). Princeton: Princeton University Press.
• Wittgenstein, L. (1921). Logisch-philosophische Abhandlung. Annalen der Naturphilosophie, 14, 185–262.
• Post, E. L. (1921). Introduction to a general theory of elementary propositions. American Journal of Mathematics, 43(3), 163–185.
• Tarski, A. (1936). Über den Begriff der logischen Folgerung. Actes du Congrès International de Philosophie Scientifique, 7, 1–11.
• Enderton, H. B. (2001). A Mathematical Introduction to Logic (2nd ed.). San Diego: Academic Press.
• Mendelson, E. (2015). Introduction to Mathematical Logic (6th ed.). Boca Raton: CRC Press.

14. 버전

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