谓词演算替换定理(replacement theorem in a predicate calculus)谓词演算的重要定理之一该定理断言:谓词公式中的某个子公式被与其等价的公式代换,其真值不变.设a, (3,Y均为谓词演算公式.a渭中仅含自由的个体变元x,, xZ, ...}x}.月在Y 中有一个出现,则从.(x xZ, """, x力三 a(xxZ,... }x})可得.谓词演算替换定理(replacement theorem in a predicate calculus)谓词演算的重要定理之一该定理断言:谓词公式中的某个子公式被与其等价的公式代换,其真值不变.设a, (3,Y均为谓词演算公式.a渭中仅含自由的个体变元x,, xZ, ...}x}.月在Y 中有一个出现,则从.(x xZ, , x力三 a(xxZ.. }x})可得