有些符号似乎有问题我再写一遍推证："X（P(X)∨Q（X））Þ"XP(X)∨$XQ（X）推证：任意X（P(X)∨Q（X））箭头任意XP(X)∨存在XQ（X）

Question

有些符号似乎有问题我再写一遍
推证："X（P(X)∨Q（X））Þ"XP(X)∨$XQ（X）
推证：任意X（P(X)∨Q（X））箭头 任意XP(X)∨存在XQ（X）

Answer 1

用附加前提证明法
前提：∃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)