问答题对下述每一论证构造一个证明,给出所有必须增加的断言,指出用于每一步的推理规则。(a)煤或大米将涨价,不是这种情况。如果铁路中断运输,那么煤将涨价。因此,铁路不会中断运输。(b)从语句“今天下雨或明天后天都下雨”和“明天不下雨或后天不下雨而今天下雨”可推出“今天下雨”。(c)如果李敏来通信工程学院,若王军不生病,则王军一定去看李敏。如果李敏出差到南京,那么李敏一定来通信工程学院。王军没有生病,所以,如果李敏出差到南京,王军一定去看李敏。
您可能感兴趣的试卷
你可能感兴趣的试题
1.问答题试在自然数中定义一个素数的特征函数。
2.问答题请给出女人的特征函数。
8.单项选择题集合A={1,2,...,10}上的关系R{(x,y)∣x+y=10且x,y∈A},则R的性质为()
A.自反的
B.对称的
C.传递的,对称的
D.非自反的,传递的
最新试题
给定解释Ⅰ:D={2,3},L(x,y)为L(2,2)=L (3,3)=1,L (2,3)=L (3,2)=0,求谓词合式公式的真值。
题型:问答题
设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的补图的图形。
题型:问答题
下列命题相容吗?
题型:问答题
完全图K4不是平面图。()
题型:判断题
下列关于循环群<G,*>的叙述,不一定成立的是()。
题型:单项选择题
设R为实数集,对于任意a,b∈R,a*b=a+b+ab,则下述结论中正确的是()。
题型:单项选择题
求出谓词公式的前束范式。
题型:问答题
符号化语句:“有些病人相信所有的医生,但是病人都不相信骗子,所以医生都不是骗子”,并推证其结论。
题型:问答题
下列推理步骤错在()。
题型:单项选择题