些有效推理 a若a}F",且{BFy, 则ravB}Fy n若I{-ax}Fβ,且{-a}-β, 则rFa一些有效推理 „ 若Γ∪ { α } ╞ γ，且Γ∪ { β } ╞ γ ， 则Γ∪ { α ∨ β } ╞ γ „ 若Γ∪ {¬ α } ╞ β，且Γ∪ {¬ α } ╞ ¬ β ， 则 Γ ╞ α 。 „ …