找考题网-背景图

单项选择题

设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