问答题
在命题逻辑自然推理系统P中构造下面推理的证明:
√2是有理数或无理数,若√2是有理数,则2能整除3,若√2是无理数,则√3也是无理数,而2不能整除3,所以,√2和√3都是无理数。
您可能感兴趣的试卷
最新试题
已知无向图G的结点度数之和为10,则G的边数为()。
题型:单项选择题
设个体域D={1,2,3,4},则谓词公式(∀x)A(x)消去量词后的等值式为()。
题型:填空题
设<S,*>是半群,对∀a,b∈S,若a≠b,就有a*b≠b*a,则下列叙述中不正确的是()。
题型:单项选择题
对任意集合A,B 和C,试证明A×(B∪C)=(A×B)∪(A×C)。
题型:问答题
求¬P∨(Q∧R)的合取范式与主合取范式。
题型:问答题
完全图K4不是平面图。()
题型:判断题
存在集合A与B,可以使得A∈B与A⊆B同时成立。()
题型:判断题
设A和B是集合,且B=A∪{b},其中b∉A。证明:。
题型:问答题
符号化语句:“有些病人相信所有的医生,但是病人都不相信骗子,所以医生都不是骗子”,并推证其结论。
题型:问答题
设G是有10个结点的连通图,边数为20,则可从G中删去()条边后使之变成树。
题型:填空题