彐消去律 若「,a+月, 且不在「∪{分}的任何公式中自由出现 则「,彐ma 直观含义: 若「和a(x)一起才能保证(x)成立, 但「和月的性质与x无关 则「和xa(x)也能保证β(x-)也成立。 思考题:条件”a成立”和”彐成立”哪个更强? 注意:条件”x不在「∪{}的任何公式中自由出现”不可少∃ Γ, α ` β, x Γ ∪ {β} ✕✖ Γ, ∃xα ` β (∃−) ✔ Γ α(x)✶ β(x) ✢, Γ β x Γ ∃xα(x) β(x) ✢✤ : ”α ” ”∃xα ” ✷ :✦✧”x★✩Γ ∪ {β}✪✫✬✭✮✯✰✱✲✳”★✴✵. 6