将下列命题或语句符号化。（1)√7不是无理数是不对的。（2)小刘既不怕吃苦，又很爱钻研。（3)只有不怕困难，才能战胜困难。（4)只要别人有困难，老王就帮助别人，除非困难解决了。（5)整数n是偶数当且仅当n能被2整除。

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

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

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

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

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

将下列命题用0元谓词符号化.

(1)王小山来自山东省或河北省.

(2)除非李联不怕吃苦,否则她不会取得这样好的成绩.

(3)不是有理数.

(4)3大于2仅当3大于4.

判断下列语句是否为命题，若是命题，请指出是简单命题还是复合命题．

(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)蓝色和黄色可以调配成绿色．

所有的有理数都是实数；所有的无理数也是实数；虚数不是实数。因此，虚数既不是有理数也不是无理数．

(1)将上述命题符号化。

(2)用演绎法证明其结论是否正确。