謂詞演算替換定理

謂詞演算替換定理(replacement theorem in a predicate calculus)謂詞演算的重要定理之一該定理斷言:謂詞公式中的某個子公式被與其等價的公式代換，其真值不變.設a, (3,Y均為謂詞演算公式.a渭中僅含自由的個體變元x，， xZ， ...}x}.月在Y 中有一個出現，則從。(x xZ, """, x力三 a(xxZ,... }x})可得