Predicates and Quantiflers 调词与量词 为了进一步讨论命题函数P(x)的真值情况,首先需要指定 个体变量x可选择的范围,即个体域( universe of discourse,or domain)。每一个个体变量x都有自己的个体域。如果没有特 别指定的个体域,则缺省为一个全个体域( total universe of discourse)即任意个体均可以作为常量对x代入。 2/24/202111:37PM Deren Chen, ZheJiang UnivP redica t es a nd Qua nt if iers 谓词与量词 2/24/2021 11:37 PM Deren Chen, ZheJiang Univ. 9 为了进一步讨论命题函数P(x)的真值情况，首先需要指定 个体变量x可选择的范围，即个体域（universe of discourse, or domain）。每一个个体变量x都有自己的个体域。如果没有特 别指定的个体域，则缺省为一个全个体域（total universe of discourse）即任意个体均可以作为常量对x代入