单项选择题
谓词公式中变元x()。
A.既不是自由出现又不是约束出现
B.是自由出现,不是约束出现
C.既是自由出现又是约束出现
D.不是自由出现,是约束出现
您可能感兴趣的试卷
你可能感兴趣的试题
1.单项选择题无向图G具有一条欧拉回路,则G中所有点的度数都是()。
A.1
B.偶数
C.素数
D.奇数
2.单项选择题设R是实数集合,R上的运算x*y=x2+y2定义为,则〈R,*〉为()。
A.非代数系统
B.代数系统
C.半群
D.群
最新试题
设图G=< V,E>,V={v1,v2,v3,v4},E={(v1,v2),(v1,v4),(v2,v4)},试(1)画出G的图形表示;(2)写出其邻接矩阵;(3)求出每个结点的度数;(4)画出图G的补图的图形。
题型:问答题
设R和S是集合X上的部分序关系,证明R∩S必定也是X上的部分序关系。
题型:问答题
设P为正整数集合,∀x,y∈P,定义运算:x *y =max(x,y),则<P,*>一定不是()。
题型:单项选择题
符号化语句:“有些病人相信所有的医生,但是病人都不相信骗子,所以医生都不是骗子”,并推证其结论。
题型:问答题
给定3个命题:P:北京比天津人口多;Q:2大于1;R:15是素数。求复合命题:的真值。
题型:问答题
下列关于循环群<G,*>的叙述,不一定成立的是()。
题型:单项选择题
设关系R的关系图如下,试(1)写出R的关系表达式;(2)判断R是否为等价关系,并说明理由。
题型:问答题
群,其中,⊕为模4加法,该群有()个子群。
题型:单项选择题
设<S,*>是半群,对∀a,b∈S,若a≠b,就有a*b≠b*a,则下列叙述中不正确的是()。
题型:单项选择题
给定解释Ⅰ:D={2,3},L(x,y)为L(2,2)=L (3,3)=1,L (2,3)=L (3,2)=0,求谓词合式公式的真值。
题型:问答题