下消去律 若厂Wxa, 且t对x在a中自由, 则rFa(x/+) 直观含义: 若「能保证对任意的x,a(x)都成立, 则「也能保证当a中的x"取值”为的时候也成立 注意条件”t对x在a中自由”不可少∀ Γ ` ∀xα, t x α ✕✖✜ Γ ` α(x/t) (∀−) ✔ Γ x, α(x) ✢, Γ ✣α x” ” t ✢✤ : ”t x α ✕✖” ✥ 4