N的推理规则(续二) ∨消去律 若「U{a}+?,「U{}m, 则「U{(a6)}y ∨引入律: 若「十a, 则+(aV),「+(Va) (V+)N ( ) ∨ : Γ ∪ {α} ` γ, Γ ∪ {β} ` γ, Γ ∪ {(α ∨ β)} ` γ. (∨−) ∨ : Γ ` α, Γ ` (α ∨ β), Γ ` (β ∨ α). (∨+) 9