最新试题
给定解释Ⅰ:D={2,3},L(x,y)为L(2,2)=L (3,3)=1,L (2,3)=L (3,2)=0,求谓词合式公式的真值。
题型:问答题
任意两个不同极大项的析取式必为()。
题型:单项选择题
下列推理步骤错在()。
题型:单项选择题
无向图G是棵树,结点数为10,则G的边数是()
题型:单项选择题
若集合A={1,2,3,4},则下列表述正确的是()。
题型:单项选择题
设P为正整数集合,∀x,y∈P,定义运算:x *y =max(x,y),则<P,*>一定不是()。
题型:单项选择题
下列前提下结论是否有效?今天或者天晴或者下雨。如果天晴,我去看电影;若我去看电影,我就不看书。故我在看书时,说明今天下雨。
题型:问答题
设个体域D={1,2,3,4},则谓词公式(∀x)A(x)消去量词后的等值式为()。
题型:填空题
对任意集合A,B 和C,试证明A×(B∪C)=(A×B)∪(A×C)。
题型:问答题
下列命题相容吗?
题型:问答题