将下列命题符号化1>大禹治理了黄河2 小王既聪明又用功,但身体不好3 我和他讨论问题4 张红和他的弟弟都在试验学校上学5 王宁带小魏到图书馆6 看先这朵香花7 有些数是有理数8 并非每个实

将下列命题符号化1>大禹治理了黄河2 小王既聪明又用功,但身体不好3 我和他讨论问题4 张红和他的弟弟都在试验学校上学5 王宁带小魏到图书馆6 看先这朵香花7 有些数是有理数8 并非每个实
将下列命题符号化
1>大禹治理了黄河
2 小王既聪明又用功,但身体不好
3 我和他讨论问题
4 张红和他的弟弟都在试验学校上学
5 王宁带小魏到图书馆
6 看先这朵香花
7 有些数是有理数
8 并非每个实数都是有理数
9 凡人都要休息
10 每个自然数都有比他大的自然数
11 除2以外的所有质数都是奇数
12 在武汉工作的人 未必都是武汉人
13 没有最大的实数

将下列命题符号化1>大禹治理了黄河2 小王既聪明又用功,但身体不好3 我和他讨论问题4 张红和他的弟弟都在试验学校上学5 王宁带小魏到图书馆6 看先这朵香花7 有些数是有理数8 并非每个实
1. p
2. p∧q∧r
3. p∧q
4. p∧q
5. p∧q
6. p
7. ∃xP(x) {x|x是数}
8. ˜∀xP(x) {x|x是实数} ˜ 表示非
9. ∀xP(x) {x|x是人}
10. ∀xP(x) {x|x是自然数} P(x):x有比他大的自然数
11. ∀x(P(x)∧˜F(x)→M(x)) {x|x属于质数}
P(x):x是质数；F(x):x是2；M(x):x是奇数
这道题我没得把握得!
12. ˜∀x(F(x)→M(x)) {x|x是人}
F(x):x在武汉工作；M(x):x是武汉人
13. ˜∃xP(x) {x|x是实数} P（x):x是最大实数
离散数学我很久没看了,里面估计很多错误,仅供参考!