在一阶逻辑中将下列命题符号化.(1)没有不吃饭的人.(2)在北京卖菜的人不全是东北人.(3)自然数全是整数.(4)有的人天天锻炼身体.

在一阶逻辑中将下面命题符号化，并分别讨论个体域限制为(a)、(b)条件时命题的真值．

(1)凡有理数都能被2整除．

(2)有的有理数能被2整除．

其中，(a)个体域为有理数集合；(b)个体域为实数集合．

将下列陈述句符号化.

(1)刘丽华聪明用功.

(2)李秀与张华都是东北人.

(3)郑小虎一面吃饭,一面看电视.

(4)2是偶素数.

(5)虽然天气很冷,可人们情绪很高.

(6)张小强不仅能吃苦,而且很能干.

(7)李梅与李珊是亲姐妹.

(8)赵志全与张钟山是同乡人.

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

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

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

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

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

(3)不是有理数.

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

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

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

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

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

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