题目
利用一阶逻辑推理的方法证明:∃x(P(x)→Q(x)) => ∀xP(x) →∃xQ(x)
提问时间:2020-12-26
答案
用附加前提证明法
前提:∃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)
前提:∃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)
举一反三
已知函数f(x)=x,g(x)=alnx,a∈R.若曲线y=f(x)与曲线y=g(x)相交,且在交点处有相同的切线,求a的值和该切线方程.
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
奥巴马演讲不用看稿子.为什么中国领导演讲要看?
想找英语初三上学期的首字母填空练习……
英语翻译
最新试题
- 1地球是在运动中的,可为什么我们感觉不到它的运动?
- 2在三棱锥A--BCD中,AD=BC=2a,E、F分别是AB、CD的中点,EF=a ,求AD、BC所成的角.
- 3具有吸水性不规则物体怎么测体积
- 4求氧化还原离子反应的辨认
- 5Tom cut _____badly while he was shaving this morning
- 6用分度值是1mm的刻度尺测量物体的长度,下列记录结果中正确的是 A.16.3m B.0.1630m C.16.31mmD.16.313cm
- 7英语翻译
- 8选择:We found the book _____.So each of us bought one.A.be usual B.very usual C.to be usual
- 9信息技术.小张想要将报纸上的文章录入到电脑里,可是他打字速度非常慢,他可以借助现代技术来完成:
- 10成语( )代( )僵
热门考点