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
多项选择题有向图的邻接矩阵中,行元素之和是对应结点的(),列元素之和是对应结点的()。
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.非单射也非满射