个记号 6(v1,02,…,n)表示P中具有如下条件的公式 (1)v1,02,…,wm是互异的命题符号, (2)6中出现的命题符号都在1,v2,…,n中
✚ β(v1, v2, · · · , vn) P : (1) v1, v2, · · · , vn , (2) β v1, v2, · · · , vn . 5
个引理 设β(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