9.9 진리표 작성의 일반 절차

1. 절의 학술적 목표

본 절은 명제 논리에서 임의의 복합 공식에 대한 진리표를 체계적으로 작성하는 일반 절차를 학술적으로 검토하는 것을 목표로 한다. 진리표 작성은 명제 논리의 의미론적 분석에서 가장 기본적인 기법이며, 공식의 진리값을 모든 가능한 진리값 할당에 대하여 기계적으로 계산하는 방법이다. 본 절은 원자 명제의 식별, 행의 수와 순서 결정, 열의 구성, 진리값의 단계적 계산 등 진리표 작성의 표준 절차를 체계적으로 정리한다.

2. 진리표 작성의 일반 원리

진리표 작성은 다음의 일반 원리에 따라 진행된다. 첫째, 공식에 포함된 원자 명제를 식별한다. 둘째, 원자 명제의 모든 가능한 진리값 할당을 행으로 나열한다. 셋째, 공식의 하위 표현을 단계적으로 계산하여 열로 추가한다. 넷째, 최종적으로 전체 공식의 진리값을 계산한다. 이러한 절차는 공식의 구문 구조에 따라 아래에서 위로 진행되는 계산 과정이다(Mendelson, 2015).

3. 원자 명제의 식별

진리표 작성의 첫 단계는 공식에 포함된 원자 명제를 식별하는 것이다. 원자 명제는 더 이상 분해되지 않는 명제 변항이며, 일반적으로 P, Q, R 등의 기호로 표기된다. 공식에 포함된 서로 다른 원자 명제의 수를 n이라고 하면, 진리표는 2^n개의 행을 가지게 된다(Enderton, 2001).

4. 행의 수와 구성

n개의 원자 명제에 대한 진리표는 2^n개의 행을 가진다. 각 행은 원자 명제에 대한 하나의 진리값 할당에 대응한다. 예를 들어 원자 명제가 P와 Q 두 개이면 진리표는 4개의 행(TT, TF, FT, FF)을 가지며, P, Q, R 세 개이면 8개의 행을 가진다. 이러한 기하급수적 증가는 원자 명제의 수가 많은 경우 진리표 작성의 실용적 한계를 보여 준다(Mendelson, 2015).

5. 진리값 할당의 표준 순서

진리값 할당은 일반적으로 표준화된 순서에 따라 나열된다. 가장 흔한 관행은 이진수 카운팅 순서이며, T를 1, F를 0으로 두고 가장 큰 자릿수가 가장 천천히 변하도록 한다. 예를 들어 P, Q 두 변항의 경우 (T, T), (T, F), (F, T), (F, F)의 순서로 나열된다. 이러한 표준 순서는 진리표의 가독성을 높이고, 다른 진리표와의 비교를 용이하게 한다(Copi, Cohen, & McMahon, 2014).

6. 열의 구성

진리표의 열은 원자 명제와 공식의 하위 표현, 그리고 최종 공식으로 구성된다. 일반적으로 원자 명제의 열을 가장 왼쪽에 두고, 점차 복잡한 하위 표현을 오른쪽으로 추가하며, 전체 공식의 열을 가장 오른쪽에 둔다. 이러한 구성은 진리값 계산의 진행 방향을 시각적으로 표현한다(Mendelson, 2015).

7. 하위 표현의 단계적 계산

복합 공식의 진리값은 하위 표현의 진리값으로부터 단계적으로 계산된다. 이 과정은 공식의 구문 분석 나무에 따라 안에서 밖으로, 또는 아래에서 위로 진행된다. 각 단계에서 해당 연산자의 진리 함수를 적용하며, 최종적으로 전체 공식의 진리값에 도달한다. 이러한 단계적 계산은 진리표 작성의 핵심 원리이다(Enderton, 2001).

8. 연산자의 우선순위와 괄호

진리표 작성에서는 연산자의 우선순위와 괄호의 사용이 정확히 인식되어야 한다. 표준 우선순위는 부정, 연언, 선언, 조건, 쌍조건의 순서이며, 괄호가 있는 경우 괄호 안의 표현이 먼저 계산된다. 우선순위와 괄호를 정확히 적용하지 않으면 진리표 결과가 달라질 수 있다(Quine, 1982).

9. 진리표 작성 예시

예를 들어 공식 “(P ∧ Q) → ¬R“의 진리표를 작성한다고 하자. 첫째, 원자 명제는 P, Q, R 세 개이므로 진리표는 8개의 행을 가진다. 둘째, 표준 순서로 진리값 할당을 나열한다. 셋째, 하위 표현 “P ∧ Q“의 열을 추가한다. 넷째, 하위 표현 “¬R“의 열을 추가한다. 다섯째, 전체 공식 “(P ∧ Q) → ¬R“의 열을 두 하위 표현의 진리값으로부터 계산한다. 이러한 단계적 진행은 진리표 작성의 표준 절차이다(Copi, Cohen, & McMahon, 2014).

10. 진리표 작성에서의 주의 사항

진리표 작성에서는 다음과 같은 주의 사항이 있다. 첫째, 모든 원자 명제를 빠짐없이 식별해야 한다. 둘째, 진리값 할당의 표준 순서를 일관되게 유지해야 한다. 셋째, 연산자의 우선순위와 괄호를 정확히 적용해야 한다. 넷째, 각 열의 계산을 정확히 수행해야 한다. 이러한 주의 사항을 지키지 않으면 진리표의 결과가 잘못될 수 있다(Mendelson, 2015).

11. 진리표 작성의 효율성

진리표 작성의 효율성은 원자 명제의 수에 의하여 결정된다. n개의 원자 명제에 대하여 진리표는 2^n개의 행을 가지므로, 원자 명제의 수가 증가할 때 작업량이 기하급수적으로 증가한다. 예를 들어 5개의 원자 명제는 32행, 10개의 원자 명제는 1024행을 요구한다. 이러한 한계는 진리표 방법이 작은 공식에 가장 적합함을 보여 준다(Mendelson, 2015).

12. 본 절의 결론적 정리

진리표 작성의 일반 절차는 원자 명제의 식별, 진리값 할당의 표준 순서에 따른 행의 나열, 하위 표현의 단계적 계산, 전체 공식의 진리값 계산으로 구성된다. 이 절차는 명제 논리의 의미론적 분석의 가장 기본적인 기법이며, 임의의 복합 공식의 진리값을 모든 진리값 할당에 대하여 기계적으로 결정한다. 진리표 작성은 원자 명제의 수에 대하여 기하급수적인 작업량을 요구하므로, 작은 공식에 가장 적합하다. 학습자는 진리표 작성의 표준 절차를 정확히 이해하고, 다양한 복합 공식에 적용할 수 있어야 한다.

13. 출처

• Quine, W. V. O. (1982). Methods of Logic (4th ed.). Cambridge, MA: Harvard University 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