∀xA(x) → B ⊢ ∃x(A(x) → B) 逻辑学 正式证明

我要回帖

 

随机推荐