4、 量词： 。一个谓词演算的表达式，在 限定的个体域中，其取值有时 是不确定的，例如： x+6=5, ·是一个命题，如x个体变域为整形时，取 值不定，x=1时命题为真，其余为假，为 使它在个体变域内有确定取值，人们引入 量词： 7676 4、量词： • 一个谓词演算的表达式，在 限定的个体域中，其取值有时 是不确定的,例如： x+6=5， • 是一个命题，如x个体变域为整形时，取 值不定，x=-1时命题为真，其余为假，为 使它在个体变域内有确定取值，人们引入 量词：