如何理解这个等值式【数学吧】

数学吧关注：945,490贴子：9,475,519

∃x (A(x) → B) 等价于 (∀x A(x)) → B
这太反我的直觉了

送TA礼物

IP属地:江苏

1楼2026-05-07 22:01回复

IP属地:江苏

2楼2026-05-07 22:05

收起回复

不感兴趣

开通SVIP免广告

确实很有意思，让我想起一个例子，大概是：“房间里存在一个人，他离开之后房间就是空的了。”
关键点在于B不依赖x。

IP属地:河南

来自Android客户端3楼2026-05-08 12:35

发一下我的看法，如果B含有x，在前式中A和B的 x值是统一的，在后面一个式子中B的x值是任取的，取值不需要和A相同。比如A(x)为x-c>0，B为x>c，在后面一个式子中，可以出现A（x）中x=c+1，B中x=c-1。

IP属地:广西

来自Android客户端4楼2026-05-08 14:59

这好像是叫前束范式，可以把一阶表达式里所有的量词提到最前面。这个例子你把p→q看成非p或q会好理解一点吧

IP属地:广东

来自Android客户端5楼2026-05-08 19:08

收起回复

B和x无关。

IP属地:北京

6楼2026-05-08 22:46

我也觉得

IP属地:广东

来自Android客户端8楼2026-05-09 11:11

下载贴吧APP
看高清直播、视频！

贴吧热议榜

发表回复

内容:

使用签名档查看全部

发表

保存至快速回贴