entailment2 충분조건과 필요조건 이 글에서는 고등학교 수학을 배울 때 가장 처음으로 만나게 되는 난관인 "필요조건"과 "충분조건"을 알아보도록 하겠습니다.개념아래와 같은 문장이 있다고 해봅시다.A: "민지는 개를 세 마리 키우고 있다."B: "민지는 개를 키우고 있다."이 문장을 A → B 형식인 조건부 명제로 적용하여 ["민지가 개를 세마리 키우고 있다"면 "민지는 개를 키우고 있다"]로 생각해보도록 하지요.위의 문장은 아래처럼 해석할 수 있습니다."개를 세 마리 키우고 있다"가 참이면 "개를 키운다"는 필연적으로 "참"이 됩니다.바꿔말하면 "개를 키운다"를 참으로 만들기 위해서는 "개를 세 마리 키우고 있다"가 "참인것으로 충분"한 것입니다.여기서 "개를 세 마리 키우고 있다"가 참인 것을 "개를 키운다"가 참이기 위한 충분조건이라.. 2025. 4. 7. 함축의 역설 이야기"공허한 진리"는 아래와 같이 가정이 거짓이라서 결론이 뭐든간에 전체가 참이 되어버리는 조건부 명제라고 했습니다. 아래와 같은 예문처럼 말이죠.8이 홀수이면 6은 소수입니다.내가 미국인이면 비가 옵니다.하늘이 녹색이라면 나는 피자를 먹습니다.근데 여기서 위의 "공허한 진리"를 조금 더 자세히 살펴보면 이런 의문이 생깁니다."공허한 진리"는 직관적으로 다 말이 안되지만 "8이 홀수이면 6은 소수입니다."는 그래도 가정과 결론이 숫자라는 연관이라도 있는데.. 나머지 예문들은 가정과 결론 사이에 아무런 관계도 없군요?이런 의문 역시 많은 사람들이 가졌던 모양입니다. "가정과 결론이 관련이 없는 문장도 참이 된다"는 상황을 "함축의 역설 (Paradox of Entailment)"이라고 부르거든요.어원"함.. 2025. 3. 29. 이전 1 다음
