Section 6.3 判断带量词的谓词的真假值
Exercises Exercises
1.
设个体域D:{1,2,3},请判断 \(\exists x \forall y (x^2 \gt y + 1) \)的真假。
2.
设个体域D:{1,2,3},请判断 \(\forall x \exists y (x^2 + y^2 \lt 12) \)的真假。
3.
设个体域D:{1,2,3},请判断 \(\forall x \forall y (x^2 + y^2 \lt 12) \)的真假。
4.
F(x,y):x比y重量大
y的个体域D是全体人类
请判断\(\exists x \forall y F(x,y) \)是否是真命题
5.
F(x,y):x比y重量大
x的个体域D是全体人类
请判断\(\exists x \forall y F(x,y) \)是否是真命题