A.下界B.最大下界C.最小上界D.以上答案都不对设集合A={a，b，c，d，e}，半序关系R的哈斯图如下，假……

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

单项选择题谓词公式∀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.入度