作业帮利用一阶逻辑推理的方法证明：∃x(P(x)→Q(x)) => ∀xP(x) →∃xQ(x)
来源：学生作业帮助网 编辑：作业帮 时间：2024/07/29 21:39:22
x){ڱOv4e&>[|BY-Ϧ|yf3KMܺB#@BQۤ@ `k 0 + %`
A
lin~
}|̖] v> 1h4ě`1\ 1lv![w)gCP0@#1X,
b
s̐CB 1 F
利用一阶逻辑推理的方法证明：∃x(P(x)→Q(x)) => ∀xP(x) →∃xQ(x)
利用一阶逻辑推理的方法证明：∃x(P(x)→Q(x)) => ∀xP(x) →∃xQ(x)
利用一阶逻辑推理的方法证明：∃x(P(x)→Q(x)) => ∀xP(x) →∃xQ(x)
用附加前提证明法
前提：∃x(P(x)→Q(x)),∀xP(x)
结论：∃xQ(x)
证明：
1、∀xP(x)
2、P(a)
3、∃x(P(x)→Q(x))
4、P(a)→Q(a)
5、Q(a)
6、∃xQ(x)