논리적 함의(= logical implication)란? #
두 개의 명제간의 관계를 나타내는 논리적 개념을 뜻합니다.
진리표는 아래와 같습니다.
| 전제 (A) | 결과 (B) | 논리적 함의 (A → B) |
|---|---|---|
| 거짓 | 거짓 | 참 |
| 거짓 | 참 | 참 |
| 참 | 거짓 | 거짓 |
| 참 | 참 | 참 |
예시 #
logical implication에선 전제와 결과라는 두 명제가 있습니다.
전제를 지구는 둥글다라고 하겠습니다. 결과를 지구는 둥글다고 주장하면 감옥에 보낸다라고 하겠습니다.
지구를 평평하다고 주장하겠습니다. 🫓 #
지구가 평평하다고 주장했습니다.
지구가 둥글다고 주장하면 감옥에 보낸다고 했으니 보내지 않겠습니다.
결과는 참입니다.
| 전제 (A) | 결과 (B) | 논리적 함의 (A → B) |
|---|---|---|
| 거짓 | 거짓 | 참 |
지구를 평평하다고 주장하겠습니다. 🫓 #
지구가 평평하다고 주장했습니다.
지구가 둥글다고 주장하면 감옥에 보낸다고 했습니다만
감옥에 보내겠습니다.
이는 참입니다.
지구가 둥글다고 주장하면 감옥에 보낸다고 했지만 다른 이유로 보낼 수도 있습니다.
억지같지만, 감옥에 보내는 이유를 꼭 지구를 둥글다고 주장해야만 감옥에 보낸다고한 것은 아닙니다.
따라서 이는 참입니다.
| 전제 (A) | 결과 (B) | 논리적 함의 (A → B) |
|---|---|---|
| 거짓 | 참 | 참 |
지구를 둥글다고 주장하겠습니다. 🌍 #
지구가 둥글다고 주장했습니다.
감옥에 보내지 않겠습니다.
결과로 정한 명제를 위반하고 있습니다. 이는 거짓입니다.
| 전제 (A) | 결과 (B) | 논리적 함의 (A → B) |
|---|---|---|
| 참 | 거짓 | 거짓 |
지구를 둥글다고 주장하겠습니다. 🌏 #
지구가 둥글다고 주장했습니다.
감옥에 보내겠습니다.
이는 전제도 결과도 모두 참입니다.
| 전제 (A) | 결과 (B) | 논리적 함의 (A → B) |
|---|---|---|
| 참 | 거짓 | 참 |
