判断下面推理是否正确.先将简单命题符号化,再写出前捉结论,推理的形式结构(以蘊涵式的形式给出)和判断过程(至少给出两种判断方法)
(1)若今天是星期一,则明天是星期三;今天是星期一,所以明天是星期三
(2)若今天是星期一,则明天是星期二;明天是星期二,所以今天是星期一
(3)若今天是星期一,则明天是星期三;明天不是星期三,所以今天不是星期一
(4)若今天是星期一,则明天是星期二;今天不是星期一,所以明天不是星期二
(5)若今天是星期一,则明天是星期二或星期三
(6)今天是星期一当且仅当明天是星期三;今天不是星期一,所以明天不是星期三
已知明天是星期五,那么从今天起过150天后是星期几?
A.星期四
B.星期一
C.星期六
D.星期天
如果今天的前三天是星期五的前一天,那么明天后面的一天是星期几?( )<?xml:namespace prefix="o" ns="urn:schemas-microsoft-com:office:office">?xml:namespace>
A.星期一B.星期二C.星期三D.星期四
A.星期一
B.星期二
C.星期三
D.星期四
A.星期二
B.星期四
C.星期六
D.星期日
对下述每一论证构造一个证明,给出所有必须增加的断言,指出用于每一步的推理规则。
(a)煤或大米将涨价,不是这种情况。如果铁路中断运输,那么煤将涨价。因此,铁路不会中断运输.
(b)从语句“今天下雨或明天后天都下雨”和“明天不下雨或后天不下雨而今天下雨”可推出“今天下雨”。
(c)如果李敏来通信工程学院、若王军不生病,则王军一定去看望李敏。如果李敏出差到南京,那么李敏一定来通信工程学院。王军没有生病。所以、如果李敏出差到南京,王军一定去看望李敏。