最新试题
设个体域D={1,2,3,4},则谓词公式(∀x)A(x)消去量词后的等值式为()。
题型:填空题
下列关于循环群<G,*>的叙述,不一定成立的是()。
题型:单项选择题
下列推理步骤错在()。
题型:单项选择题
下列前提下结论是否有效?今天或者天晴或者下雨。如果天晴,我去看电影;若我去看电影,我就不看书。故我在看书时,说明今天下雨。
题型:问答题
设R为实数集,对于任意a,b∈R,a*b=a+b+ab,则下述结论中正确的是()。
题型:单项选择题
符号化语句:“有些病人相信所有的医生,但是病人都不相信骗子,所以医生都不是骗子”,并推证其结论。
题型:问答题
设G是有10个结点的连通图,边数为20,则可从G中删去()条边后使之变成树。
题型:填空题
给定解释Ⅰ:D={2,3},L(x,y)为L(2,2)=L (3,3)=1,L (2,3)=L (3,2)=0,求谓词合式公式的真值。
题型:问答题
若无向图G是有99个结点,9个连通分量,则G中的边数必()
题型:单项选择题
求出谓词公式的前束范式。
题型:问答题