将下列命题符号化，并给出各命题的真值:（1)若今天是星期一，则明天是星期二，（2)只有今天是星期一，明天才是星期二，（3)今天足星期一当且仅当明天是星期二、（4)若今天是星期一，则明天是星期三，

判断下列推理是否正确。先将简单命题符号化，再写出前提、结论、推理的形式结构(以套涵式的形式给出)和判断过程(至少给出两种判断方法)。

(1)若今天是星期一，则明天是星期三。今天是星期一。所以明天是星期三。

(2)若今天是星期一，则明天是星期二。明天是星期二。所以今天是星期一。

(3)若今天是星期一，则明天是星期三。明天不是星期三。所以今天不是星期一。

(4)若今天是星期一，则明天是星期二。今天不是星期一。所以明天不是星期二。

(5)若今天是星期一，则明天是星期二或星期三。今天是星期一。所以明天是星期。

(6)今天是星期一当且仅当明天是星期三。今天不是星期一。所以明天不是星期三。

判断下面推理是否正确.先将简单命题符号化，再写出前捉结论，推理的形式结构(以蘊涵式的形式给出)和判断过程(至少给出两种判断方法)

(1)若今天是星期一，则明天是星期三;今天是星期一,所以明天是星期三

(2)若今天是星期一，则明天是星期二;明天是星期二,所以今天是星期一

(3)若今天是星期一，则明天是星期三;明天不是星期三,所以今天不是星期一

(4)若今天是星期一，则明天是星期二;今天不是星期一,所以明天不是星期二

(5)若今天是星期一，则明天是星期二或星期三

(6)今天是星期一当且仅当明天是星期三；今天不是星期一，所以明天不是星期三

A．星期二

B．星期四

C．星期六

D．星期日

将下列命题符号化,并指出各命题的真值.

(1)若2+3=5，则地球是方的。

(2)若2+3=5，则法国是欧洲国家.

(3)若雪是黑色的,则是有理数.

(4)若雪是黑色的，则是无理数.

将下列命题符号化，并给出各命题的真值:

(1)若3+=4，则地球是静止不动的.

(2)若3+2=4，则地球是运动不止的.

(3)若地球_上没有树木，则人类不能生存

(4)若地球上没有水，则是无理数.

如果今天的前三天是星期五的前一天，那么明天后面的一天是星期几？

A. 星期一 B. 星期二 C. 星期三 D. 星期四

将下列命题符号化,并指出它们的真值.

(1)2>3当且仅当5>7.

A.星期一

B.星期二

C.星期五

D.星期日

A.星期一

B.星期二

C.星期三

D.星期四