问答题
在自然推理系统F中,证明下面推理:
有理数,无理数都是实数,虚数不是实数,因此虚数既不是有理数,也不是无理数
您可能感兴趣的试卷
最新试题
完全图K4不是平面图。()
题型:判断题
设图G=< V,E>,V={v1,v2,v3,v4},E={(v1,v2),(v1,v4),(v2,v4)},试(1)画出G的图形表示;(2)写出其邻接矩阵;(3)求出每个结点的度数;(4)画出图G的补图的图形。
题型:问答题
求出谓词公式的前束范式。
题型:问答题
设有集合A={1,2,3,4},则从A到{0,1}的不同的函数有()个。
题型:单项选择题
设<S,*>是半群,对∀a,b∈S,若a≠b,就有a*b≠b*a,则下列叙述中不正确的是()。
题型:单项选择题
若无向图G是有99个结点,9个连通分量,则G中的边数必()
题型:单项选择题
群,其中,⊕为模4加法,该群有()个子群。
题型:单项选择题
给定3个命题:P:北京比天津人口多;Q:2大于1;R:15是素数。求复合命题:的真值。
题型:问答题
设P为正整数集合,∀x,y∈P,定义运算:x *y =max(x,y),则<P,*>一定不是()。
题型:单项选择题
设R和S是集合X上的部分序关系,证明R∩S必定也是X上的部分序关系。
题型:问答题