집합 쌍 대 율 증명, Cu (A ∩ B) = CuA 차 가운 CuB, 엄격 한 논리 증명 을 구하 고, 문 은 도 나 열거 법 을 사용 하지 않 습 니 다.

집합 쌍 대 율 증명, Cu (A ∩ B) = CuA 차 가운 CuB, 엄격 한 논리 증명 을 구하 고, 문 은 도 나 열거 법 을 사용 하지 않 습 니 다.

집합 이 동일 하 다 는 증명 방법 에 따라 두 집합 이 서로 포함 되 어 있다 는 것 을 증명 하면 된다.
설정 x 8712 ° Cu (A ∩ B), x 는 A ∩ B 에 속 하지 않 습 니 다. 그러면 x 는 A 또는 x 는 B 에 속 하지 않 습 니 다. 그래서 x * * 8712 ° CuA 또는 CuB, 즉 x * 8712 ° (CuB) 차 갑 습 니 다. 그러므로 Cu (A ∩ B) 는 CuA 에 포함 되 어 있 습 니 다.
CuA 차 가운 CuB 가 Cu (A ∩ B) 에 포함 되 어 있다 는 것 을 증명 할 수 있 습 니 다.