问答题用消解证明法构造推理的证明:前提:p→q结论:p→(p∧q)。
您可能感兴趣的试卷
你可能感兴趣的试题
最新试题
从无向完全图K5中至少删除()条边后,所得的图将成为平面图。
题型:单项选择题
设关系R的关系图如下,试(1)写出R的关系表达式;(2)判断R是否为等价关系,并说明理由。
题型:问答题
设无向图G中存在欧拉路,则G的奇数度数的结点数为()。
题型:填空题
设个体域D={1,2,3,4},则谓词公式(∀x)A(x)消去量词后的等值式为()。
题型:填空题
若集合A={1,2,3,4},则下列表述正确的是()。
题型:单项选择题
下列前提下结论是否有效?今天或者天晴或者下雨。如果天晴,我去看电影;若我去看电影,我就不看书。故我在看书时,说明今天下雨。
题型:问答题
求出谓词公式的前束范式。
题型:问答题
下列关于循环群<G,*>的叙述,不一定成立的是()。
题型:单项选择题
设<G,*>是群,若G中除幺元以外,每个元素的周期都是2,则下列叙述中不正确的是()。
题型:单项选择题
若无向图G是有99个结点,9个连通分量,则G中的边数必()
题型:单项选择题