个引理 设β(v1,02,…,m)为P中一个公式,a为P的一 指派.若a1,Q2,…,am是如下构造的公式序列 2当a(v2)=1时 2当a(v2)=0时 则(1)当((v1,v2,…,wn)=1时, a1,a2,…,anFβ (2)当((v1,02,…,wm)7=0时, C1,a2,✚ β(v1, v2, · · · , vn) P ✙ , σ P ✙ . α1, α2, · · · , αn : αi =  vi σ(vi) = 1 ¬vi σ(vi) = 0 (1) (β(v1, v2, · · · , vn))σ = 1 , α1, α2, · · · , αn ` β (2) (β(v1, v2, · · · , vn))σ = 0 , α1, α2, · · · , αn ` ¬ β 6