最近在查资料时注意到「逻辑悖论」这个词,索性整理成一篇小笔记,方便以后查阅,也分享给同样感兴趣的朋友。
- 拼音
- luó jí bèi lùn
- 字母
- luo ji bei lun
- 首字母
- ljbl
- 注音
- ㄌㄨㄛˊ ㄐㄧˊ ㄅㄟˋ ㄌㄨㄣˋ
逻辑悖论总是相对于一个公理系统而言的,如果在一个公理系统中既可以证明公式A又可以证明A的否定元A',则我们说在这个公理系统 中含有一个悖论,因为这时A和A'在系统中是可证等价的。
词语博客 · 记录每一个汉字的故事
luó jí bèi lùn · ㄌㄨㄛˊ ㄐㄧˊ ㄅㄟˋ ㄌㄨㄣˋ
最近在查资料时注意到「逻辑悖论」这个词,索性整理成一篇小笔记,方便以后查阅,也分享给同样感兴趣的朋友。
逻辑悖论总是相对于一个公理系统而言的,如果在一个公理系统中既可以证明公式A又可以证明A的否定元A',则我们说在这个公理系统 中含有一个悖论,因为这时A和A'在系统中是可证等价的。