离散数学2.3谓词演算的推理规则.pdfVIP

§2.3 谓词演算的推理规则 重点： 全称指定规则（US）（Universal Specification） 存在指定规则（ES）（Existential Specification） 全称推广规则（UG）（Universal Generalization） 存在推广规则（EG）（Existential Specification） 了解：推理规则在推理中的正确使用。 1 1、全称指定规则（US） xA(x) A(y ) 要求：(1)y 是个体常项，或者是个体变项且 在公式A (x) 中，x 不出现在量词y 或y 的辖域内。 (2) A(y )中约束变元个数与A(x )中约束变元