*필연 문장(반드시 글월, logical sentence)
- 항진문장(반드시 참말, logical truth)과 항위문장(반드시 거짓말, logical false)을 일컬음
- 항진문장은 생각할 수 있는 모든 세계에서 참인 문장
ex. X는 참이거나 X는 거짓이다.
- 항위문장은 생각할 수 있는 모든 세계에서 거짓인 문장
ex. X는 참이고 X는 거짓이다.
*우연 문장(어쩌다 글월, contingent sentence)
- 우연진실(어쩌다 참말, contingent truth)과 우연허위(어쩌다 거짓말, contingent false)를 일컬음
- 우연진실은 우리가 사는 이 세계에서 참이지만 거짓인 세계를 생각할 수 있는 문장
ex. 세종은 한글을 만들었다.
- 우연허위는 우리가 사는 이 세계에서 거짓이지만 참인 세계를 생각할 수 있는 문장
ex. 이순신은 새로운 왕조를 세웠다.
*필연 문장의 함축
- 서로 다른 항진문장은 상호함축. 즉, 생각할 수 있는 모든 세계에서 항진문장 A와 항진문장 B의 참값은 같음.
ex. X는 참이거나 X는 거짓이다. ≡ Y는 참이거나 Y는 거짓이다.
- 서로 다른 항위문장은 상호함축. 즉, 생각할 수 있는 모든 세계에서 항위문장 A와 항위문장 B의 참값은 같음.
ex. X는 참이고 X는 거짓이다. ≡ Y는 참이고 Y는 거짓이다.
- 항위문장은 무슨 문장이든 함축. 즉, 항위문장 A가 참이지만 어떤 문장 P가 거짓인 세계는 없음.
ex. X는 참이고 X는 거짓이다. ⇒ P
'오르가논 > 논리' 카테고리의 다른 글
[자연어 논리학]「036 “이면”의 뜻」, 『두뇌보완계획100』 (0) | 2022.04.03 |
---|---|
[자연어 논리학] 「035 이면 앞뒤 바꿈」, 『두뇌보완계획100』 (0) | 2022.04.02 |
[자연어 논리학] 「033 달리 쓰기 규칙과 차근차근 이끌기」, 『두뇌보완계획100』 (0) | 2022.03.31 |
[자연어 논리학] 「032 서로 따라 나온다」, 『두뇌보완계획100』 (0) | 2022.03.30 |
[자연어 논리학] 「031 따라 나온다」, 『두뇌보완계획100』 (0) | 2022.03.29 |