第2章谓祠逻桶 【例2.2】个体域是人类集合，对下列命题符号化。 (1)凡人要死。 (2)有的人是研究生。 解：(I)令F(x):x要死。 命题"凡人要死。”符号化为：（付x)F(x) (2)令G(x):x是研究生。 命题"有的人是研究生。”符号化为：（臼x)G(x) 在命题函数前加上量词(x)和（仔x)分别叫做个体变元x 被全称量化和存在量化。一般地说，命题函数不是命题 如果对命题函数中所有命题变元进行全称量化或存在量化， 该函数就变成了命题。这一结论在例2.2中得到验证。 虽然对命题函数中所有命题变元进行量化后，该命题 函数就变成了命题，但所得命题的真值与个体域的选定有 关。请看下列例题：第2章 谓词逻辑 【例2.2】个体域是人类集合，对下列命题符号化。 ⑴ 凡人要死。 ⑵ 有的人是研究生。 解：⑴ 令F (x)：x要死。 命题“凡人要死。 ”符号化为：(x)F (x) ⑵ 令G(x)：x是研究生。 命题“有的人是研究生。 ”符号化为：(x)G(x) 在命题函数前加上量词(x)和(x)分别叫做个体变元x 被全称量化和存在量化。一般地说，命题函数不是命题， 如果对命题函数中所有命题变元进行全称量化或存在量化， 该函数就变成了命题。这一结论在例2.2中得到验证。 虽然对命题函数中所有命题变元进行量化后，该命题 函数就变成了命题，但所得命题的真值与个体域的选定有 关。请看下列例题：