引理的证明(I (2)假设定理对满足d<k的所有d都成立,下证定 理在d=k+1时也成立 (2.1)若B为(-31),则61中的联结词个d1=k (21.1)当60=1时,=0 由归纳假设知:a1,a2,…,an=月1, a1,a2,…,an (21.2)当=0时,=1. 由归纳假设知:a1,Q2,…,an+1, 由于1=1,故a1,a2,…,am}-61, 1,C2 =6(II) (2) d ≤ k d , d = k + 1 . (2.1) β (¬ β1), β1 d1 = k. (2.1.1) βσ = 1 , βσ1 = 0. ✘: α1, α2, · · · , αn ` ¬ β1, α1, α2, · · · , αn ` β. (2.1.2) βσ = 0 , βσ1 = 1. ✘: α1, α2, · · · , αn ` β1, ✘β1 ` ¬¬ β1, α1, α2, · · · , αn ` ¬¬ β1, α1, α2, · · · , αn ` ¬ β. 8