和谐性 定理30对P的任何公式a,卜pa与hp-a不能同时 成立 证 若不然,则a与_a均为重言式 从而对P的任一个指派σ,a=(a)7=1 但(-a)0=1-a=0≠a,矛盾 注意:P中可能存在某个公式a使得a与-a均不是 内定理. 推论10P中至少有一个公式不是内定理.30 P α, `P α `P ¬α . : , α ¬ α . P ✙ σ, ασ = (¬ α)σ = 1. (¬ α)σ = 1 − ασ = 0 6= ασ, . : P α α ¬ α ✗. 10 P ✙ ✗. 4