(A x B) ㄷ (C x D) -> A ㄷ C and B ㄷ D


이거 틀린 명제인거 알앗던 사람 잇냐


공집합일때 문제가 생기네




아니 이거 나 집합론부터 다시 해야하나