问答题
在自然推理系统F中,证明下面推理:
不存在能表示成分数的无理数,有理数都能表示成分数,因此有理数都不是无理数
您可能感兴趣的试卷
你可能感兴趣的试题
最新试题
设无向图G中存在欧拉路,则G的奇数度数的结点数为()。
题型:填空题
设A(x):x是人,B(x):x是学生,则命题“有的人是学生”可符号化为()
题型:单项选择题
设关系R的关系图如下,试(1)写出R的关系表达式;(2)判断R是否为等价关系,并说明理由。
题型:问答题
设P为正整数集合,∀x,y∈P,定义运算:x *y =max(x,y),则<P,*>一定不是()。
题型:单项选择题
若集合A={1,2,3,4},则下列表述正确的是()。
题型:单项选择题
求¬P∨(Q∧R)的合取范式与主合取范式。
题型:问答题
设R为实数集,对于任意a,b∈R,a*b=a+b+ab,则下述结论中正确的是()。
题型:单项选择题
从无向完全图K5中至少删除()条边后,所得的图将成为平面图。
题型:单项选择题
设集合A={{0}},则P(A)=()。
题型:单项选择题
存在集合A与B,可以使得A∈B与A⊆B同时成立。()
题型:判断题