221一阶谓词逻辑表示的逻辑基础 量词 量词: y:全称量词,意思是“所有的”、“任一个” 命题(xP(x)为真,当且仅当对论域中的所有x,都有P(x)为真 命题(yx)P(x)为假,当且仅当至少存在一个x∈D,使得P(x)为假 彐:存在量词,意思是“至少有一个”、“存在有” 命题(P(x)为真,当且仅当至少存在一个x∈D,使得P(x)为真 命题(xP(x)为假,当且仅当对论域中的所有x,都有P(x)为假⚫ 量词： ⚫ ：全称量词，意思是“所有的” 、 “任一个” ⚫ 命题( x)P(x)为真，当且仅当对论域中的所有x，都有P(x)为真 ⚫ 命题( x)P(x)为假，当且仅当至少存在一个xi D，使得P(xi )为假 ⚫ ：存在量词，意思是“至少有一个” 、 “存在有” ⚫ 命题( x)P(x)为真，当且仅当至少存在一个xi D，使得P(xi )为真 ⚫ 命题( x)P(x)为假，当且仅当对论域中的所有x，都有P(x)为假         14