问答题简答题对下述每一论证构造一个证明,给出所有必须增加的断言,指出用于每一步的推理规则。(a)煤或大米将涨价,不是这种情况。如果铁路中断运输,那么煤将涨价。因此,铁路不会中断运输。(b)从语句“今天下雨或明天后天都下雨”和“明天不下雨或后天不下雨而今天下雨”可推出“今天下雨”。(c)如果李敏来通信工程学院,若王军不生病,则王军一定去看李敏。如果李敏出差到南京,那么李敏一定来通信工程学院。王军没有生病,所以,如果李敏出差到南京,王军一定去看李敏。

您可能感兴趣的试卷

每日一练

章节练习