一致性 (邏輯)
维基百科,自由的百科全书
(重定向自
一致性 (逻辑)
)
跳到导航
跳到搜索
邏輯
上,
一致性
(consistency)、
相容性
、
自洽性
,是指一個
形式系統
中不蘊涵
矛盾
。
所謂的矛盾有二種解讀方式:
語義
上:當一個命題S是由許多命題組成時,如果所有命題可同時為真,則S是一致的,否則S是不一致的。
語法
上:
公理系統
不能推導出兩個相反的結果。亦即不存在命題P,使得P→Q和P→~Q同時成立。
参见
[
编辑
]
哥德尔完备性定理
哥德爾不完備定理
完备性
嚴謹 (數學)
这是一篇关于数学的
小作品
。你可以通过
编辑或修订
扩充其内容。
查
论
编
分类
:
數理邏輯
隐藏分类:
全部小作品
數學小作品
导航菜单
个人工具
没有登录
讨论
贡献
创建账户
登录
名字空间
条目
讨论
不转换
不转换
简体
繁體
大陆简体
香港繁體
澳門繁體
大马简体
新加坡简体
臺灣正體
视图
阅读
编辑
查看历史
更多
搜索
导航
首页
分类索引
特色内容
新闻动态
最近更改
随机条目
资助维基百科
帮助
帮助
维基社群
方针与指引
互助客栈
知识问答
字词转换
IRC即时聊天
联络我们
关于维基百科
工具
链入页面
相关更改
上传文件
特殊页面
固定链接
页面信息
引用本页
维基数据项
打印/导出
下载为PDF
打印页面
其他语言
العربية
Български
Čeština
Deutsch
English
Español
فارسی
Suomi
Français
עברית
Հայերեն
Bahasa Indonesia
Italiano
日本語
한국어
Кыргызча
Nederlands
Polski
Português
Русский
Simple English
Svenska
Türkçe
Українська
粵語
编辑链接