∀x∀yP(x,y)→∀yP(y,y)是否正确？【逻辑学吧】

逻辑学吧关注：38,118贴子：144,681

求助

主观上感觉是正确的也找不出反例，但是在陈波《逻辑学导论》中关于全称量词消去规则(如图)的第四点矛盾，求吧友指点

送TA礼物

IP属地:北京

来自Android客户端1楼2024-12-20 13:34回复

使用UI消去量词∀x时，如果使用变项置换，必须使用自由变项，用y置换x是错误的，因为y是约束的，不是自由变项。以下可参考：

IP属地:河北

来自Android客户端2楼2024-12-20 22:26

2025-04-03 05:14广告

使用UI消去量词∀x时，如果使用变项置换，那么置换以后该变项必须是自由变项。如果置换以后该变项不是自由变项，而是被别的量词约束了，此时它是约束变项，那么，就是误用UI规则了。

IP属地:北京

4楼2024-12-21 09:30

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

贴吧热议榜

发表回复

内容:

使用签名档查看全部

发表

保存至快速回贴