＝S，满足（）。相关考题
-
单项选择题
设G⇔∀x∃yP（x，y）→Q（z，w），下面三个命题为真的是（）。
A.G是前束范式
B.G不是前束范式
C.G不是一阶公式
D.G是永真式 -
单项选择题
设A，B，C 都是集合，如果A∩C＝B∩C，则有（）。
A.A＝B
B.A≠B
C.当A－C＝B－C 时，有A=B
D.当C=U 时，有A≠B -
单项选择题
设G是群，当G有（）个元素时，不能肯定G是交换群。
A.4
B.5
C.6
D.7
