Question

用间接证明法证明下列各式∀xP(x)∨+∀+xQ(x)=>+∀x(P(x)∨Q(x))

Answer 1

问：用间接证明法证明下列各式∀xP(x)∨+∀+xQ(x)=>+∀x(P(x)∨Q(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)

答：你好，第二道题我暂时找到了这种解法，其他的没有为您查询到，实在不好意思，如果给您带来不便，请您谅解

问：能找第4道题吗

答：你好，你参考一下呢，这边为您查询到这个