Skip to content

문제 14 · 집합 조건의 충족 여부

문제 14 [4점]

임의의 집합 A, B, C가 다음 세 조건을 동시에 만족할 수 있는지 확인하시오.

  1. AB=AC
  2. AB=AC
  3. BC
풀이 및 해설

결론부터 말하면 동시에 만족할 수 없습니다. 조건 1, 2가 성립하면 반드시 B=C가 되어 조건 3과 모순되기 때문입니다.

증명: 흡수법칙 B=B(AB)에서 출발합니다.

B=B(AB)=B(AC)(AB=AC)=(BA)(BC)(분배법칙)=(AC)(BC)(AB=AC)=(AB)C(분배법칙)=(AC)C(AB=AC)=C.(흡수법칙)

따라서 조건 1, 2가 성립하면 B=C이며, 이는 조건 3 BC와 모순입니다.

세 조건을 동시에 만족하는 A,B,C는 존재하지 않는다.

👉 실습(Python)에서 확인하기

PDF