Predicates and Quantiflers 调词与量词 由此可知,主语是独立存在的个体,而谓语用来描述该个 体的性质或个体间的关系,这里我们称其为谓词。用P表示谓 词“是……”。则P(电子商务)或P(电子政务)分别等值于 前述两个命题的表达。将个体用变量(称为个体变量)x推广, 则P(x)表示:x是计算机技术的一个新的应用系统。这时该 语句就不是一个命题,而是一个命题函数。 2/24/202111:37PM Deren Chen, ZheJiang Univ 3P redica t es a nd Qua nt if iers 谓词与量词 2/24/2021 11:37 PM Deren Chen, ZheJiang Univ. 3 由此可知，主语是独立存在的个体，而谓语用来描述该个 体的性质或个体间的关系，这里我们称其为谓词。用P表示谓 词“是……”。则P（电子商务）或P（电子政务）分别等值于 前述两个命题的表达。将个体用变量（称为个体变量）x推广， 则P（x）表示：x是计算机技术的一个新的应用系统。这时该 语句就不是一个命题，而是一个命题函数