题目内容
（请给出正确答案）
判断下面推理是否正确.先将简单命题符号化，再写出前捉结论，推理的形式结构(以蘊涵式的形式给出)和判断过程(至少给出两种判断方法)
(1)若今天是星期一，则明天是星期三;今天是星期一,所以明天是星期三
(2)若今天是星期一，则明天是星期二;明天是星期二,所以今天是星期一
(3)若今天是星期一，则明天是星期三;明天不是星期三,所以今天不是星期一
(4)若今天是星期一，则明天是星期二;今天不是星期一,所以明天不是星期二
(5)若今天是星期一，则明天是星期二或星期三
(6)今天是星期一当且仅当明天是星期三；今天不是星期一，所以明天不是星期三
如果结果不匹配，请 联系老师 获取答案
更多“判断下面推理是否正确.先将简单命题符号化，再写出前捉结论，推…”相关的问题
在一阶逻辑中将下面命题符号化，并分别讨论个体域限制为(a),(b)时命题的真值:
(1)对于任意的x均有
(2)存在x,使得x+5=9.
其中(a)个体域为自然数集合, (b)个体域为实数集合.
A. 命题自然推理
B. 类比推理
C. 简单枚举推理
D. 科学归纳推理
判断下列语句是否为命题，若是命题，请指出是简单命题还是复合命题．
(1)
是无理数．
(2)5能被2整除．
(3)现在开会吗？
(4)x+5＞0．
(5)2是素数当且仅当三角形有三条边．
(6)2000年10月1日天气晴好．
(7)除太阳系以外的星球上有生物．
(8)小李在宿舍里．
(9)全体起立!
(10)4是2的倍数或是3的倍数．
(11)4是偶数且是奇数．
(12)李明与王华是同学．
(13)蓝色和黄色可以调配成绿色．
符号化下列各命题，并给出构造推理证明，
①每一个自然数不是奇数就是偶数，自然数是偶数当且仅当它能被2整除.并不是所有自然数都能被2整除.因此，有的自然数是奇数.
②如果一个人怕困难，那么他就不会获得成功.每个人或者获得成功或者失败过.有些人未曾失败过，所以有些人不怕困难.
③每个科学工作者都是刻苦钻研的.每个刻苦钻研而又聪明的科学工作者在他的事业中都将获得成功.华有为是科学工作者并且是聪明的，所以华有为在他的事业中将获得成功.
④每位资深名士或是中科院院士或是国务院参事.所有的资深名士都是政协委员.张大为是资深名士，但不是中科院院士.因此有的政协委员是国务院参事.
