8.5 논리 상항의 종류

1. 절의 학술적 목표

본 절은 명제 논리에서 사용되는 논리 상항(logical constant)의 종류를 학술적으로 검토하는 것을 목표로 한다. 논리 상항은 고정된 논리적 의미를 가진 기호이며, 명제 변항과 결합하여 복합 명제를 구성하거나 특정 진리값을 나타낸다. 본 절은 주요 논리 상항의 정의, 분류, 기호적 표현, 그리고 학술적 역할을 체계적으로 정리한다.

2. 논리 상항의 개념

논리 상항은 해석에 따라 달라지지 않는 고정된 의미를 가진 논리 기호이다. 명제 변항이 임의의 명제를 나타내는 반면, 논리 상항은 특정 논리적 역할을 수행한다. 논리 상항에는 논리 연결사와 진리값 상수가 포함되며, 이들은 명제 논리의 형식 언어의 의미 구조를 결정한다(Enderton, 2001).

3. 단항 논리 연결사: 부정

부정(negation, ¬)은 단항 연결사이며, 하나의 명제를 입력으로 받아 그 명제의 진리값을 반대로 바꾼다. 형식적으로 “¬P“는 “P가 참이면 거짓이고, P가 거짓이면 참“이라는 진리값 조건을 가진다. 부정은 단항 연결사 중 유일한 고전 논리의 기본 연결사이다(Mendelson, 2015).

4. 연언

연언(conjunction, ∧)은 이항 연결사이며, 두 명제를 입력으로 받아 두 명제가 모두 참인 경우에만 참이 되는 복합 명제를 산출한다. “P ∧ Q“는 “P이고 Q이다“로 해석되며, 진리값 조건은 P와 Q가 모두 참일 때에만 참이다. 연언은 일상 언어의 접속사 “그리고“에 대응하지만, 진리값 함수적 측면에서만 그렇다(Copi, Cohen, & McMahon, 2014).

5. 선언

선언(disjunction, ∨)은 이항 연결사이며, 두 명제 중 적어도 하나가 참인 경우에 참이 되는 복합 명제를 산출한다. “P ∨ Q“는 “P이거나 Q이다“로 해석되며, 이는 포괄적 선언(inclusive disjunction)이다. 포괄적 선언은 두 구성 명제가 모두 참인 경우에도 참이 된다. 이와 달리 배타적 선언(exclusive disjunction)은 두 명제 중 정확히 하나만 참인 경우에 참이 된다(Mendelson, 2015).

6. 조건

조건(conditional, →)은 이항 연결사이며, “P → Q“는 “P이면 Q이다“로 해석된다. 실질 함의(material implication)로 불리는 이 연결사는 전건이 참이고 후건이 거짓인 경우에만 거짓이 되며, 그 외의 모든 경우에는 참이다. 조건 연결사는 논리적 분석에서 중요한 역할을 하지만, 일상 언어의 조건문과 완전히 일치하지는 않는다(Copi, Cohen, & McMahon, 2014).

7. 쌍조건

쌍조건(biconditional, ↔)은 이항 연결사이며, “P ↔ Q“는 “P일 때 그리고 오직 그 때에만 Q이다“로 해석된다. 쌍조건은 두 명제의 진리값이 일치하는 경우에만 참이 된다. 즉, 두 명제가 모두 참이거나 모두 거짓일 때 참이 되고, 하나가 참이고 다른 하나가 거짓일 때 거짓이 된다(Mendelson, 2015).

8. 진리값 상수

일부 명제 논리 체계에서는 진리값 상수 ⊤(top, 참)과 ⊥(bottom, 거짓)이 논리 상항으로 도입된다. ⊤은 항상 참인 명제를 나타내고, ⊥은 항상 거짓인 명제를 나타낸다. 이러한 상수는 형식적 증명과 공식 조작에서 유용한 역할을 하며, 일부 체계에서는 기본 기호로 채택된다(Enderton, 2001).

9. 셰퍼의 막대와 피어스의 화살표

헨리 셰퍼(Henry Sheffer)는 1913년에 단일 연결사인 “셰퍼의 막대(Sheffer stroke, \vert)“를 소개하였다. “P \vert Q“는 “P와 Q가 모두 참이지는 않다“로 해석되며, 이 연결사만으로 모든 진리값 함수를 표현할 수 있다. 유사하게 찰스 샌더스 퍼스의 이름을 딴 “피어스의 화살표(Peirce arrow, ↓)“는 “P ↓ Q“가 “P도 Q도 참이 아니다“로 해석되는 연결사이며, 이것만으로도 모든 진리값 함수를 표현할 수 있다(Sheffer, 1913).

10. 논리 상항의 진리값 함수

명제 논리의 논리 연결사들은 모두 진리 함수적(truth-functional)이다. 즉, 복합 명제의 진리값은 구성 명제의 진리값에 의하여 완전히 결정된다. 이러한 진리 함수성은 진리표를 통한 의미론적 분석을 가능하게 한다. 고전 명제 논리에서는 n개의 원자 명제에 대하여 2^n개의 진리값 할당이 가능하며, 각 할당에 대한 복합 명제의 진리값은 연결사의 진리값 함수에 의하여 결정된다(Wittgenstein, 1921).

11. 상항의 수와 기능적 완전성

기능적 완전성(functional completeness)은 특정 연결사 집합이 모든 가능한 진리값 함수를 표현할 수 있는 성질이다. 다섯 가지 기본 연결사 {¬, ∧, ∨, →, ↔}은 기능적으로 완전하며, 그 부분 집합 중 {¬, ∧}, {¬, ∨}, {¬, →}도 기능적으로 완전하다. 이러한 성질은 명제 논리의 표현력에 관한 중요한 결과이며, 에밀 포스트(Emil Post)에 의하여 체계적으로 분석되었다(Post, 1921).

12. 본 절의 결론적 정리

명제 논리의 논리 상항은 부정, 연언, 선언, 조건, 쌍조건의 다섯 가지 기본 연결사와 선택적으로 진리값 상수 ⊤ 및 ⊥를 포함한다. 이 연결사들은 모두 진리 함수적이며, 복합 명제의 진리값을 구성 명제의 진리값으로부터 결정한다. 또한 셰퍼의 막대와 피어스의 화살표와 같은 단일 연결사도 기능적 완전성을 가지며, 명제 논리의 표현력에 관한 학술적 분석의 대상이 된다. 학습자는 각 논리 상항의 형식적 의미와 역할을 정확히 이해하여야 한다.

13. 출처

• Wittgenstein, L. (1921). Logisch-philosophische Abhandlung. Annalen der Naturphilosophie, 14, 185–262.
• Sheffer, H. M. (1913). A set of five independent postulates for Boolean algebras, with application to logical constants. Transactions of the American Mathematical Society, 14(4), 481–488.
• Post, E. L. (1921). Introduction to a general theory of elementary propositions. American Journal of Mathematics, 43(3), 163–185.
• 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