공집합

집합론 - 교집합, 공집합, "If ... Then"의 의미

안녕하세요. 지난 포스팅의 집합론 - "or" 의 의미에서는 영어 단어 "or"이 가지는 모호성으로 인해 발생하는 문제가 수학에서도 발생하지 않도록 하기 위해 "or"의 의미를 명확하게 정의하였습니다. 정리하면 임의의 두 명제 $P$와 $Q$에 대해서 $P \text{ or } Q$라는 것은 명제 $P$이거나 명제 $Q$이거나 $P$와 $Q$를 모두(both) 만족하는 것입니다. 그리고 두 집합 $A$와 $B$의 합집합 $A \cup B$의 정의에 대해서도 알아보았습니다. 오늘도 집합론을 본격적으로 공부하기에 앞서 간단한 몇 가지 정의들(교집합, 공집합)을 알아보고 가정-결론으로 구성되는 "If ... Then" 구조문의 의미를 알아보도록 하겠습니다. 정의1. 교집합(intersection) 임의의 두 ..