Predicates and Quantiflers 调词与量词 当n1时,通常P给出了x(=1,2,n之间的关系。 例如,P(x,y2)表示x位于y与z之间,是一个三元谓词。与x, yz分别用构件层、表现层、总线层代入时得到命题:构件层 位于表现层与总线层之间,其命值真值为T。再如将杭州、南 京、北京代入,则得到:杭州位于南京和北京之间,真值为F。 与n=0时(即0元谓词),命题函数就对应一个命题。 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. 8 当n>1时，通常P给出了xi (i=1, 2, …, n)之间的关系。 例如，P(x, y, z)表示x位于y与z之间，是一个三元谓词。与x, y, z分别用构件层、表现层、总线层代入时得到命题：构件层 位于表现层与总线层之间，其命值真值为T。再如将杭州、南 京、北京代入，则得到：杭州位于南京和北京之间，真值为F。 与n=0时（即0元谓词），命题函数就对应一个命题