单项选择题
对任意集合S，S∪＝S，满足（）。
A.幂等律B.零一律C.同一律D.互补律
设G⇔∀x∃yP（x，y）→Q（z，w），下面三个命题为真的是（）。A.G是前束范式B.G不是前束范式C.G不...
单项选择题设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＝BB.A≠BC.当A－C＝B－C 时，有A=BD...
单项选择题设A，B，C 都是集合，如果A∩C＝B∩C，则有（）。
A.A＝BB.A≠BC.当A－C＝B－C 时，有A=BD.当C=U 时，有A≠B
设G是群，当G有（）个元素时，不能肯定G是交换群。A.4B.5C.6D.7
单项选择题设G是群，当G有（）个元素时，不能肯定G是交换群。
A.4B.5C.6D.7
＝S，满足（）。