[자연어 논리학] 「003 “거짓이다”」, 『두뇌보완계획100』

*“거짓이다”(“아니다”)
- 우리 믿음과 세계 사이의 틈을 나타내기 위해 사용하는 낱말
- 참인 문장을 거짓 문장으로 바꾸고, 거짓 문장을 참인 문장으로 바꾸는 기능
so. 아무 평서문 X에 대해 다음은 맞는 말이다.
    X는 거짓이다. ≡ X는 아니다. ≡ X는 참이 아니다. ≡ “X는 참이다”는 거짓이다. ≡ “X는 거짓이다”는 참이다.

*진리표(참값모눈, truth table)
- 한 문장 X에 대해 두 가지 가능한 상황 또는 가능한 세계를 생각해볼 수 있음. 하나는 X가 참인 세계, 다른 하나는 X가 거짓인 세계. 진리표는 어떤 문장에 대해 이러한 가능한 세계에서의 진리값(참값, truth value)을 정리한 표.
- 모든 평서문은 다음과 같은 진리값을 가짐

X가 참일 때	X의 참값은 “참”
X가 거짓일 때	X의 참값은 “거짓”

ex. 부정의 진리표(거짓이다의 참값모눈, truth table for negation)

세계	X	X는 거짓이다.
W1	참	거짓
W2	거짓	참

ex. “거짓이다는 거짓이다”의 참값모눈

세계	X	X는 거짓이다.	X는 거짓이다는 거짓이다.
W1	참	거짓	참
W2	거짓	참	거짓

*이중부정(두 번 거짓이다, double negation)
- “거짓이라는 것은 거짓이다”, “거짓이 아니다”, “아니라는 것은 거짓이다”, “아닌 것이 아니다” 따위로 다르게 사용 가능
- “X"와 “‘X는 거짓이다’는 거짓이다”는 뜻이 같음
so. 아무 평서문 X에 대해 다음은 맞는 말이다.
    “X는 거짓이다”는 거짓이다. ≡ X는 거짓이 아니다. ≡ X는 아닌 것이 아니다. ≡ X