7.7 실질적 함의의 진리값 조건

1. 절의 학술적 목표

본 절은 실질적 함의의 진리값 조건을 세밀히 검토하고, 네 가지 경우 각각의 학술적 해석을 제시하는 것을 목표로 한다. 실질적 함의는 진리 함수적 정의를 통해 명료히 규정되지만, 각 진리값 조건은 고유한 의미론적 특성을 가진다. 본 절은 네 경우를 체계적으로 분석하여 학습자가 실질적 함의의 의미론적 구조를 완전히 이해할 수 있도록 한다.

2. 실질적 함의의 진리표

실질적 함의 “P → Q“의 진리표는 다음과 같이 정리된다. P, Q의 두 명제 변항이 각각 참(T) 또는 거짓(F)의 값을 가질 수 있으므로 네 경우가 존재한다. 경우 1: P=T, Q=T, P → Q=T. 경우 2: P=T, Q=F, P → Q=F. 경우 3: P=F, Q=T, P → Q=T. 경우 4: P=F, Q=F, P → Q=T. 이 네 경우가 실질적 함의의 전체 의미론적 특성을 결정한다(Copi, Cohen, & McMahon, 2014).

3. 경우 1: 전건과 후건이 모두 참

P가 참이고 Q가 참인 경우, “P → Q“는 참이다. 이 경우는 실질적 함의의 가장 직관적으로 명료한 경우이다. 전건이 성립하고 후건도 성립하므로, 조건문이 진술하는 “P가 성립하면 Q가 성립한다“는 주장이 실현되었다고 볼 수 있다. 일상 언어 직관과도 일치하는 경우이다(Hurley, 2014).

4. 경우 2: 전건이 참이고 후건이 거짓

P가 참이고 Q가 거짓인 경우, “P → Q“는 거짓이다. 이 경우는 실질적 함의가 거짓이 되는 유일한 경우이다. 전건이 성립함에도 불구하고 후건이 성립하지 않으므로, 조건문이 진술하는 주장이 위반된 것이다. 이 경우 또한 일상 언어 직관과 일치하며, 조건문이 실패하는 가장 명백한 상황을 표현한다(Copi, Cohen, & McMahon, 2014).

5. 경우 3: 전건이 거짓이고 후건이 참

P가 거짓이고 Q가 참인 경우, “P → Q“는 참이다. 이 경우는 일상 언어 직관과 다소 차이가 있을 수 있는 경우이다. 전건이 거짓이므로 조건문의 주장이 실제로 검증될 기회가 없었다고 볼 수 있지만, 실질적 함의는 이 경우에 조건문을 참으로 판정한다. 이러한 판정은 “P가 거짓이면 P로부터 어떤 것도 따라 나온다“는 고전 논리학의 원리(ex falso quodlibet)와 관련된다(Hurley, 2014).

6. 경우 4: 전건과 후건이 모두 거짓

P가 거짓이고 Q가 거짓인 경우, “P → Q“는 참이다. 이 경우 역시 일상 언어 직관과 차이가 있을 수 있다. 전건과 후건이 모두 성립하지 않는 상황에서 조건문이 자동으로 참이 되는 것은 실질적 함의의 진리 함수적 정의의 직접적 귀결이다. 이 경우 조건문의 주장은 “반례“에 의해 반박될 수 없으므로 공허하게 참(vacuously true)으로 간주된다(Copi, Cohen, & McMahon, 2014).

7. 공허한 참의 개념

경우 3과 경우 4에서 실질적 함의가 참이 되는 이유는 “공허한 참(vacuous truth)“의 개념으로 설명된다. 전건이 거짓인 경우, 조건문이 진술하는 “P가 성립하면 Q가 성립한다“는 주장은 전건의 성립 조건이 충족되지 않았으므로 반례에 의해 반박될 수 없다. 따라서 고전 논리는 이 경우의 조건문을 공허하게 참으로 처리한다(Lewis, 1918).

8. 진리값 조건의 직관적 정당화

실질적 함의의 진리값 조건은 다음과 같이 직관적으로 정당화될 수 있다. 조건문 “P → Q“는 “P가 참이면서 Q가 거짓인 경우가 없다“는 주장과 동치이다. 즉, “P → Q ≡ ¬(P ∧ ¬Q)“이다. 이 관점에서 보면, 네 경우 중에서 “P가 참이면서 Q가 거짓인” 경우(경우 2)에만 조건문이 거짓이 되고, 나머지 경우에는 조건문이 참이 된다. 이러한 해석은 진리값 조건의 이해를 돕는다(Hurley, 2014).

9. 진리값 조건의 기호적 표현

실질적 함의의 진리값 조건은 다음의 몇 가지 동치 형태로 표현될 수 있다. 첫째, “P → Q“는 “¬P ∨ Q“와 동치이다. 둘째, “P → Q“는 “¬(P ∧ ¬Q)“와 동치이다. 셋째, “P → Q“는 “¬Q → ¬P”(대우)와 동치이다. 이러한 동치 형태들은 실질적 함의의 진리값 조건을 다른 논리 연결사로 환언할 수 있음을 보여 준다(Copi, Cohen, & McMahon, 2014).

10. 진리값 조건과 타당한 추론

실질적 함의의 진리값 조건은 타당한 추론 규칙의 의미론적 정당화의 기반이 된다. 예를 들어 전건 긍정(modus ponens)의 타당성은 다음과 같이 정당화된다. P가 참이고 “P → Q“가 참이면, 경우 2를 배제해야 하므로 Q도 참이어야 한다. 후건 부정(modus tollens)의 타당성도 유사하게 정당화된다. “P → Q“가 참이고 Q가 거짓이면, 경우 2를 피하기 위하여 P도 거짓이어야 한다(Hurley, 2014).

11. 진리값 조건과 부당한 추론

반대로, 후건 긍정의 오류와 전건 부정의 오류는 진리값 조건의 분석을 통해 명료히 부당함이 드러난다. “P → Q“가 참이고 Q가 참이더라도 P의 진리값은 결정되지 않는다(경우 1과 경우 3 모두 가능). “P → Q“가 참이고 P가 거짓이더라도 Q의 진리값은 결정되지 않는다(경우 3과 경우 4 모두 가능). 이러한 분석은 부당한 추론의 구조를 형식적으로 노출시킨다(Copi, Cohen, & McMahon, 2014).

12. 본 절의 결론적 정리

실질적 함의의 진리값 조건은 네 경우로 구성된다. P=T·Q=T는 참, P=T·Q=F는 거짓, P=F·Q=T는 참, P=F·Q=F는 참이다. 이 진리값 조건은 “P가 참이면서 Q가 거짓인” 경우에만 실질적 함의가 거짓이 됨을 보여 주며, 전건이 거짓인 경우에는 공허하게 참이 된다. 학습자는 진리값 조건을 정확히 숙지하고, 이를 통해 타당한 추론과 부당한 추론을 체계적으로 분석할 수 있어야 한다.

13. 출처

• Lewis, C. I. (1918). A Survey of Symbolic Logic. Berkeley: University of California Press.
• Copi, I. M., Cohen, C., & McMahon, K. (2014). Introduction to Logic (14th ed.). London: Routledge.
• Hurley, P. J. (2014). A Concise Introduction to Logic (12th ed.). Boston: Cengage Learning.

14. 버전

• 문서 버전: 1.0
• 작성 기준일: 2026-04-15