单项选择题
设G⇔∀x∃yP（x，y）→Q（z，w），下面三个命题为真的是（）。
A.G是前束范式B.G不是前束范式C.G不是一阶公式D.G是永真式
单项选择题 设A，B，C 都是集合，如果A∩C＝B∩C，则有（）。
单项选择题 设G是群，当G有（）个元素时，不能肯定G是交换群。
单项选择题 谓词公式∀yP（y）取真值为1的充分必要条件是（）。
