A.G是前束范式B.G不是前束范式C.G不是一阶公式D.G是永真式设G⇔∀x∃yP（x，y）→Q（z，w），下……

单项选择题设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

单项选择题谓词公式∀yP（y）取真值为1的充分必要条件是（）。

A.对任意y，使P（y）都取真值1
B.存在一个y0，使P（y0）取真值1
C.存在某些y，使P（y）都取真值1
D.存在y0，使P（y0）取真值0

多项选择题有向图的邻接矩阵中，行元素之和是对应结点的（），列元素之和是对应结点的（）。

A.度数
B.出度
C.最大度数
D.入度

单项选择题设集合A={a1，a2，a3，a4}，B={b1，b2，b3}，σ是从A 到B 的函数，σ={〈a1，b2〉，〈a2，b2〉，〈a3，b1〉，〈a4，b3〉}，则σ是（）。

A.双射
B.满射但不是单射
C.单射但不是满射
D.非单射也非满射