量词请问Ax表示全称量词,Ex表示存在量词,AxEy(x + y = 0) 跟EyAx(x + y = 0) 有什么不一样呢?

来源:学生作业帮助网 编辑:作业帮 时间:2024/11/01 07:31:06
量词请问Ax表示全称量词,Ex表示存在量词,AxEy(x + y = 0) 跟EyAx(x + y = 0) 有什么不一样呢?
xŒn@_GPEPqWHBž\bl Z 1I;Îw@ҜfvBRo2tFEPw^EF.==UԌ"mI'd%6Ԣ 42IZ|1VCJ3=;\?풩K0h}L3v||2wcTe?jf07PgHɠ?'.廠W%X&5P!tؐ5" &0D]G: 6Ul;zk//HoTDd΢*&`1@\N&f8nWv앿 ۘ^'XN=hINE/-!Z˼5_kOܗjwu7Qܛj(vcURSOp`$jg㦂UaZ5:3rQn^qyK!v.ru6hK0!S:pG!0,Nߏq}$0Qw

量词请问Ax表示全称量词,Ex表示存在量词,AxEy(x + y = 0) 跟EyAx(x + y = 0) 有什么不一样呢?
量词
请问Ax表示全称量词,Ex表示存在量词,AxEy(x + y = 0) 跟EyAx(x + y = 0) 有什么不一样呢?

量词请问Ax表示全称量词,Ex表示存在量词,AxEy(x + y = 0) 跟EyAx(x + y = 0) 有什么不一样呢?
两种不同的量词是不可交换的,AxEyP(x,y)蕴含(可推出)EyAxP(x,y),其中P(x,y)是任意的2元谓词,但反之不成立, AxEyP(x,y)的含义是对任意客体x存在客体y,使得x与y有关系P,EyAxP(x,y)的含义是存在客体y,使得任意客体x均与y有关系P,后者较前者强的多,
AxEy(x+y=0)的含义是对任意数x存在数y,使得x+y=0,这在任何数域中均是真命题.
EyAx(x+y=0)的含义是存在数y,使得任意数x均与y有x+y=0,这却是假命题.

两者得出的真值数可能不同。
具体例子请参考高等教育出版社的《离散数学》
作者屈婉玲等
第五章 一阶逻辑等值演算和推理
例5.4