9.3 부정의 정의와 진리표

9.3 부정의 정의와 진리표

1. 절의 학술적 목표

본 절은 명제 논리의 부정(negation) 연산자의 형식적 정의와 진리표를 학술적으로 검토하는 것을 목표로 한다. 부정은 명제 논리의 유일한 기본 단항 연산자이며, 다른 모든 연산자와 결합하여 복합 명제를 구성한다. 본 절은 부정의 정의, 진리표, 주요 성질, 자연 언어 표현과의 관계를 체계적으로 정리한다.

2. 부정의 학술적 정의

부정은 단항 진리 함수이며, 입력 명제의 진리값을 반대로 바꾸는 연산이다. 형식적으로, 명제 P에 대한 부정은 “¬P” 또는 “~P“로 표기되며, 다음과 같은 진리값 조건을 가진다. “¬P“는 “P가 참이면 거짓이고, P가 거짓이면 참이다”. 이러한 정의는 부정 연산의 본질을 진리 함수적으로 규정한다(Enderton, 2001).

3. 부정의 기호

부정의 표준 기호는 “¬”(not sign)이다. 대안적 기호로는 “~”(tilde)나 “!”(exclamation mark)가 사용된다. 문헌에 따라 “¬P”, “P”, “!P“가 사용되지만 모두 동일한 의미를 가진다. 러셀과 화이트헤드의 “Principia Mathematica“에서는 ““가 사용되었으며, 이후 “¬“가 현대의 표준으로 정착되었다(Russell & Whitehead, 1910–1913).

4. 부정의 진리표

부정의 진리표는 다음과 같다.

P¬P
TF
FT

이 진리표는 부정의 의미를 완전히 규정한다. P가 참일 때 ¬P는 거짓이고, P가 거짓일 때 ¬P는 참이다. 부정은 진리값을 교환(swap)하는 연산이다(Mendelson, 2015).

5. 부정의 자연 언어 표현

부정은 자연 언어의 여러 표현에 대응한다. 예를 들어 “~이 아니다”, “~는 것은 사실이 아니다”, “~이 아닌 것은 참이다” 등의 표현이 부정으로 번역된다. 예를 들어 “비가 온다“의 부정은 “비가 오지 않는다“이며, 이는 “¬P“로 표기된다(단, P는 “비가 온다”)(Copi, Cohen, & McMahon, 2014).

6. 이중 부정

이중 부정(double negation)은 같은 명제에 부정이 두 번 적용된 표현이다. 고전 논리에서는 이중 부정 법칙(law of double negation)에 의하여 “¬¬P“가 “P“와 논리적으로 동치이다. 즉, 어떤 명제에 부정을 두 번 적용하면 원래 명제로 돌아간다. 이 법칙은 고전 명제 논리의 기본 성질 중 하나이다(Mendelson, 2015).

7. 이중 부정의 제한

일부 비고전 논리 체계에서는 이중 부정 법칙이 제한적으로만 성립한다. 직관주의 논리(intuitionistic logic)에서는 “P → ¬¬P“는 성립하지만 “¬¬P → P“는 일반적으로 성립하지 않는다. 이는 직관주의 논리가 고전 논리와 달리 구성적 증명 가능성을 강조하기 때문이다. 이러한 차이는 부정의 철학적 해석에 관한 중요한 논점이다(Heyting, 1956).

8. 부정과 배중률

부정은 배중률(law of excluded middle)과 밀접히 연관된다. 배중률은 “P ∨ ¬P“가 항상 참이라는 원리이며, 고전 논리의 기본 법칙 중 하나이다. 이 법칙은 어떤 명제와 그 부정 중 적어도 하나는 반드시 참이라는 주장으로, 이가 원리와 동치이다. 직관주의 논리에서는 배중률이 일반적으로 성립하지 않는다(Aristoteles, trans. 1984).

9. 부정과 모순률

모순률(law of non-contradiction)은 “¬(P ∧ ¬P)“가 항상 참이라는 원리이다. 즉, 어떤 명제와 그 부정이 동시에 참일 수는 없다는 주장이다. 이 법칙은 고전 논리뿐만 아니라 대부분의 논리 체계에서 기본 원리로 인정되지만, 초일관성 논리(paraconsistent logic)에서는 제한적으로 허용된다(Priest, 1979).

10. 부정의 대수적 성질

부정은 다음과 같은 대수적 성질을 만족한다. 첫째, 이중 부정 법칙: “¬¬P ≡ P”. 둘째, 드 모르간 법칙: “¬(P ∧ Q) ≡ (¬P ∨ ¬Q)” 및 “¬(P ∨ Q) ≡ (¬P ∧ ¬Q)”. 셋째, 조건의 부정: “¬(P → Q) ≡ (P ∧ ¬Q)”. 이러한 성질들은 부정 연산의 형식적 조작에 활용된다(De Morgan, 1847).

11. 부정 연산의 적용

부정 연산은 명제 논리의 분석과 증명에서 다양하게 활용된다. 예를 들어 귀류법(reductio ad absurdum)은 부정 연산에 의존하며, 결론의 부정으로부터 모순을 도출함으로써 원래 결론을 증명한다. 또한 부정은 논리적 동치 관계를 이용한 공식 변환에서 핵심적 역할을 한다(Copi, Cohen, & McMahon, 2014).

12. 본 절의 결론적 정리

부정은 단항 진리 함수이며, 명제의 진리값을 반대로 바꾸는 연산이다. 부정의 진리표는 P가 참일 때 ¬P가 거짓이고, P가 거짓일 때 ¬P가 참임을 보여 준다. 부정은 이중 부정 법칙, 드 모르간 법칙, 배중률, 모순률 등 여러 대수적 성질을 만족하며, 논리적 분석과 증명에서 핵심 역할을 한다. 고전 논리에서는 이중 부정 법칙이 성립하지만, 직관주의 논리 등 일부 비고전 논리에서는 제한적으로만 성립한다. 학습자는 부정의 형식적 정의와 성질을 정확히 이해하고, 실천적 분석에 활용할 수 있어야 한다.

13. 출처

  • Aristoteles. (trans. 1984). The Complete Works of Aristotle (J. Barnes, Ed.). Princeton: Princeton University Press.
  • 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.
  • Heyting, A. (1956). Intuitionism: An Introduction. Amsterdam: North-Holland.
  • Priest, G. (1979). The logic of paradox. Journal of Philosophical Logic, 8(1), 219–241.
  • 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