Section 6.2 量词
Objectives: 全称量词
- 全称量词的符号是\(\quad \forall \)
- 全称量词的含义是\(\quad\)所有，任意
- 在使用全称量词之前要指定个体域，默认为全总个体域
-
个体域D:全体人类
F(x):x会死
\(\forall xF(x)\)含义是：所有人都会死
Objectives: 存在量词
- 存在量词的符号是\(\quad \exists \)
- 存在量词的含义是\(\quad\)有的，有一个
- 在使用存在量词之前要指定个体域，默认为全总个体域
-
个体域D:全体人类
F(x):x出生在中国
\(\exists xF(x)\)含义是:全体人类中有的人出生在中国