西安电子科技大学$2.2.4谓词公式的赋值软件学院家如何确定一个谓词公式的真值：谓词公式的赋值一、指定每个变元的个体域二、指定每个谓词的解释（内涵）三、为每个自由变元指定确定的个体西安电子科技大学 §2.2.4 谓词公式的赋值 软件学院 谓词公式的 赋值 如何确定一个谓词公式的真值： 一、指定每个变元的个体域 二、指定每个谓词的解释（内涵） 三、为每个自由变元指定确定的个体