离散数学谓词逻辑问题：(p->∃xq(x)) -> ∃x(p->q) 请证明该式为重言式

题目

答案

证明：
∵（p→∃xq(x)）→∃x（p→q）.
= ¬(¬p∨∃xq(x))∨∃x（¬p∨q）.
= （p∧Vx¬q(x) ）∨ ¬p ∨ q.
= （(p∨¬p) ∧ (Vx¬q(x)∨¬p) ）∨q.
= （1∧ (Vx¬q(x)∨¬p) ）∨q.
= (Vx¬q(x)∨¬p) ∨q.
= Vx( ¬p ∨q ∨ ¬q(x) ) .
= Vx( ¬p ∨1 ) .
= 1.
∴该式为重言式.

举一反三

已知函数f（x）=x，g（x）=alnx，a∈R．若曲线y=f（x）与曲线y=g（x）相交，且在交点处有相同的切线，求a的值和该切线方程．

查看答案

我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好

查看答案

奥巴马演讲不用看稿子.为什么中国领导演讲要看?

查看答案

想找英语初三上学期的首字母填空练习……

查看答案

英语翻译

查看答案