*대우 규칙(이면 앞뒤 바꿈, transposition rule)
: X이면 Y ≡ Y가 거짓이면 X는 거짓이다.
*대우 규칙의 증명
- 첫째 추론
| 1. X이면 Y // Y가 거짓이면 X는 거짓이다. 2*. 이면 넣기 시작: Y는 거짓이다. 3*. 2*로 1에서 뒤로 이면 없애, X는 거짓이다. 4. 2*에서 3*까지로 2*과 3*에 이면 넣어, Y가 거짓이면 X는 거짓이다. “끝” |
- 둘째 추론
| 1. Y가 거짓이면 X는 거짓이다 // X이면 Y 2*. 이면 넣기 시작: X 3*. 2*로 1에서 뒤로 이면 없애, Y 4. 2*에서 3*까지로 2*과 3*에 이면 넣어, X이면 Y. “끝” |
'오르가논 > 논리' 카테고리의 다른 글
| [자연어 논리학] 「037 일 때 오직 그 때만」, 『두뇌보완계획100』 (0) | 2022.04.06 |
|---|---|
| [자연어 논리학]「036 “이면”의 뜻」, 『두뇌보완계획100』 (0) | 2022.04.03 |
| [자연어 논리학] 「034 반드시와 어쩌다」, 『두뇌보완계획100』 (0) | 2022.04.01 |
| [자연어 논리학] 「033 달리 쓰기 규칙과 차근차근 이끌기」, 『두뇌보완계획100』 (0) | 2022.03.31 |
| [자연어 논리학] 「032 서로 따라 나온다」, 『두뇌보완계획100』 (0) | 2022.03.30 |