问答题
给定解释I如下
(a)个体域D={3,4}
(b)(x)为(3)=4,(4)=3
(c)(x,y)为(3,3)=(4,4)=0,(3,4)=(4,3)=1
试求以下公式在I下的真值
xy(F(x,y)→F(f(x),f(y)))
您可能感兴趣的试卷
最新试题
求¬P∨(Q∧R)的合取范式与主合取范式。
题型:问答题
设图G=< V,E>,V={v1,v2,v3,v4},E={(v1,v2),(v1,v4),(v2,v4)},试(1)画出G的图形表示;(2)写出其邻接矩阵;(3)求出每个结点的度数;(4)画出图G的补图的图形。
题型:问答题
下列推理步骤错在()。
题型:单项选择题
设A和B是集合,且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,求谓词合式公式的真值。
题型:问答题
若无向图G是有99个结点,9个连通分量,则G中的边数必()
题型:单项选择题
设无向图G中存在欧拉路,则G的奇数度数的结点数为()。
题型:填空题
下列命题相容吗?
题型:问答题
下列关于循环群<G,*>的叙述,不一定成立的是()。
题型:单项选择题
存在集合A与B,可以使得A∈B与A⊆B同时成立。()
题型:判断题