数学中国

 找回密码
 注册
搜索
热搜: 活动 交友 discuz
查看: 1279|回复: 0

数理逻辑的两个疑问

[复制链接]
发表于 2022-10-2 15:09 | 显示全部楼层 |阅读模式
本帖最后由 wufaxian 于 2022-10-2 15:11 编辑

《实分析和概率论》附录A1

令P和Q为两个陈述, 如 “x=y"   “\(u\ne v\)”. 那么P或者Q定义为非(非P且非Q).

如果 ”或 “的定义已经用引证符号表 示, 比如说"P或 Q"意味着 “ 非(非P且非 Q)"' 这已经不需指定, 仅应用于引证符号内部的表达 式,包含真实的字母"P"和"Q".

逻辑学家W. V. Quine发明了 一 种引证符号变量\(\lceil\)和 \(\rceil\)称为 `角标 '. 例如,\(\lceil\)P和Q\(\rceil\)   表示\(\lceil\)非(非P且非Q)\(\rceil\)


—————关于以上陈述,有两个问题
1,为什么P或Q被定义为非(非P且非Q),这样定义有什么道理吗?
2,双引号是完全等同于\(\lceil  和  \rceil\) 么?
您需要登录后才可以回帖 登录 | 注册

本版积分规则

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2024-3-28 18:26 , Processed in 0.066406 second(s), 15 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表