Question

将下列命题符号化1>大禹治理了黄河2 小王既聪明又用功,但身体不好3 我和他讨论问题4 张红和他的弟弟都在试验学校上学5

Answer 1

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是最大实数

离散数学我很久没看了,里面估计很多错误,仅供参考!