若集合A={a,b,c},为空集合,则下列表示正确的是()。
A.AB.BC.CD.D
单项选择题设集合A={a,b,c,d,e},半序关系R的哈斯图如下,假设A的子集B={c,d,e},则元素c为B的()。
A.下界B.最大下界C.最小上界D.以上答案都不对
单项选择题设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.当C=U 时,有A≠B
单项选择题设G是群,当G有()个元素时,不能肯定G是交换群。
A.4B.5C.6D.7
单项选择题谓词公式∀yP(y)取真值为1的充分必要条件是()。
A.对任意y,使P(y)都取真值1B.存在一个y0,使P(y0)取真值1C.存在某些y,使P(y)都取真值1D.存在y0,使P(y0)取真值0