*“거짓이다”(“아니다”)
- 우리 믿음과 세계 사이의 틈을 나타내기 위해 사용하는 낱말
- 참인 문장을 거짓 문장으로 바꾸고, 거짓 문장을 참인 문장으로 바꾸는 기능
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
'오르가논 > 논리' 카테고리의 다른 글
[자연어 논리학] 「006 이고 넣기」, 『두뇌보완계획100』 (0) | 2022.03.02 |
---|---|
[자연어 논리학] 「005 거짓이다 없애기 / 017 다시 배우기」, 『두뇌보완계획100』 (0) | 2022.02.26 |
[자연어 논리학] 「004 이고, 이거나, 이면」, 『두뇌보완계획100』 (0) | 2022.02.24 |
[자연어 논리학] 「002 “참이다”」, 『두뇌보완계획100』 (0) | 2022.02.22 |
[자연어 논리학] 「001 추론, 전제, 결론」, 『두뇌보완계획100』 (0) | 2022.02.21 |