问答题
设个体域D={1,2},请给出两种不同的解释I1和I2,使得下面公式在I1下都是真命题,而在I2下都是假命题。
x(F(x)→G(x))
您可能感兴趣的试卷
最新试题
给定解释Ⅰ:D={2,3},L(x,y)为L(2,2)=L (3,3)=1,L (2,3)=L (3,2)=0,求谓词合式公式的真值。
题型:问答题
求出谓词公式的前束范式。
题型:问答题
存在集合A与B,可以使得A∈B与A⊆B同时成立。()
题型:判断题
设关系R的关系图如下,试(1)写出R的关系表达式;(2)判断R是否为等价关系,并说明理由。
题型:问答题
完全图K4不是平面图。()
题型:判断题
若无向图G是有99个结点,9个连通分量,则G中的边数必()
题型:单项选择题
对任意集合A,B 和C,试证明A×(B∪C)=(A×B)∪(A×C)。
题型:问答题
群,其中,⊕为模4加法,该群有()个子群。
题型:单项选择题
已知无向图G的结点度数之和为10,则G的边数为()。
题型:单项选择题
设G=(a)为12阶循环群,则G没有()阶子群。
题型:单项选择题