9.10 복합 명제의 진리값 계산

1. 절의 학술적 목표

본 절은 명제 논리에서 복합 명제의 진리값을 계산하는 방법을 학술적으로 검토하는 것을 목표로 한다. 복합 명제는 원자 명제와 논리 연산자의 결합으로 구성되며, 그 진리값은 구성 명제의 진리값과 연산자의 진리 함수에 의하여 결정된다. 본 절은 진리값 계산의 원리, 단계적 절차, 구문 분석 나무, 재귀적 정의, 계산 예시를 체계적으로 정리한다.

2. 진리값 계산의 일반 원리

복합 명제의 진리값 계산은 진리 함수성(truth-functionality)의 원리에 기반한다. 이 원리에 따르면 복합 명제의 진리값은 구성 명제의 진리값에 의하여 완전히 결정된다. 따라서 복합 명제의 진리값을 계산하기 위해서는 원자 명제에 진리값을 할당하고, 공식의 구조에 따라 단계적으로 연산자의 진리 함수를 적용한다(Wittgenstein, 1921).

3. 진리값 할당의 정의

진리값 할당(truth value assignment)은 원자 명제의 집합에서 진리값의 집합 {T, F}로의 함수이다. 형식적으로, 원자 명제의 집합을 V라고 하면, 진리값 할당은 v: V → {T, F}로 정의된다. 이러한 할당은 명제 논리의 의미론적 해석의 기본 단위이며, 모든 진리값 계산은 특정 할당을 전제로 한다(Mendelson, 2015).

4. 진리값 함수의 재귀적 정의

복합 명제의 진리값은 다음의 재귀적 정의에 의하여 결정된다. 첫째, 원자 명제 P의 진리값은 할당 v에 의하여 v(P)로 주어진다. 둘째, “¬A“의 진리값은 A의 진리값의 부정이다. 셋째, “A ∧ B“의 진리값은 A와 B가 모두 참일 때에만 참이다. 넷째, “A ∨ B“의 진리값은 A와 B 중 적어도 하나가 참일 때 참이다. 다섯째, “A → B“의 진리값은 A가 참이고 B가 거짓인 경우에만 거짓이다. 여섯째, “A ↔ B“의 진리값은 A와 B의 진리값이 같을 때 참이다. 이러한 재귀적 정의는 모든 복합 공식의 진리값을 일관되게 결정한다(Enderton, 2001).

5. 구문 분석 나무

복합 공식의 진리값 계산은 공식의 구문 분석 나무(parse tree)에 따라 진행된다. 구문 분석 나무는 공식을 그 부분 공식으로 분해한 트리 구조이며, 잎 노드는 원자 명제, 내부 노드는 논리 연산자에 대응한다. 진리값 계산은 잎 노드에서 시작하여 위로 진행되며, 각 단계에서 해당 연산자의 진리 함수를 적용한다. 이러한 계산은 공식의 구문 구조에 본질적으로 의존한다(Mendelson, 2015).

6. 단계적 계산 절차

복합 명제의 진리값 계산은 다음의 단계적 절차에 따라 진행된다. 첫째, 공식의 구문 구조를 파악한다. 둘째, 가장 안쪽의 부분 공식부터 진리값을 계산한다. 셋째, 점차 바깥쪽으로 이동하면서 부분 공식의 진리값을 계산한다. 넷째, 최종적으로 전체 공식의 진리값에 도달한다. 이러한 절차는 진리값 계산을 기계적으로 수행할 수 있게 한다(Copi, Cohen, & McMahon, 2014).

7. 계산 예시: 두 원자 명제

예를 들어 P가 참이고 Q가 거짓이라고 가정하자. 공식 “(P ∨ Q) ∧ ¬Q“의 진리값을 계산한다. 첫째, “P ∨ Q“의 진리값은 P가 참이므로 참이다. 둘째, “¬Q“의 진리값은 Q가 거짓이므로 참이다. 셋째, “(P ∨ Q) ∧ ¬Q“의 진리값은 두 부분이 모두 참이므로 참이다. 따라서 주어진 할당에서 공식의 진리값은 참이다(Enderton, 2001).

8. 계산 예시: 세 원자 명제

P가 참, Q가 참, R이 거짓이라고 가정하자. 공식 “(P → Q) ∧ (Q → R)“의 진리값을 계산한다. 첫째, “P → Q“의 진리값은 P와 Q가 모두 참이므로 참이다. 둘째, “Q → R“의 진리값은 Q가 참이고 R이 거짓이므로 거짓이다. 셋째, “(P → Q) ∧ (Q → R)“의 진리값은 둘째 부분이 거짓이므로 거짓이다. 따라서 주어진 할당에서 공식의 진리값은 거짓이다(Mendelson, 2015).

9. 모든 할당에 대한 계산

특정 할당이 아닌 모든 가능한 진리값 할당에 대하여 공식의 진리값을 계산하면, 그 결과는 공식의 진리표가 된다. n개의 원자 명제에 대한 진리표는 2^n개의 행을 가지며, 각 행은 하나의 할당과 그에 대응하는 공식의 진리값을 포함한다. 이러한 전체 계산은 공식의 의미를 완전히 규정한다(Mendelson, 2015).

10. 진리값 계산과 공식의 의미

복합 명제의 진리값 계산은 공식의 의미를 형식적으로 결정하는 절차이다. 명제 논리에서 공식의 의미는 그것의 진리값 함수, 즉 모든 진리값 할당에 대한 진리값의 집합으로 정의된다. 두 공식이 같은 진리값 함수를 가지면 의미론적으로 동치이다. 진리값 계산은 이러한 의미를 구체적으로 산출하는 방법이다(Tarski, 1944).

11. 진리값 계산의 학술적 의의

복합 명제의 진리값 계산은 다음과 같은 학술적 의의를 가진다. 첫째, 그것은 명제 논리의 의미론을 구체적으로 실현한다. 둘째, 그것은 공식의 의미를 기계적으로 결정할 수 있게 한다. 셋째, 그것은 명제 논리의 결정 가능성의 구체적 사례이다. 넷째, 그것은 논리적 성질의 판정과 추론 검증의 기본 도구이다(Enderton, 2001).

12. 본 절의 결론적 정리

복합 명제의 진리값 계산은 진리 함수성의 원리에 기반하며, 원자 명제의 진리값과 연산자의 진리 함수로부터 단계적으로 진행된다. 계산은 공식의 구문 분석 나무에 따라 안에서 밖으로 또는 아래에서 위로 진행되며, 각 단계에서 해당 연산자의 진리 함수를 적용한다. 모든 가능한 진리값 할당에 대한 계산의 결과는 공식의 진리표를 이루며, 공식의 의미를 완전히 규정한다. 학습자는 진리값 계산의 원리와 절차를 정확히 이해하고, 다양한 복합 공식에 적용할 수 있어야 한다.

13. 출처

• Wittgenstein, L. (1921). Logisch-philosophische Abhandlung. Annalen der Naturphilosophie, 14, 185–262.
• Tarski, A. (1944). The semantic conception of truth and the foundations of semantics. Philosophy and Phenomenological Research, 4(3), 341–376.
• 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