9.14 진리표를 이용한 타당성 판정

1. 절의 학술적 목표

본 절은 진리표를 이용하여 명제 논리의 논증의 타당성(validity)을 판정하는 방법을 학술적으로 검토하는 것을 목표로 한다. 진리표 방법은 명제 논리에서 논증의 타당성을 기계적으로 판정할 수 있는 가장 기본적인 절차이며, 명제 논리의 결정 가능성의 구체적 사례이다. 본 절은 타당성의 정의, 진리표 판정의 원리, 표준 절차, 예시, 한계를 체계적으로 정리한다.

2. 타당성의 형식적 정의

명제 논리의 논증이 타당하다는 것은 전제가 모두 참인 모든 진리값 할당에서 결론도 참임을 의미한다. 형식적으로, 전제 P_1, P_2, …, P_n과 결론 Q를 가진 논증이 타당하기 위한 필요충분조건은 “v(P_1) = v(P_2) = … = v(P_n) = T“인 모든 진리값 할당 v에 대하여 v(Q) = T가 성립하는 것이다. 이러한 정의는 타당성을 진리값 할당에 관한 보편적 조건으로 규정한다(Tarski, 1936).

3. 진리표 판정의 원리

진리표 방법에 의한 타당성 판정의 원리는 다음과 같다. 첫째, 논증의 모든 전제와 결론을 포함하는 진리표를 작성한다. 둘째, 모든 전제가 참인 행을 식별한다. 셋째, 그러한 모든 행에서 결론도 참인지 확인한다. 모든 전제가 참인 모든 행에서 결론도 참이면 논증은 타당하고, 그러한 행 중 결론이 거짓인 행이 하나라도 있으면 논증은 부당하다(Mendelson, 2015).

4. 진리표 판정의 표준 절차

진리표를 이용한 타당성 판정의 표준 절차는 다음과 같다. 첫째, 논증에 포함된 원자 명제를 식별한다. 둘째, 원자 명제의 모든 진리값 할당을 행으로 나열한다. 셋째, 각 전제와 결론에 대한 열을 추가하고 진리값을 계산한다. 넷째, 모든 전제가 참인 행을 찾는다. 다섯째, 그러한 행에서 결론의 진리값을 확인한다. 여섯째, 결과를 종합하여 타당성 여부를 결론짓는다(Copi, Cohen, & McMahon, 2014).

5. 타당성과 결론의 동치 형식

논증 “P_1, P_2, …, P_n이므로 Q“의 타당성은 조건 공식 “(P_1 ∧ P_2 ∧ … ∧ P_n) → Q“의 항진성과 동치이다. 즉, 전제의 연언이 결론을 함축하는 조건이 항진명제이면 논증은 타당하다. 이러한 동치는 타당성 판정을 항진성 판정으로 환원할 수 있게 하며, 진리표 방법을 통합적으로 적용할 수 있게 한다(Mendelson, 2015).

6. 판정 예시: 전건 긍정

전건 긍정(modus ponens) 추론 형식 “P → Q, P이므로 Q“를 진리표로 판정한다. 진리표는 P, Q 두 원자 명제에 대하여 4행을 가진다. 두 전제 “P → Q“와 “P“가 모두 참인 행은 P가 T이고 Q가 T인 첫 번째 행뿐이다. 그 행에서 결론 Q는 참이다. 따라서 전건 긍정은 타당하다(Enderton, 2001).

7. 판정 예시: 후건 부정

후건 부정(modus tollens) 추론 형식 “P → Q, ¬Q이므로 ¬P“를 진리표로 판정한다. 두 전제 “P → Q“와 “¬Q“가 모두 참인 행은 P가 F이고 Q가 F인 행뿐이다. 그 행에서 결론 ¬P는 참이다. 따라서 후건 부정은 타당하다(Enderton, 2001).

8. 판정 예시: 후건 긍정의 오류

후건 긍정(affirming the consequent)의 오류 형식 “P → Q, Q이므로 P“를 진리표로 판정한다. 두 전제가 모두 참인 행은 P가 T이고 Q가 T인 행, 그리고 P가 F이고 Q가 T인 행이다. 둘째 행에서 결론 P는 거짓이다. 따라서 후건 긍정은 부당하며, 형식적 오류이다(Copi, Cohen, & McMahon, 2014).

9. 판정 예시: 가설적 삼단논법

가설적 삼단논법(hypothetical syllogism) 추론 형식 “P → Q, Q → R이므로 P → R“을 진리표로 판정한다. 진리표는 P, Q, R 세 원자 명제에 대하여 8행을 가진다. 두 전제가 모두 참인 모든 행에서 결론 “P → R“이 참인지 확인한다. 모든 그러한 행에서 결론이 참이므로, 가설적 삼단논법은 타당하다(Mendelson, 2015).

10. 부당성의 반례

논증이 부당하다는 것을 보이기 위해서는 모든 전제가 참이지만 결론이 거짓인 진리값 할당, 즉 반례(counterexample)를 하나 제시하면 충분하다. 진리표 방법은 모든 가능한 할당을 검사하므로, 부당한 논증의 경우 반드시 반례를 찾아낸다. 이러한 반례 제시는 부당성의 가장 명확한 증명 방법이다(Quine, 1982).

11. 진리표 판정의 한계

진리표를 이용한 타당성 판정은 다음과 같은 한계를 가진다. 첫째, 원자 명제의 수에 대하여 기하급수적인 작업량을 요구하므로, 큰 논증에는 비실용적이다. 둘째, 명제 논리의 수준에서만 적용되며, 술어 논리나 양상 논리에는 직접 적용되지 않는다. 셋째, 논증의 직관적 의미나 내용을 드러내지 않으며, 단지 형식적 결과만을 산출한다. 이러한 한계에도 불구하고 진리표 방법은 명제 논리적 분석의 기본 도구로서 중요한 역할을 한다(Mendelson, 2015).

12. 본 절의 결론적 정리

진리표를 이용한 타당성 판정은 명제 논리의 논증의 타당성을 기계적으로 결정하는 방법이다. 표준 절차는 원자 명제의 식별, 진리표 작성, 모든 전제가 참인 행의 식별, 그러한 행에서 결론의 진리값 확인으로 구성된다. 타당성은 전제의 연언이 결론을 함축하는 조건이 항진명제임과 동치이다. 진리표 방법은 전건 긍정, 후건 부정, 가설적 삼단논법 등의 타당성과 후건 긍정 등의 부당성을 명확히 보여 준다. 학습자는 진리표를 이용한 타당성 판정의 원리와 절차를 정확히 이해하고, 다양한 명제 논리적 논증의 분석에 적용할 수 있어야 한다.

13. 출처

• Tarski, A. (1936). Über den Begriff der logischen Folgerung. Actes du Congrès International de Philosophie Scientifique, 7, 1–11.
• 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