题目
∀x(P(x) ↔ Q(x)) 和 ∀x P(x) ↔ ∀xQ(x)证明是否逻辑等价
提问时间:2020-10-09
答案
不等价.
从字面上来理
(1)前者表示:对任意一个x,P和Q等价;即:P和Q要么同为真,要么同为假.
(2)后者表示:“P对任意x都成立”,和“Q对任意x都成立”等价.即:当P和Q之中,有一个对所有x都成立时,另一个也对所有x都成立;换言之,当其中一个不能保证对所有x都成立时,另一个也将不能保证对所有x都成立.
由此可见,命题(1)对x的每一个实例,都要求P和Q等价;而命题(2)只是对P和Q的整体——即当它们对所有x“都”成立时——进行讨论,只要求整体等价:其中一个“都成立”时,则另一个“也都成立”;而其中一个“整体不都成立”时,则另一个“只需要整体不都成立即可”,并不要求对x的每个实例都对应成立或不成立.
举个例子:一台复杂的机器,由许多零部件组成,我们用x代表每一个零部件.设谓词:
P(x):部件x是合格品,即该部件本身是没有问题的;
Q(x):部件x装入机器后,x可以正常运行;
相信你也知道,一台机器,部分模块可以正常运行,不代表它整体可以正常运行.同样,一个部件本身没问题,也不代表它可以在机器上正常运行——它还受其他部件的影响.所以,对于本例,命题(1)是假命题.
但我们也应该相信:当所有部件都是合格品时,将它们(正确)组装后,它们也一定都可以正常运行,即整部机器可以正常工作;反之,当组装后的各个部件都可以正常运行,也足以说明每个部件都是合格品.所以,对于本例,命题(2)是真命题.
虽然这个例子还不够一般化,但足以说明这两个命题是不等价的.其实,命题(1)是命题(2)的充分不必要条件;即:(1)可以推出(2),但(2)不能推出(1).
要说严格的证明方法,因为量词的关系,用公式很难直接推出最终结果.不过它可以起辅助作用,利用公式转换出的某种形式,可以帮助我们理解这两个命题.但用反例法就很简单了:
设x∈{1,2},那么:
当P(1)=0、P(2)=1、Q(1)=1、Q(2)=0时:
命题(1)为假,而命题(2)为真.
从字面上来理
(1)前者表示:对任意一个x,P和Q等价;即:P和Q要么同为真,要么同为假.
(2)后者表示:“P对任意x都成立”,和“Q对任意x都成立”等价.即:当P和Q之中,有一个对所有x都成立时,另一个也对所有x都成立;换言之,当其中一个不能保证对所有x都成立时,另一个也将不能保证对所有x都成立.
由此可见,命题(1)对x的每一个实例,都要求P和Q等价;而命题(2)只是对P和Q的整体——即当它们对所有x“都”成立时——进行讨论,只要求整体等价:其中一个“都成立”时,则另一个“也都成立”;而其中一个“整体不都成立”时,则另一个“只需要整体不都成立即可”,并不要求对x的每个实例都对应成立或不成立.
举个例子:一台复杂的机器,由许多零部件组成,我们用x代表每一个零部件.设谓词:
P(x):部件x是合格品,即该部件本身是没有问题的;
Q(x):部件x装入机器后,x可以正常运行;
相信你也知道,一台机器,部分模块可以正常运行,不代表它整体可以正常运行.同样,一个部件本身没问题,也不代表它可以在机器上正常运行——它还受其他部件的影响.所以,对于本例,命题(1)是假命题.
但我们也应该相信:当所有部件都是合格品时,将它们(正确)组装后,它们也一定都可以正常运行,即整部机器可以正常工作;反之,当组装后的各个部件都可以正常运行,也足以说明每个部件都是合格品.所以,对于本例,命题(2)是真命题.
虽然这个例子还不够一般化,但足以说明这两个命题是不等价的.其实,命题(1)是命题(2)的充分不必要条件;即:(1)可以推出(2),但(2)不能推出(1).
要说严格的证明方法,因为量词的关系,用公式很难直接推出最终结果.不过它可以起辅助作用,利用公式转换出的某种形式,可以帮助我们理解这两个命题.但用反例法就很简单了:
设x∈{1,2},那么:
当P(1)=0、P(2)=1、Q(1)=1、Q(2)=0时:
命题(1)为假,而命题(2)为真.
举一反三
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
奥巴马演讲不用看稿子.为什么中国领导演讲要看?
想找英语初三上学期的首字母填空练习……
英语翻译
1,人们染上烟瘾,最终因吸烟使自己丧命.
最新试题
- 1一个三角形的底扩大到原来的2倍,高扩大到原来的3倍,则它的面积扩大到原来的6倍(判断对错)
- 2设一次函数y=kx+b中,当x=2时,y=-3;当x=-1时,y=4,求这个函数的解析式.
- 3There are many f____ in zhe snow.Do you know who left zhem?
- 4繁忙的反义词是什么?么
- 5离心率为根号2/2,a=4x根号2.求椭圆标准方程.
- 6爱国名言名句
- 7英语口语的一道问题
- 8某工厂计划投资200万元,实际节约10万元.实际投资是计划的百分之几?
- 9已知:点A、F、E、C在同一条直线上,AF=CE,BE∥DF,BE=DF.求证:△ABE≌△CDF.
- 10化学是初中阶段新接触的一门新的学科,对于化学来讲下列选项中不属于化学研究的是( ) A.研发氢能源 B.合成新材料 C.编写电脑程序 D.用石油生产化工原料
热门考点