22)当a为(a1→a2)时,由归纳假设知: 1ma1当且仅当Ⅰ同Q1 Ia2当且仅当Ⅰha2 从而Ia当且仅当1ba1→02 当且仅当Iha1或I 当且仅当Ⅰ房a1或Ⅰ后a2 当且仅当Iha1→a2 当且仅当I=a (2.3)当a为(Vo)时,其中v为C的一个个体变元符号.由 于a的自由变元符号都在v1,U2,…,vn中,故β的自由变元符号 都在v,U1,℃2,…,n中 注意到:a1(o/a)(v)=02(v0/a)(v)(对任意的i:0≤i≤m) 由归纳假设得:1n0B当且仅当12(1B 从而Ia当且仅当rby0 当且仅当:对任意a∈D,I 1(0/a 当且仅当:对任意a∈D,r O2(0/a 当且仅当Ih=V06 当且仅当Ia 归纳证完,命题成立 定理314是说:对公式a(,t2,…,n)来说,“Ia”成 立与否只与σ对α的自由变元U1,2,……,tn指派的值有关,与σ 对其它个体变元符号指派的值无关,(2.2) F α  (α1→α2) /8CD%: I | σ1 α1 FMNF I | σ2 α1, I | σ1 α2 FMNF I | σ2 α2. TU I | σ1 α FMNF I | σ1 α1→α2 FMNF I | σ1 / α1 ! I | σ1 α2 FMNF I | σ2 / α1 ! I | σ2 α2 FMNF I | σ2 α1→α2 FMNF I | σ2 α. (2.3) F α  (∀v0)β /  v0  L $8 9 α $8$Q v1, v2, ··· , vn ] β $8$ Q v0, v1, v2, ··· , vn  P/nσ1(v0/a)(vi) = σ2(v0/a)(vi) (:/ i : 0 ≤ i ≤ n). 8CD%[ I | σ1(v0/a) β FMNF I | σ2(v0/a) β, TU I | σ1 α FMNF I | σ1 ∀v0β. FMNF:/ a ∈ D, I | σ1(v0/a) β. FMNF:/ a ∈ D, I | σ2(v0/a) β. FMNF I | σ2 ∀v0β. FMNF I | σ2 α. CDHMfKOP E> 3.14  α(v1, v2, ··· , vn) o “ I | σ α ” O P(S=( σ  α  QRST v1, v2, ··· , vn -#'( σ  N$ -O' 10