求闻百科
搜索
切换搜索
切换菜单
切换个人菜单
一致性(逻辑)
求闻百科,共笔求闻
更多语言
阅读
查看源代码
查看历史
页面
讨论
更多操作
逻辑
上,
一致性
(consistency)、
相容性
、
自洽性
,是指一个
形式系统
中不蕴涵
矛盾
。
所谓的矛盾有二种解读方式:
语义
上:当一个命题S是由许多命题组成时,如果所有命题可同时为真,则S是一致的,否则S是不一致的。
语法
上:
公理系统
不能推导出两个相反的结果。亦即不存在命题P,使得P→Q和P→~Q同时成立。
参见
哥德尔完备性定理
哥德尔不完备定理
完备性
严谨 (数学)
不一致的谬误
矛盾
破釜逻辑
这是一篇关于数学的
小作品
。你可以通过
编辑或修订
扩充其内容。
查
论
编