一阶逻辑中的排中律到底怎么写？【数学吧】

数学吧关注：870,786贴子：8,675,610

【任意x P(x)】或【非任意x P(x)】还是
任意x [P(x) 或非P(x)]

送TA礼物

IP属地:北京

1楼2022-08-13 06:07回复

（非非p）蕴含p

IP属地:北京

来自Android客户端2楼2022-08-13 08:24

收起回复

2024-09-24 13:59广告

IP属地:北京

来自Android客户端3楼2022-08-13 10:48

这个明显有问题吧，即便是0阶逻辑中，【（非非p）蕴含p】的定义是【（非非非p）或p】
【（非非非p）或p】与【(非p)或p】明显是2个公理……
我看的版本中把前面的叫“双重否定律”，后面的叫“排中律”
但是这只是0阶逻辑的情况，1阶逻辑我又给绕糊涂了

IP属地:北京

5楼2022-08-14 09:12

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

贴吧热议榜

发表回复

内容:

使用签名档查看全部

发表

保存至快速回贴