谓词演算替换定理名词解释：谓词演算的重要定理之一.该定理断言名词解释：谓词公式中的某个子公式被与其等价的公式代换,其真值不变.设α,β,γ均为谓词演算公式.α,β中仅含自由的个体变元x1,x2,…,xn,β在γ中有一个出现,则从α(x1,x2,…,xn)≡β(x1,x2,…,xn)可得