问答题设个体域为自然数集N,F(x):x是偶数,G(x):x是素数,用0元谓词将命题符号化,并讨论它们的真假:只有2是素数,6才是素数。
您可能感兴趣的试卷
你可能感兴趣的试题
最新试题
设有集合A={1,2,3,4},则从A到{0,1}的不同的函数有()个。
题型:单项选择题
求¬P∨(Q∧R)的合取范式与主合取范式。
题型:问答题
设<G,*>是群,若G中除幺元以外,每个元素的周期都是2,则下列叙述中不正确的是()。
题型:单项选择题
设关系R的关系图如下,试(1)写出R的关系表达式;(2)判断R是否为等价关系,并说明理由。
题型:问答题
用形式证明的方法证明下列论证的有效性:“本班有些同学是有经验的C++程序员,任何C++程序员都知道对象的概念。因此,本班有人知道对象的概念。”
题型:问答题
命题逻辑演绎的CP规则为()。
题型:单项选择题
设G是有10个结点的连通图,边数为20,则可从G中删去()条边后使之变成树。
题型:填空题
设图G=< V,E>,V={v1,v2,v3,v4},E={(v1,v2),(v1,v4),(v2,v4)},试(1)画出G的图形表示;(2)写出其邻接矩阵;(3)求出每个结点的度数;(4)画出图G的补图的图形。
题型:问答题
设无向图G中存在欧拉路,则G的奇数度数的结点数为()。
题型:填空题
设个体域D={1,2,3,4},则谓词公式(∀x)A(x)消去量词后的等值式为()。
题型:填空题