首页 > 中学数学试题 > 题目详情

利用一阶逻辑推理的方法证明:∃x(P(x)→Q(x)) => ∀xP(x) →∃xQ(x)

本题链接: