单项选择题 设G⇔∀x∃yP（x，y）→Q（z，w），下面三个命题为真的是（）。

单项选择题 设A，B，C 都是集合，如果A∩C＝B∩C，则有（）。

单项选择题 设G是群，当G有（）个元素时，不能肯定G是交换群。