9.4 연언의 정의와 진리표

1. 절의 학술적 목표

본 절은 명제 논리의 연언(conjunction) 연산자의 형식적 정의와 진리표를 학술적으로 검토하는 것을 목표로 한다. 연언은 두 명제를 결합하여 “양쪽이 모두 참“임을 주장하는 복합 명제를 산출하는 이항 진리 함수이며, 명제 논리의 가장 기본적인 결합 연산 중 하나이다. 본 절은 연언의 정의, 기호, 진리표, 자연 언어 표현, 대수적 성질을 체계적으로 정리한다.

2. 연언의 학술적 정의

연언은 이항 진리 함수이며, 두 명제가 모두 참일 때에만 참을 산출하는 연산이다. 형식적으로, 두 명제 P와 Q에 대한 연언은 “P ∧ Q“로 표기되며, “P ∧ Q“가 참이 되기 위한 필요충분조건은 P가 참이고 Q도 참인 것이다. 이러한 정의는 연언 연산의 본질을 진리 함수적으로 규정한다(Enderton, 2001).

3. 연언의 기호

연언의 표준 기호는 “∧”(wedge)이다. 대안적 기호로는 “&”(ampersand), “·”(중점), 단순한 병치(juxtaposition)가 사용되기도 한다. 문헌에 따라 “P ∧ Q”, “P & Q”, “P · Q”, “PQ“가 사용되지만 모두 동일한 의미를 가진다. 화이트헤드와 러셀의 “Principia Mathematica“에서는 점 기호(”·“)가 사용되었으며, 현대에는 “∧“가 표준으로 정착되었다(Russell & Whitehead, 1910–1913).

4. 연언의 진리표

연언의 진리표는 다음과 같다.

이 진리표는 연언의 의미를 완전히 규정한다. 두 입력 명제가 모두 참인 경우에만 결과가 참이며, 그 외의 모든 경우에는 결과가 거짓이다. 연언은 진리값의 최소(minimum) 연산으로 해석될 수 있으며, T를 1, F를 0으로 두면 P ∧ Q의 값은 min(P, Q)와 일치한다(Mendelson, 2015).

5. 연언의 자연 언어 표현

연언은 자연 언어의 여러 접속 표현에 대응한다. 한국어에서 “그리고”, “이며”, “이고”, “또한”, “동시에”, “뿐만 아니라” 등의 표현이 연언으로 번역된다. 영어의 “and”, “but”, “however”, “although”, “moreover” 등도 진리 함수적 분석에서 연언으로 처리된다. 예를 들어 “비가 온다 그리고 바람이 분다“는 P를 “비가 온다”, Q를 “바람이 분다“로 두면 “P ∧ Q“로 표기된다(Copi, Cohen, & McMahon, 2014).

6. 자연 언어 연언과 형식 연언의 차이

자연 언어의 접속 표현은 진리 함수적 연언으로 완전히 포착되지 않는 함의를 가질 수 있다. 예를 들어 “그는 결혼하였다 그리고 아이를 가졌다“와 “그는 아이를 가졌다 그리고 결혼하였다“는 자연 언어에서는 시간적 순서나 인과 관계의 함의가 다르지만, 진리 함수적 연언의 관점에서는 동일한 진리값을 가진다. 이러한 차이는 자연 언어의 함축(implicature)에 관한 화용론적 분석의 대상이다(Grice, 1975).

7. 연언의 교환 법칙

연언은 교환 법칙(commutative law)을 만족한다. 즉, “P ∧ Q ≡ Q ∧ P“가 성립한다. 두 표현의 진리값은 모든 진리값 할당에 대하여 동일하며, 이는 진리표의 대칭성으로부터 직접 확인된다. 교환 법칙은 연언의 형식적 조작에서 자유롭게 활용된다(Mendelson, 2015).

8. 연언의 결합 법칙

연언은 결합 법칙(associative law)을 만족한다. 즉, “(P ∧ Q) ∧ R ≡ P ∧ (Q ∧ R)“이 성립한다. 따라서 세 명제 이상의 연언에서는 괄호의 위치를 자유롭게 변경할 수 있으며, 관행적으로 “P ∧ Q ∧ R“과 같이 괄호를 생략하여 표기하기도 한다. 결합 법칙은 다항 연언의 표기를 단순화한다(Mendelson, 2015).

9. 연언의 멱등 법칙

연언은 멱등 법칙(idempotent law)을 만족한다. 즉, “P ∧ P ≡ P“가 성립한다. 같은 명제를 자기 자신과 연언하면 원래 명제와 동치가 된다. 이는 연언이 진리값을 단순히 결합하는 것이 아니라, 진리값의 최소를 산출하는 함수임을 반영한다(Enderton, 2001).

10. 연언과 다른 연산자의 관계

연언은 다른 논리 연산자와 여러 동치 관계를 통하여 연결된다. 첫째, 드 모르간 법칙: “¬(P ∧ Q) ≡ (¬P ∨ ¬Q)”. 둘째, 분배 법칙: “P ∧ (Q ∨ R) ≡ (P ∧ Q) ∨ (P ∧ R)”. 셋째, 흡수 법칙: “P ∧ (P ∨ Q) ≡ P”. 이러한 관계들은 연언을 포함하는 공식의 변형과 단순화에 활용된다(De Morgan, 1847).

11. 연언과 항진·모순

연언은 항진명제 및 모순명제와 다음과 같은 관계를 가진다. 첫째, 임의의 명제 P에 대하여 “P ∧ T ≡ P“가 성립한다(여기서 T는 항상 참인 명제). 둘째, “P ∧ F ≡ F“가 성립한다(여기서 F는 항상 거짓인 명제). 셋째, “P ∧ ¬P ≡ F“가 성립하며, 이는 모순률의 직접적 결과이다. 이러한 성질들은 공식 단순화의 기본 규칙을 이룬다(Mendelson, 2015).

12. 본 절의 결론적 정리

연언은 이항 진리 함수이며, 두 명제가 모두 참일 때에만 참을 산출하는 연산이다. 연언의 진리표는 네 가지 진리값 할당에 대하여 한 가지 경우(P와 Q가 모두 참)에만 참을 산출한다. 연언은 교환 법칙, 결합 법칙, 멱등 법칙을 만족하며, 드 모르간 법칙과 분배 법칙을 통하여 다른 논리 연산자와 연결된다. 자연 언어의 접속 표현은 형식적 연언으로 완전히 포착되지 않는 함의를 가질 수 있으며, 이는 화용론적 분석의 대상이다. 학습자는 연언의 형식적 정의와 성질을 정확히 이해하고, 복합 명제의 분석에 활용할 수 있어야 한다.

13. 출처

• De Morgan, A. (1847). Formal Logic: or, The Calculus of Inference, Necessary and Probable. London: Taylor and Walton.
• Russell, B., & Whitehead, A. N. (1910–1913). Principia Mathematica (Vols. 1–3). Cambridge: Cambridge University Press.
• Grice, H. P. (1975). Logic and conversation. In P. Cole & J. L. Morgan (Eds.), Syntax and Semantics, Volume 3: Speech Acts (pp. 41–58). New York: Academic Press.
• 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