西安电子科技大学内容总结和延伸软件学院我谓词公式谓词、量词和联结词按一定的规则组合在一起形成的式子。量词的辖域量词管辖的范围，是其后最小的子公式。变元的换名对谓词公式中的变元换一个符号，使得每个变元符号只以一种形式出现。谓词公式的赋值指定谓词的含义及为每个个体变元指定确定的个体后，谓词公式将具有确定的真值。西安电子科技大学 内容总结和延伸 软件学院 谓词公式 量词的辖域 » 变元的换名 谓词、量词和联结词按一定的 规则组合在一起形成的式子。 量词管辖的范围，是其后最小的子公式。 对谓词公式中的变元换一个符号，使得每个变 元符号只以一种形式出现。 谓词公式的赋值 指定谓词的含义及为每个个体变元指定确定的 个体后，谓词公式将具有确定的真值