赋值 定义18:设σ是形式系统P的一个指派,如下归纳定 义P中公式a在指派a下的值a: 若a是命题变元p,则a=a(2) ·若a是(),则a=1-60 ·若a是(→),则a=max{1-/,}18: σ P ✖ , P α σ ασ: • α pi, ασ = σ(pi). • α (¬ β), ασ = 1 − βσ. • α (β→γ), ασ = max{1 − βσ, γσ}. 4