형님들 왜 포함기호가 논리학 수학에서 함축 방향이 다른가요?

[익명(223.38)]

수학에서 p ⊂q 이면 p->q 인데 반해

논리학에서는 p ⊂q이면 q->p 잖아요 왜그런건가요? 궁금해 미치겠습니다.

- dc official App

[익명(58.76)]

찾아보니 완전 다른기호네요 - dc App

[익명(180.83)]

두 기호는 아예 다른 의미입니다. 순수한 포함관계를 의미하는 말굽기호는 집합을 다루기 위해 도입된 것입니다. 반면 논리학의 말굽기호는 "p가 q의 결론(consequence)이다."를 줄여서 p C q로 부르던 것을, 그 역관계를 표현하기 위해 C를 뒤집어 표현하던 p ↄ q라는 표기법을 간소화하면서 도입된 것입니다.(마치 숫자의 크기 비교 관계를 표현하는 <를 뒤집어서 >라고 쓰면 이해하기 쉬운 것처럼 말입니다.) 따라서 두 기호는 글자 모양만 같고 아예 다른 개념입니다.

[익명(182.210)]

함축(내포의 포함)과 부분집합(외연의 포함)은 정반대임