增加前提律 若「+a (+) 则「,Ba 思考题: 为什么把(+)作为规则,而不是象在命题演算那样 作为原定理?Γ ` α Γ, β ` α (+) : ✗(+) ✘✙ ✚ ✛ 3