引理的证明(ID (22)若为1→2,则1,62中所含联结词的个 数均<k (221)当=0时,=1,且B=0 由归纳假设知:a1,a2,…,am+1 1,2, 由例29知:}1→(2→(1→2) 故61,=2+-(1→2), 从而a1,a2,…,am}=(1→2) 即 C1,O2, 9(III) (2.2) β β1 → β2, β1, β2 ≤ k. (2.2.1) βσ = 0 , βσ1 = 1, βσ2 = 0. ✘: α1, α2, · · · , αn ` β1 α1, α2, · · · , αn ` ¬ β2 ✘29 : ` β1→¬ β2→¬ (β1→β2, β1, ¬ β2 ` ¬ (β1→β2), α1, α2, · · · , αn ` ¬ (β1→β2), α1, α2, · · · , αn ` ¬ β. 9