함의

함의(含意, implication)란 어떤 문장이나 명제가 다른 문장이나 명제에서 자연스럽게 도출되는 관계를 의미합니다. 즉, A라는 문장이 참일 때 B라는 문장도 반드시 참이 되어야 하는 경우, A는 B를 함의한다고 말합니다. 이 개념은 논리학, 철학, 수학 등의 분야에서 중요한 역할을 하며, 특히 조건문이나 전제와 결론의 관계에서 자주 다루어집니다. 예를 들어, "비가 오면 땅이 젖는다"라는 문장에서 "비가 온다"는 것이 참이면, "땅이 젖는다"도 참이 되어야 하므로, 전자는 후자를 함의하게 됩니다.